NaturalProofs: Mathematical Theorem Proving in Natural Language.
Sean WelleckJiacheng LiuRonan Le BrasHanna HajishirziYejin ChoiKyunghyun ChoPublished in: NeurIPS Datasets and Benchmarks (2021)
Keyphrases
- theorem proving
- natural language
- mathematical knowledge
- computer algebra systems
- theorem prover
- decision procedures
- first order logic
- automated reasoning
- term rewriting
- proof planning
- consequence finding
- parallel search
- automated deduction
- automatic programming
- knowledge representation
- natural language processing
- proof procedure
- inference rules
- semantic analysis
- distributed search
- logical inference
- machine learning
- computer algebra
- automated theorem proving
- multi agent systems
- proof search
- supervised learning
- description logics