Cezary Kaliszyk
5 papers · 2015–2025 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
🌍 Conference Polyglot (3) 🏃 Academic Marathon (10) 🌈 Renaissance Researcher (5) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer
🐝
Cross-Pollinator
(14)
Conferences
IJCAI (3)
ICLR (1)
NIPS (1)
Top co-authors
Keywords
automated reasoning
(2)
theorem proving
(2)
formal verification
(1)
monte-carlo simulation
(1)
inductive logic programming
(1)
higher-order logic
(1)
term rewriting
(1)
strategy invention
(1)
connection-style proof search
(1)
proof attempt
(1)
reinforcement learning
(1)
learning from failure
(1)
program synthesis
(1)
Papers
Automated Strategy Invention for Confluence of Term Rewrite Systems
IJCAI 2025
Learning Higher-Order Logic Programs From Failures
IJCAI 2022
Disambiguating Symbolic Expressions in Informal Documents
ICLR 2021
Reinforcement Learning of Theorem Proving
NIPS 2018
Efficient Semantic Features for Automated Reasoning over Large Theories
IJCAI 2015