Markus Rabe
5 papers
· 2019–2022
· 4 conferences
· across top CS/AI conferences
Achievements
π
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
Mathematical Reasoning in Latent Space
ICLR 2020