Aryan Gulati

According to our database, Aryan Gulati authored at least 2 papers in 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

An Evaluation Benchmark for Autoformalization in Lean4.

Jasdeep Sidhu, Shubhra Mishra, Aryan Gulati, Devanshu Ladsaria, Brando Miranda

Proceedings of the Second Tiny Papers Track at ICLR 2024, 2024

Out-of-Distribution Detection through Soft Clustering with Non-Negative Kernel Regression.

Aryan Gulati, Xingjian Dong, Carlos Hurtado, Sarath Shekkizhar, Swabha Swayamdipta, Antonio Ortega

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2024, 2024