Online Machine Learning Techniques for Coq: A Comparison - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Liao Zhang, Lasse Blaauwbroek, Bartosz Piotrowski, Prokop Cerný, Cezary Kaliszyk, Josef Urban. Online Machine Learning Techniques for Coq: A Comparison. In Fairouz Kamareddine, Claudio Sacerdoti Coen, editors, Intelligent Computer Mathematics - 14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021, Proceedings. Volume 12833 of Lecture Notes in Computer Science, pages 67-83, Springer, 2021. [doi]

This author has not been identified. Look up 'Liao Zhang' in GoogleThis author has not been identified. Look up 'Lasse Blaauwbroek' in GoogleThis author has not been identified. Look up 'Bartosz Piotrowski' in GoogleThis author has not been identified. Look up 'Prokop Cerný' in GoogleThis author has not been identified. Look up 'Cezary Kaliszyk' in GoogleThis author has not been identified. Look up 'Josef Urban' in Google

runs on WebDSL