Frederik Schmitt
4 papers · 2021–2024 · 2 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 ↓
🌍
Conference Polyglot · Bronze
🌉
Interdisciplinary Bridge · Silver
🗺️
Taxonomy Completionist
(12)
🐣
Hot Topic Early Bird
📈
Trend Setter
Venues
Top co-authors
Research topics
Artificial Intelligence
(4)
Deep Learning
(4)
Architectures
(4)
Core AI
(4)
Machine Learning
(3)
Knowledge & Reasoning
(2)
Application Areas
(2)
Core Methods
(2)
Learning Types · Machine Learning
(2)
Reasoning
(2)
Computer Science
(1)
Applications
(1)
Foundations
(1)
Learning Types · Deep Learning
(1)
Keywords
linear temporal logic
(2)
formal verification
(2)
neural network
(2)
linear-time temporal logic
(2)
formal specification
(1)
formal language
(1)
specification mining
(1)
propositional satisfiability
(1)
circuit synthesis
(1)
neuro-symbolic computing
(1)
neuro-symbolic approach
(1)
attention-based architecture
(1)
transformer model
(1)
sequential circuit
(1)
neural circuit synthesis
(1)
hardware synthesis
(1)
expert iteration
(1)
hardware circuit
(1)
neural synthesis
(1)
representation learning
(1)