The ProofWalaDataset is a multilingual dataset of formal theorem proving traces collected from multiple interactive theorem prover (ITP) ecosystems. It provides a structured view of proof steps, goals, hypotheses, and theorem names from diverse mathematical and program verification libraries.
This dataset is intended for researchers and practitioners working on:
Automated theorem proving
Formal code generation
Machine learning for logic
Proof step prediction… See the full description on the dataset page:
https://huggingface.co/datasets/amitayusht/ProofWalaDataset.
