Amitayush Thakur

ProofWala framework enables multilingual theorem-proving research

Researchers have developed ProofWala, a new framework designed to facilitate multilingual proof data synthesis and theorem-proving for neural approaches. This framework includes a reusable library for interacting with i…