Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code.
Andreas FlorathPublished in: CoRR (2024)
Keyphrases
- theorem proving
- theorem prover
- logical inference
- proof planning
- parallel search
- automatic programming
- first order logic
- inference rules
- automated theorem proving
- knowledge representation
- decision procedures
- artificial intelligence
- training examples
- probabilistic model
- formal methods
- automated reasoning
- expert systems
- data mining
- programming language
- training data
- computer algebra
- proof procedure
- predicate calculus
- computer software
- knowledge based systems