Certifying the True Error: Machine Learning in Coq with Verified Generalization Guarantees.
Alexander BagnallGordon StewartPublished in: AAAI (2019)
Keyphrases
- machine learning
- error rate
- machine learning algorithms
- learning tasks
- feature selection
- information extraction
- artificial intelligence
- learning systems
- machine learning methods
- active learning
- pattern recognition
- decision trees
- theorem prover
- support vector machine
- error analysis
- computer vision
- relative error
- statistical learning
- learning problems
- transfer learning
- knowledge acquisition
- real time
- learning algorithm
- text mining
- supervised learning
- lower bound
- expected error
- semi supervised learning
- formal methods
- explanation based learning
- reinforcement learning
- evolutionary algorithm
- inductive learning
- error bounds
- natural language processing
- kernel methods
- statistical methods
- computational intelligence
- text classification