Publications

Preprints

Preprints of papers accepted for publication, currently in press.

1. Chad E. Brown, Cezary Kaliszyk, Josef Urban:
   Agent Hunt: Bounty Based Collaborative Autoformalization With LLM Agents.
   [ arXiv | dblp | bibtex ]

2. Dustin Bryant, Jonathan Julián Huerta y Munive, Cezary Kaliszyk, Josef Urban:
   Munkres’ General Topology Autoformalized in Isabelle/HOL.
   [ arXiv | dblp | bibtex ]

3. Rhea Ranalter, Florian Rabe, Cezary Kaliszyk:
   Polymorphism Meets DHOL.
   [ arXiv | dblp | bibtex ]

4. Jeremy Lindsay, Cezary Kaliszyk, Christine Rizkallah:
   Optimising Metamath Proofs for Human Working Memory.
   [ pdf ] (Accepted to CICM'26)

5. Jan Jakubův, Cezary Kaliszyk, Martin Suda.
   Learning-Guided Higher-Order Automated Reasoning for Isabelle/HOL
   [ pdf ] (Accepted to CICM'26)