Interactive Proofs for Verifying Machine Learning.
Shafi GoldwasserGuy N. RothblumJonathan ShaferAmir YehudayoffPublished in: Electron. Colloquium Comput. Complex. (2020)
Keyphrases
- machine learning
- machine learning methods
- learning systems
- user friendly
- data mining
- machine learning algorithms
- knowledge acquisition
- pattern recognition
- interactive video
- case study
- theorem proving
- learning algorithm
- formal proof
- computational biology
- computer graphics
- inductive logic programming
- feature selection
- graphical interface
- machine learning and data mining
- theorem prover
- learning tasks
- kernel methods
- virtual reality
- e learning
- decision trees
- natural language processing
- supervised learning
- information extraction
- support vector machine
- data analysis