Frederik Schmitt

According to our database, Frederik Schmitt authored at least 8 papers between 2019 and 2023.

Collaborative distances:

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

2023

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

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

CoRR, 2023

Iterative Circuit Repair Against Formal Specifications.

Matthias Cosler, Frederik Schmitt, Christopher Hahn, Bernd Finkbeiner

CoRR, 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