Devanshu Ladsaria

Identifiers

• name variant Devanshu Ladsaria 0.60 · backfill

Papers (1)

1. An Evaluation Benchmark for Autoformalization in Lean4 cs.LG · 2024 · author #2

Mentions

• 2406.06555 #2 · arxiv_oai · confidence 0.70 Devanshu Ladsaria

Frequent Coauthors

• Aryan Gulati 1 shared papers
• Brando Miranda 1 shared papers
• Jasdeep Sidhu 1 shared papers
• Shubhra Mishra 1 shared papers