Frederik Schmitt
4 papers
· 2021–2024
· 2 conferences
· across top CS/AI conferences
Achievements
π
Conference Polyglot
(2)
π
Renaissance Researcher
(5)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(11)
π§
Keyword Pioneer
π£
Hot Topic Early Bird
π
Cross-Pollinator
(15)
Conferences
ICLR (2)
NIPS (2)
Top co-authors
Keywords
representation learning
(1)
attention mechanism
(1)
knowledge distillation
(1)
formal verification
(1)
temporal logic
(1)
formal language
(1)
specification mining
(1)
propositional satisfiability
(1)
linear temporal logic
(1)
circuit synthesis
(1)
neuro-symbolic approach
(1)
attention-based architecture
(1)
neural network
(1)
neural circuit synthesis
(1)
hardware synthesis
(1)
linear-time temporal logic
(1)
expert iteration
(1)
hardware circuit
(1)