Prof Cezary Kaliszyk
Professor in Theoretical Computing Science
School of Computing and Information Systems
147 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
Book Chapter
Exploring Formal Math on the Blockchain: An Explorer for Proofgold
DOI: 10.1007/978-3-032-07021-0_52026
Book Chapter
Learning Rules Explaining Interactive Theorem Proving Tactic Prediction
DOI: 10.1007/978-3-032-09087-4_72026
Book Chapter
Hammering Higher Order Set Theory
DOI: 10.1007/978-3-032-07021-0_12026
Book Chapter
Differentiable Inductive Logic Programming in High-Dimensional Space
DOI: 10.1007/978-3-032-09087-4_102025
Conference Proceedings
Payment Channels with Proofs
DOI: 10.1109/BCCA66705.2025.11229570
RECENT SCHOLARLY WORKS
2025
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.292024
Conference Proceedings
Automated Strategy Invention for Confluence of Term Rewrite Systems
DOI: 10.24963/ijcai.2024/526