Frederik Schmitt
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2021–2024
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | TACAS | NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis. | Matthias Cosler, Christopher Hahn, Ayham Omar, Frederik Schmitt |
| 2023 | CAV | nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models. | Matthias Cosler, Christopher Hahn, Daniel Mendoza, Frederik Schmitt, Caroline Trippel |
| 2023 | ICLR | Iterative Circuit Repair Against Formal Specifications. | Matthias Cosler, Frederik Schmitt, Christopher Hahn, Bernd Finkbeiner |
| 2021 | ICLR | Teaching Temporal Logics to Neural Networks. | Christopher Hahn, Frederik Schmitt, Jens U. Kreber, Markus Norman Rabe, Bernd Finkbeiner |