Markus Rabe
5 papers · 2019–2022 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
π Conference Polyglot (4) π§ Keyword Pioneer πΊοΈ Taxonomy Completionist (12) π Interdisciplinary Bridge π Cross-Pollinator (11)
π
Renaissance Researcher
(5)
π
Grand Slam
Conferences
ICLR (2)
AAAI (1)
ICML (1)
NIPS (1)
Top co-authors
Keywords
theorem proving
(3)
higher-order logic
(2)
automated reasoning
(2)
formal verification
(2)
formal methods
(1)
proof search
(1)
automated theorem proving
(1)
theorem prover
(1)
formal proof
(1)
large language model
(1)
graph neural network
(1)
neural theorem prover
(1)
formula representation
(1)
holist benchmark
(1)
proof assistant
(1)
deep reinforcement learning
(1)
proof synthesis
(1)
reinforcement learning
(1)
knowledge representation
(1)
deep learning
(1)
Papers
Autoformalization with Large Language Models
NIPS 2022
Graph Representations for Higher-Order Logic and Theorem Proving
AAAI 2020
Mathematical Reasoning in Latent Space
ICLR 2020
Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning
ICLR 2020
HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving
ICML 2019