Frederik Schmitt

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

With Matthias Cosler, Christopher Hahn, Daniel Mendoza and Caroline Trippel.
To appear at the 35th International Conference on Computer Aided Verification (CAV 2023).

Iterative Circuit Repair Against Formal Specifications

With Matthias Cosler, Christopher Hahn, and Bernd Finkbeiner.
Eleventh International Conference on Learning Representations (ICLR 2023).

Neural Circuit Synthesis from Specification Patterns

With Christopher Hahn, Markus N. Rabe, and Bernd Finkbeiner.
Thirty-fifth Conference on Neural Information Processing Systems (NeurIPS 2021).

Teaching Temporal Logics to Neural Networks

With Christopher Hahn, Jens U. Kreber, Markus N. Rabe, and Bernd Finkbeiner.
Ninth International Conference on Learning Representations (ICLR 2021).

Advanced Factoring Strategies for Decoupled Search Using Linear Programming

With Daniel Gnad and Jörg Hoffmann.
Twenty-Ninth International Conference on Automated Planning and Scheduling (ICAPS 2019).

Deep Learning for Temporal Logics

6th Conference on Artificial Intelligence and Theorem Proving (AITP 2021).