Training a First-Order Theorem Prover from Synthetic Data.
Vlad FiroiuEser AygünAnkit AnandZafarali AhmedXavier GlorotLaurent OrseauLei M. ZhangDoina PrecupShibl MouradPublished in: CoRR (2021)
Keyphrases
- synthetic data
- theorem prover
- first order logic
- term rewriting
- theorem proving
- inference rules
- automated reasoning
- formal proof
- real world
- data sets
- automated theorem proving
- computer algebra
- propositional logic
- predicate calculus
- real image data
- boolean algebra
- formal semantics
- training set
- natural deduction
- timed automata
- knowledge representation
- operational semantics
- experimental study
- training samples
- supervised learning
- mathematical knowledge