Online Machine Learning Techniques for Coq: A Comparison.

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

Published in: CICM (2021)

Keyphrases

online learning
machine learning
real time
databases
formal methods
multiscale
search algorithm
software engineering
machine learning methods
information retrieval
genetic algorithm
decision making
information technology
artificial neural networks
mobile robot