Frederik Schmitt
4 papers · 2021–2024 · 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 (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)