Markus Rabe
5 papers · 2019–2022 · 4 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 ↓+1 more ↓ Show less ↑
π Conference Polyglot Β· Bronze π Interdisciplinary Bridge Β· Silver πΊοΈ Taxonomy Completionist (15) π£ Hot Topic Early Bird π Grand Slam
π
Trend Setter
Venues
Top co-authors
Research topics
Keywords
theorem proving
(3)
automated reasoning
(3)
higher-order logic
(2)
formal verification
(2)
graph neural network
(2)
deep reinforcement learning
(2)
formal methods
(1)
latent space
(1)
proof search
(1)
automated theorem proving
(1)
theorem prover
(1)
formal proof
(1)
backtracking search
(1)
quantified boolean formula
(1)
heuristic learning
(1)
large language model
(1)
neural theorem prover
(1)
formula representation
(1)
holist benchmark
(1)
proof assistant
(1)
Papers
Autoformalization with Large Language Models
NeurIPS 2022
Graph Representations for Higher-Order Logic and Theorem Proving
AAAI 2020
Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning
ICLR 2020
Mathematical Reasoning in Latent Space
ICLR 2020
HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving
ICML 2019