AIBullisharXiv – CS AI · 7h ago7/10
🧠
ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving
ProofWala is an open-source multilingual proof engineering framework that enables neural theorem proving across multiple interactive theorem provers like Lean 4 and Rocq through unified infrastructure. The framework demonstrates that cross-lingual training across different proof assistants improves performance on mathematical proof tasks, with significant gains shown in Lean Mathlib and domain-specific applications.