Cezary Kaliszyk
5 papers
· 2015–2025
· 3 conferences
· across top CS/AI conferences
Achievements
🌍
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)