Amitayush Thakur

Identifiers

• name variant Amitayush Thakur 0.60 · backfill

Papers (1)

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