Machine Learning of Coq Proof Guidance: First Experiments.
Cezary KaliszykLionel MamaneJosef UrbanPublished in: CoRR (2014)
Keyphrases
- machine learning
- theorem prover
- pattern recognition
- machine learning algorithms
- machine learning approaches
- decision trees
- knowledge acquisition
- learning algorithm
- computer vision
- inductive learning
- inference rules
- machine learning methods
- information extraction
- active learning
- theorem proving
- natural language processing
- text classification
- data mining
- semi supervised learning
- learning tasks
- application of machine learning methods
- learning problems
- inductive logic programming
- neural network
- statistical methods
- first order logic
- supervised learning
- knowledge representation
- reinforcement learning
- image sequences
- feature selection
- artificial intelligence
- real world