Aryan Gulati

According to our database, Aryan Gulati authored at least 4 papers between 2024 and 2025.

Collaborative distances:

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

2025

Putnam-AXIOM: A Functional and Static Benchmark for Measuring Higher Level Mathematical Reasoning in LLMs.

Aryan Gulati, Brando Miranda, Eric Chen, Emily Xia, Kai Fronsdal, Bruno de Moraes Dumont, Elyas Obbad, Sanmi Koyejo

CoRR, August, 2025

Putnam-AXIOM: A Functional & Static Benchmark for Measuring Higher Level Mathematical Reasoning in LLMs.

Aryan Gulati, Brando Miranda, Eric Chen, Emily Xia, Kai Fronsdal, Bruno de Moraes Dumont, Sanmi Koyejo

Proceedings of the Forty-second International Conference on Machine Learning, 2025

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