Prof Cezary Kaliszyk
Professor in Theoretical Computing Science
School of Computing and Information Systems
148 Scholarly works
0 Projects
HIGHLIGHTS
2026
Conference Proceedings
Polymorphism Meets DHOL
DOI: 10.4230/LIPIcs.FSCD.2026.272026
Book Chapter
The Dependently Typed Higher-Order Form for the TPTP World
DOI: 10.1007/978-3-032-04167-8_162026
Conference Proceedings
Exploring Formal Math on the Blockchain: An Explorer for Proofgold
DOI: 10.1007/978-3-032-07021-0_52026
Conference Proceedings
Learning Rules Explaining Interactive Theorem Proving Tactic Prediction
DOI: 10.1007/978-3-032-09087-4_72026
Conference Proceedings
Agent Hunt: Bounty Based Collaborative Autoformalization With LLM Agents
2026
Conference Proceedings
Differentiable Inductive Logic Programming in High-Dimensional Space
DOI: 10.1007/978-3-032-09087-4_102026
Conference Proceedings
Hammering Higher Order Set Theory
DOI: 10.1007/978-3-032-07021-0_1
RECENT SCHOLARLY WORKS
2025
Conference Proceedings
Payment Channels with Proofs
DOI: 10.1109/BCCA66705.2025.112295702025
Conference Proceedings
Automated Strategy Invention for Confluence of Term Rewrite Systems
DOI: 10.24963/ijcai.2025/5262024
Conference Proceedings
Conway Normal Form: Bridging Approaches for Comprehensive Formalization of Surreal Numbers
DOI: 10.4230/LIPIcs.ITP.2024.29