Markus N Rabe
2 papers
· 2021–2021
· 2 conferences
· across top CS/AI conferences
Achievements
π
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)