Online Machine Learning Techniques for Coq: A Comparison. - Liao Zhang; Lasse Blaauwbroek; Bartosz Piotrowski; Prokop Cerný; Cezary Kaliszyk; Josef Urban (CICM, 2021)