Aryan Gulati

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 3

Top Topics

Soft Clustering

Evaluation Method

Top Venues

Tiny Papers @ ICLR

Publications

Aryan Gulati, Xingjian Dong, Carlos Hurtado, Sarath Shekkizhar, Swabha Swayamdipta, Antonio Ortega
Out-of-Distribution Detection through Soft Clustering with Non-Negative Kernel Regression. CoRR (2024)
Aryan Gulati, Devanshu Ladsaria, Shubhra Mishra, Jasdeep Sidhu, Brando Miranda
An Evaluation Benchmark for Autoformalization in Lean4. CoRR (2024)
Jasdeep Sidhu, Shubhra Mishra, Aryan Gulati, Devanshu Ladsaria, Brando Miranda
An Evaluation Benchmark for Autoformalization in Lean4. Tiny Papers @ ICLR (2024)