Prof Cezary Kaliszyk
Professor in Theoretical Computing Science
School of Computing and Information Systems
149 Scholarly works
0 Projects
HIGHLIGHTS
2027
Book Chapter
Optimising Metamath Proofs for Human Working Memory
DOI: 10.1007/978-3-032-38214-6_142026
Conference Proceedings
Polymorphism Meets DHOL
DOI: 10.4230/LIPIcs.FSCD.2026.272026
Conference Proceedings
Exploring Formal Math on the Blockchain: An Explorer for Proofgold
DOI: 10.1007/978-3-032-07021-0_52026
Conference Proceedings
The Dependently Typed Higher-Order Form for the TPTP World
DOI: 10.1007/978-3-032-04167-8_162026
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_10
RECENT SCHOLARLY WORKS
2026
Conference Proceedings
Hammering Higher Order Set Theory
DOI: 10.1007/978-3-032-07021-0_12025
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/526