Out-of-Distribution Detection through Soft Clustering with Non-Negative Kernel Regression. - Aryan Gulati; Xingjian Dong; Carlos Hurtado; Sarath Shekkizhar; Swabha Swayamdipta; Antonio Ortega (EMNLP (Findings), 2024)

An Evaluation Benchmark for Autoformalization in Lean4. - Jasdeep Sidhu; Shubhra Mishra; Aryan Gulati; Devanshu Ladsaria; Brando Miranda (Tiny Papers @ ICLR, 2024)

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 Dumont; Elyas Obbad; Sanmi Koyejo (CoRR, 2025)