NaturalProofs
Introduced by Welleck et al. in NaturalProofs: Mathematical Theorem Proving in Natural Language
The NaturalProofs Dataset is a large-scale dataset for studying mathematical reasoning in natural language. NaturalProofs consists of roughly 20,000 theorem statements and proofs, 12,500 definitions, and 1,000 additional pages (e.g. axioms, corollaries) derived from ProofWiki, an online compendium of mathematical proofs written by a community of contributors.
Source: NaturalProofsPapers
| Paper | Code | Results | Date | Stars |
|---|
