Josef Urban -

Registered user since Mon 17 Apr 2017

Name:Josef Urban

Country:Czechia

Affiliation:Czech Technical University in Prague

Personal website: https://www.ciirc.cvut.cz/~urbanjo3/

Contributions

2023

CPP

Committee Member in Program Committee within the CPP 2023-track

2021

CPP

Committee Member in Program Committee within the CPP 2021-track

2020

CPP

Author of Exploration of Neural Machine Translation in Autoformalization of Mathematics in Mizar within the CPP 2020-track

2018

CPP

Committee Member in Program Committee within the CPP 2018-track

2017

CPP

Author of BliStrTune: Hierarchical Invention of Theorem Proving Strategies within the CPP-track

2016

CPP

Author of Mizar Environment for Isabelle within the CPP-track