Interactive Proofs for Verifying Machine Learning.
Shafi GoldwasserGuy N. RothblumJonathan ShaferAmir YehudayoffPublished in: ITCS (2021)
Keyphrases
- machine learning
- user friendly
- learning algorithm
- artificial intelligence
- feature selection
- learning systems
- decision trees
- user interaction
- pattern recognition
- theorem prover
- text mining
- learning tasks
- machine learning methods
- model checking
- computational intelligence
- support vector machine
- data analysis
- computational biology
- data mining
- inductive learning
- inductive logic programming
- knowledge engineering
- theorem proving
- machine learning approaches
- database
- graphical interface
- statistical methods
- natural language processing
- supervised learning
- knowledge representation
- user interface
- case study
- website
- information systems
- search engine