Aryan Gulati

Identifiers

• name variant Aryan Gulati 0.60 · backfill

Papers (3)

1. Putnam-AXIOM: A Functional and Static Benchmark for Measuring Higher Level Mathematical Reasoning in LLMs cs.CL · 2025 · author #1
2. Out-of-Distribution Detection through Soft Clustering with Non-Negative Kernel Regression cs.LG · 2024 · author #1
3. An Evaluation Benchmark for Autoformalization in Lean4 cs.LG · 2024 · author #1

Mentions

• 2508.08292 #1 · arxiv_oai · confidence 0.70 Aryan Gulati
• 2407.13141 #1 · arxiv_oai · confidence 0.70 Aryan Gulati
• 2406.06555 #1 · arxiv_oai · confidence 0.70 Aryan Gulati

Frequent Coauthors

• Brando Miranda 2 shared papers
• Antonio Ortega 1 shared papers
• Bruno Dumont 1 shared papers
• Carlos Hurtado 1 shared papers
• Devanshu Ladsaria 1 shared papers
• Elyas Obbad 1 shared papers
• Emily Xia 1 shared papers
• Eric Chen 1 shared papers
• Jasdeep Sidhu 1 shared papers
• Kai Fronsdal 1 shared papers
• Sanmi Koyejo 1 shared papers
• Sarath Shekkizhar 1 shared papers
• Shubhra Mishra 1 shared papers
• Swabha Swayamdipta 1 shared papers
• Xingjian Dong 1 shared papers