Frederik Schmitt
Contact
| Reactive Systems Group |
| Saarland University |
| Building: E 9.1, Room: 1.09 |
| Phone: | +49 681 87083 2462 |
| eMail: | frederik.schmitt at cispa.de |
| Office Hours: | Whenever my door is open |
About Me
I am a Ph.D. student in the Reactive Systems Group at CISPA Helmholtz Center for Information Security and at the Computer Science Department of Saarland University. I am also a member of the Saarbrücken Graduate School of Computer Science.
Publications
Learning Better Representations from Less Data for Propositional Satisfiability
With Mohamed Ghanem, Julian Siber, and Bernd Finkbeiner.NeurIPS Spotlight Paper.
Thirty-Eighth Annual Conference on Neural Information Processing Systems (NeurIPS 2024)
NeuroSynt: A Neuro-Symbolic Portfolio Solver for Reactive Synthesis
With Matthias Cosler, Christopher Hahn and Ayham Omar30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2024).
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models
With Matthias Cosler, Christopher Hahn, Daniel Mendoza and Caroline Trippel.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).
Student Projects
- Nadia Asmi, On the Relationship between Transformer Architectures and Regular Languages, Bachelor Thesis
- Mohamed Ghanem, NeuRes: A Neural Resolution Prover of Unsatisfiability, Master Thesis
- Angelina Göbl, Learning Temporal Properties from Few, Positive Examples, Bachelor Thesis
- Benedict Böttger, Synthesizing Verifiable Code for Large Specifications Using Few-Shot Learning, Bachelor Thesis
- Julia Tillman, Formal Specifications from Natural Language, Research Immersion Lab
- Matthias Cosler, Repairing Circuits with Transformers, Master Thesis
Teaching
| Summer 2022 | Teaching Assistant for Neural-Symbolic Computing at Reactive Systems Group |
| Summer 2020 | Organizer of Didactic Seminar for Teaching Assistants |
| Summer 2020 | Teaching 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 |