ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving.

Amitayush Thakur, George Tsoukalas, Greg Durrett, Swarat Chaudhuri

Browse the full ITP paper archive.