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 2022	Committee Member in Program Committee within the CPP 2022-track
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