@article{rmpsmallroofwsmallalamultilingual,
  title = {ProofWala: Multilingual Proof Data Synthesis and Theorem-Proving},
  author = {Amitayush Thakur and George Tsoukalas and Greg Durrett and Swarat Chaudhuri},
  year = {2025},
  eprint = {2502.04671},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2502.04671v2},
}