Cezary Kaliszyk
5 papers · 2015–2025 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🏃
Academic Marathon · Half
🌉
Interdisciplinary Bridge · Silver
🗺️
Taxonomy Completionist
(11)
🌈
Renaissance Researcher
(5)
Venues
Top co-authors
Research topics
Computer Science
(2)
Machine Learning
(2)
Artificial Intelligence
(1)
Deep Learning
(1)
Knowledge & Reasoning
(1)
Natural Language Processing
(1)
Reinforcement Learning
(1)
Applications · Natural Language Processing
(1)
Applications · Computer Science
(1)
Applications · Reinforcement Learning
(1)
Architectures
(1)
Core AI
(1)
Foundations
(1)
Learning Types
(1)
Optimization & Theory
(1)
Keywords
automated reasoning
(2)
theorem proving
(2)
program synthesis
(1)
formal verification
(1)
monte carlo simulation
(1)
transformer language model
(1)
inductive logic programming
(1)
symbolic expression
(1)
abstract syntax tree
(1)
higher-order logic
(1)
term rewriting
(1)
strategy invention
(1)
connection-style proof search
(1)
proof attempt
(1)
learning from failure
(1)
reinforcement learning
(1)
informal document
(1)
neural machine translation
(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
NeurIPS 2018
Efficient Semantic Features for Automated Reasoning over Large Theories
IJCAI 2015