Lasse Blaauwbroek | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Josef Urban
55 publications
Cezary Kaliszyk
38 publications
Bartosz Piotrowski
8 publications
Herman Geuvers
7 publications
Liao Zhang
4 publications
Prokop Černý
1 publication

research

∙ 04/12/2021

Online Machine Learning Techniques for Coq: A Comparison

We present a comparison of several online machine learning techniques fo...

0 Liao Zhang, et al. ∙

research

∙ 07/31/2020

The Tactician (extended version): A Seamless, Interactive Tactic Learner and Prover for Coq

We present Tactician, a tactic learner and prover for the Coq Proof Assi...

0 Lasse Blaauwbroek, et al. ∙

research

∙ 03/20/2020

Tactic Learning and Proving for the Coq Proof Assistant

We present a system that utilizes machine learning for tactic proof sear...

0 Lasse Blaauwbroek, et al. ∙