Frederik Schmitt

A profile picture of Frederik Schmitt

Contact

Reactive Systems Group
Saarland University
Building: E 1.1, Room: 1.13
Phone: +49 681 302 5662
eMail: frederik.schmitt at cispa.de
Office Hours: Whenever my door is open

Publications

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).

Preprints

Formal Specifications from Natural Language

With Christopher Hahn, Julia J. Tillman, Niklas Metzger, Julian Siber, and Bernd Finkbeiner.

Contributed Talks & Workshops

Neural Circuit Synthesis with Pre-trained Language Models

With Matthias Cosler and Bernd Finkbeiner.
The First International Workshop on Deep Learning-aided Verification (DAV 2023).

Deep Learning for Temporal Logics

With Christopher Hahn, Jens U. Kreber, Markus N. Rabe, and Bernd Finkbeiner.
6th Conference on Artificial Intelligence and Theorem Proving (AITP 2021).

Teaching

Summer 2022 Assistant for Neural-Symbolic Computing at Reactive Systems Group
Summer 2020 Organizer of Didactic Seminar for Teaching Assistants
Summer 2020 Assistant for Neural-Symbolic Computing at Reactive Systems Group
Summer 2019 Organizer and Coach for Mathematics Preparatory Course at Saarland University
Winter 2017/2018 Head Teaching Assistant for Programming 1 at Reactive Systems Group
which received the Busy Beaver award for outstanding teaching performance
Summer 2017 Coach for Mathematics Preparatory Course at Saarland University
which received the BESTE award for student initiatives and extraordinary commitment
Winter 2016/2017 Teaching Assistant for Programming 1 at Dependable Systems and Software Chair
Summer 2016 Teaching Assistant for Mathematics Preparatory Course at Saarland University