@misc{indiciae93442bc3c8b5,
  title = {ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving},
  author = {Amitayush Thakur and George Tsoukalas and Greg Durrett and Swarat Chaudhuri},
  year = {2026},
  url = {https://arxiv.org/abs/2502.04671},
  note = {Source identifier: 2502.04671}
}