Devanshu Ladsaria

Publication Activity (10 Years)

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

Top Topics

Evaluation Method

Top Venues

Tiny Papers @ ICLR

Publications

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)