conf.researchr.org / Cezary Kaliszyk
Cezary Kaliszyk

Registered user since Thu 22 Sep 2016

Name: Cezary Kaliszyk

Affiliation: University of Innsbruck

Personal website: http://cl-informatik.uibk.ac.at/users/cek/

Contributions

CPP 2020 Author of Exploration of Neural Machine Translation in Autoformalization of Mathematics in Mizar within the CPP 2020-track
CoqPL 2018 Author of CoqHammer: Strong Automation for Program Verification within the -track
CPP 2018 Author of Formal Microeconomic Foundations and the First Welfare Theorem within the CPP 2018-track
CPP 2017 Committee Member in Program Committee within the CPP-track
CPP 2016 Author of Mizar Environment for Isabelle within the CPP-track