TY  - RPRT
TI  - ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving
AU  - Amitayush Thakur
AU  - George Tsoukalas
AU  - Greg Durrett
AU  - Swarat Chaudhuri
PY  - 2026
UR  - https://arxiv.org/abs/2502.04671
ID  - 2502.04671
ER  -