Machine Learning in Proof General: Interfacing Interfaces
Ekaterina KomendantskayaJónathan HerasGudmund GrovPublished in: UITP (2012)
Keyphrases
- machine learning
- closely related
- active learning
- theorem prover
- data mining
- machine learning methods
- artificial intelligence
- special case
- real world
- text classification
- low cost
- data analysis
- pattern recognition
- multi agent
- computer vision
- learning algorithm
- information retrieval
- user interface
- support vector machine
- text mining
- knowledge acquisition
- databases
- linear logic
- provably correct