Frederik Schmitt

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