Markus N Rabe
2 papers · 2021–2021 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
π Conference Polyglot (2) π Renaissance Researcher (5) π Interdisciplinary Bridge πΊοΈ Taxonomy Completionist (10) π§ Keyword Pioneer
π£
Hot Topic Early Bird
π
Cross-Pollinator
(15)
Conferences
ICML (1)
NIPS (1)
Top co-authors
Keywords
mathematical reasoning
(1)
formal verification
(1)
inductive bia
(1)
transformer network
(1)
temporal logic
(1)
formal language
(1)
specification mining
(1)
linear temporal logic
(1)
circuit synthesis
(1)
neural network
(1)
neural circuit synthesis
(1)
hardware synthesis
(1)
synthetic task
(1)
linear-time temporal logic
(1)
hardware circuit
(1)