I'm currently a Phd student in the University of Innsbruck,
I'm interested in theoretical computer science, especially in interactive theorem proving and machine learning.
Computational Logic Group,
Institute of Computer Science,
University of Innsbruck.
Publications (not yet published)
Aligning Concepts across Proof Assistant Libraries
Thibault Gauthier, Cezary Kaliszyk
Accepted at Journal of Symbolic Computation.
Learning to Prove with Tactics
Thibault Gauthier, Cezary Kaliszyk, Josef Urban, Ramana Kumar, Michael Norrish
Submitted to Journal of automated reasoning.