Scholar
Cezary Kaliszyk
Google Scholar ID: bp68Q1kAAAAJ
Professor, University of Melbourne
Automated Reasoning
Formal Methods
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
2,603
H-index
24
i10-index
51
Publications
20
Co-authors
15
list available
Publications
9 items
Optimising Metamath Proofs for Human Working Memory
2026
Cited
0
Polymorphism Meets DHOL
2026
Cited
0
Munkres' General Topology Autoformalized in Isabelle/HOL
2026
Cited
0
Agent Hunt: Bounty Based Collaborative Autoformalization With LLM Agents
2026
Cited
0
Payment Channels with Proofs
2025
Cited
0
Exploring Formal Math on the Blockchain: An Explorer for Proofgold
2025
Cited
0
Hammering Higher Order Set Theory
2025
Cited
0
The Dependently Typed Higher-Order Form for the TPTP World
2025
Cited
0
Load more
Co-authors
7 total
Josef Urban
Distinguished Researcher at Czech Technical University in Prague
Thibault Gauthier
Czech Technical University in Prague
Jasmin Blanchette
Ludwig-Maximilians-Universität München
Florian Rabe
University Erlangen-Nuremberg
Jan Jakubuv
Czech Technical University in Prague, CIIRC
Herman Geuvers
Radboud University Nijmegen, the Netherlands
François Chollet
Google
