Machine Learning of Coq Proof Guidance: First Experiments.
Cezary KaliszykLionel MamaneJosef UrbanPublished in: SCSS (2014)
Keyphrases
- machine learning
- theorem prover
- machine learning methods
- theorem proving
- data sets
- machine learning algorithms
- pattern recognition
- information extraction
- formal methods
- text mining
- knowledge discovery
- decision trees
- real time
- explanation based learning
- learning algorithm
- learning tasks
- model selection
- computational intelligence
- computer vision
- database
- natural language processing
- supervised learning
- knowledge acquisition
- social networks
- artificial intelligence
- statistical methods
- support vector machine
- inductive learning
- feature selection
- real world
- machine learning approaches
- active learning
- reinforcement learning