Bootstrapping LCF Declarative Proofs.
Phil ScottSteven ObuaJacques D. FleuriotPublished in: CoRR (2017)
Keyphrases
- theorem proving
- theorem prover
- formal proof
- formal proofs
- knowledge representation
- decision procedures
- relation extraction
- information extraction
- domain independent
- mathematical proofs
- machine learning
- named entity recognition
- data sets
- multi agent
- computer programs
- information systems
- artificial intelligence
- genetic algorithm
- real world