Frederik Schmitt

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 14

Top Topics

Linear Programming

Propositional Satisfiability

Mazurkiewicz Traces

Top Venues

Publications

Matthias Cosler, Christopher Hahn, Ayham Omar, Frederik Schmitt
NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis. TACAS (3) (2024)
Mohamed Ghanem, Frederik Schmitt, Julian Siber, Bernd Finkbeiner
NeuRes: Learning Proofs of Propositional Satisfiability. CoRR (2024)
Matthias Cosler, Christopher Hahn, Ayham Omar, Frederik Schmitt
NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis. CoRR (2024)
Matthias Cosler, Christopher Hahn, Daniel Mendoza, Frederik Schmitt, Caroline Trippel
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models. CoRR (2023)
Matthias Cosler, Christopher Hahn, Daniel Mendoza, Frederik Schmitt, Caroline Trippel
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models. CAV (2) (2023)
Matthias Cosler, Frederik Schmitt, Christopher Hahn, Bernd Finkbeiner
Iterative Circuit Repair Against Formal Specifications. ICLR (2023)
Matthias Cosler, Frederik Schmitt, Christopher Hahn, Bernd Finkbeiner
Iterative Circuit Repair Against Formal Specifications. CoRR (2023)
Niklas Metzger, Christopher Hahn, Julian Siber, Frederik Schmitt, Bernd Finkbeiner
Attention Flows for General Transformers. CoRR (2022)
Christopher Hahn, Frederik Schmitt, Julia J. Tillman, Niklas Metzger, Julian Siber, Bernd Finkbeiner
Formal Specifications from Natural Language. CoRR (2022)
Frederik Schmitt, Christopher Hahn, Markus N. Rabe, Bernd Finkbeiner
Neural Circuit Synthesis from Specification Patterns. CoRR (2021)
Frederik Schmitt, Christopher Hahn, Markus N. Rabe, Bernd Finkbeiner
Neural Circuit Synthesis from Specification Patterns. NeurIPS (2021)
Christopher Hahn, Frederik Schmitt, Jens U. Kreber, Markus Norman Rabe, Bernd Finkbeiner
Teaching Temporal Logics to Neural Networks. ICLR (2021)
Bernd Finkbeiner, Christopher Hahn, Markus N. Rabe, Frederik Schmitt
Teaching Temporal Logics to Neural Networks. CoRR (2020)
Frederik Schmitt, Daniel Gnad, Jörg Hoffmann
Advanced Factoring Strategies for Decoupled Search Using Linear Programming. ICAPS (2019)