Frederik Schmitt

According to our database, Frederik Schmitt authored at least 10 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

NeuRes: Learning Proofs of Propositional Satisfiability.

Mohamed Ghanem, Frederik Schmitt, Julian Siber, Bernd Finkbeiner

CoRR, 2024

NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis.

Matthias Cosler, Christopher Hahn, Ayham Omar, Frederik Schmitt

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

Iterative Circuit Repair Against Formal Specifications.

Matthias Cosler, Frederik Schmitt, Christopher Hahn, Bernd Finkbeiner

Proceedings of the Eleventh International Conference on Learning Representations, 2023

nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models.

Matthias Cosler, Christopher Hahn, Daniel Mendoza, Frederik Schmitt, Caroline Trippel

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Formal Specifications from Natural Language.

Christopher Hahn, Frederik Schmitt, Julia J. Tillman, Niklas Metzger, Julian Siber, Bernd Finkbeiner

CoRR, 2022

Attention Flows for General Transformers.

Niklas Metzger, Christopher Hahn, Julian Siber, Frederik Schmitt, Bernd Finkbeiner

CoRR, 2022

2021

Neural Circuit Synthesis from Specification Patterns.

Frederik Schmitt, Christopher Hahn, Markus N. Rabe, Bernd Finkbeiner

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Teaching Temporal Logics to Neural Networks.

Christopher Hahn, Frederik Schmitt, Jens U. Kreber, Markus Norman Rabe, Bernd Finkbeiner

Proceedings of the 9th International Conference on Learning Representations, 2021

2020

Teaching Temporal Logics to Neural Networks.

Bernd Finkbeiner, Christopher Hahn, Markus N. Rabe, Frederik Schmitt

CoRR, 2020

2019

Advanced Factoring Strategies for Decoupled Search Using Linear Programming.

Frederik Schmitt, Daniel Gnad, Jörg Hoffmann

Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019