Cezary Kaliszyk
Scholar

Cezary Kaliszyk

Google Scholar ID: bp68Q1kAAAAJ
Professor, University of Melbourne
Automated ReasoningFormal Methods
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
2,603
 
H-index
24
 
i10-index
51
 
Publications
20
 
Co-authors
15
list available
Contact
No contact links provided.
Publications
7 items
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
Differentiable Inductive Logic Programming in High-Dimensional Space
arXiv.org · 2022
Cited
0
Resume (English only)
Co-authors
15 total
Josef Urban
Josef Urban
Distinguished Researcher at Czech Technical University in Prague
Thibault Gauthier
Thibault Gauthier
Czech Technical University in Prague
Co-author 3
Co-author 3
Jasmin Blanchette
Jasmin Blanchette
Ludwig-Maximilians-Universität München
Co-author 5
Co-author 5
Florian Rabe
Florian Rabe
University Erlangen-Nuremberg
Co-author 7
Co-author 7
Jan Jakubuv
Jan Jakubuv
Czech Technical University in Prague, CIIRC