Online Machine Learning Techniques for Coq: A Comparison.

Liao Zhang Lasse Blaauwbroek Bartosz Piotrowski Prokop Cerný Cezary Kaliszyk Josef Urban

Published in: CoRR (2021)

Keyphrases

online learning
machine learning
database
real time
decision trees
lower bound
machine learning algorithms
artificial intelligence
case study
three dimensional
evolutionary algorithm
knowledge representation
online communities