Learning Proof Path Selection Policies in Neural Theorem Proving.
Matthew MorrisPasquale MinerviniPhil BlunsomPublished in: NeSy (2022)
Keyphrases
- supervised learning
- theorem proving
- theorem prover
- proof planning
- reinforcement learning
- decision procedures
- geometry theorem proving
- automated reasoning
- path selection
- proof procedure
- parallel search
- first order logic
- automated theorem proving
- natural deduction
- mathematical knowledge
- consequence finding
- network architecture
- real time
- inference rules
- intrusion detection
- knowledge representation
- artificial intelligence
- data mining