Prof Cezary Kaliszyk
Professor in Theoretical Computing Science
School of Computing and Information Systems
146 Scholarly works
0 Projects
HIGHLIGHTS
2026
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
Differentiable Inductive Logic Programming in High-Dimensional Space
DOI: 10.1007/978-3-032-09087-4_102026
Book Chapter
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
RECENT SCHOLARLY WORKS
2024
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/5262024
Conference Proceedings
Prover9 Unleashed: Automated Configuration for Enhanced Proof Discovery
DOI: 10.29007/sd6t