Amitayush Thakur
Identifiers
- name variant Amitayush Thakur 0.60 · backfill
Papers (1)
- ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving cs.AI · 2025 · author #1
Mentions
- 2502.04671 #1 · arxiv_oai · confidence 0.70 Amitayush Thakur
Frequent Coauthors
- George Tsoukalas 1 shared papers
- Greg Durrett 1 shared papers
- Swarat Chaudhuri 1 shared papers