I am working as a researcher at the
Czech Technical Unversity in Prague with
I am interested in theoretical computer science, especially in interactive theorem proving and machine learning.
Learning to Prove with Tactics
Thibault Gauthier, Cezary Kaliszyk, Josef Urban, Ramana Kumar, Michael Norrish
Submitted to Journal of Automated Reasoning.
Aligning Concepts across Proof Assistant Libraries
Thibault Gauthier, Cezary Kaliszyk
Journal of Symbolic Computation.
Czech Institute of Informatics, Robotics, and Cybernetics
Czech Technical University in Prague
166 36 Prague 6