[2502.04671] ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving
![[2502.04671] ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving](/static/img/curated/afbytes-us.png)
AI disclosure
Summary
Abstract page for arXiv paper 2502.04671: ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving