Prokop Cerný

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 2

Top Topics

Search Algorithm

Online Learning

Top Venues

Publications

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