nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models. - Matthias Cosler; Christopher Hahn; Daniel Mendoza; Frederik Schmitt; Caroline Trippel (CAV (2), 2023)

Iterative Circuit Repair Against Formal Specifications. - Matthias Cosler; Frederik Schmitt; Christopher Hahn; Bernd Finkbeiner (ICLR, 2023)

NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis. - Matthias Cosler; Christopher Hahn; Ayham Omar; Frederik Schmitt (TACAS (3), 2024)