Prof Cezary Kaliszyk
Professor in Theoretical Computing Science
School of Computing and Information Systems
150 Scholarly works
0 Projects
HIGHLIGHTS
2027
Book Chapter
Optimising Metamath Proofs for Human Working Memory
DOI: 10.1007/978-3-032-38214-6_142027
Book Chapter
Learning-Guided Higher-Order Automated Reasoning for Isabelle/HOL
DOI: 10.1007/978-3-032-38214-6_202026
Conference Proceedings
Polymorphism Meets DHOL
DOI: 10.4230/LIPIcs.FSCD.2026.272026
Conference Proceedings
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
RECENT SCHOLARLY WORKS
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_12025
Conference Proceedings
Payment Channels with Proofs
DOI: 10.1109/BCCA66705.2025.11229570