Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Cezary Kaliszyk
MizAR 40 for Mizar 40
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Exploration of Neural Machine Translation in Autoformalization of Mathematics in Mizar
Progress in the Independent Certification of Mizar Mathematical Library in Isabelle
Certified Connection Tableaux Proofs for HOL Light and TPTP
TacticToe: Learning to Reason With HOL4 Tactics
Deep Network Guided Proof Search
