Matthias Cosler

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 6

Top Topics

Portfolio Selection

Written In Natural Language

Formal Specification

Top Venues

Publications

Matthias Cosler, Christopher Hahn, Ayham Omar, Frederik Schmitt
NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis. TACAS (3) (2024)
Matthias Cosler, Christopher Hahn, Ayham Omar, Frederik Schmitt
NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis. CoRR (2024)
Matthias Cosler, Christopher Hahn, Daniel Mendoza, Frederik Schmitt, Caroline Trippel
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models. CoRR (2023)
Matthias Cosler, Christopher Hahn, Daniel Mendoza, Frederik Schmitt, Caroline Trippel
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models. CAV (2) (2023)
Matthias Cosler, Frederik Schmitt, Christopher Hahn, Bernd Finkbeiner
Iterative Circuit Repair Against Formal Specifications. ICLR (2023)
Matthias Cosler, Frederik Schmitt, Christopher Hahn, Bernd Finkbeiner
Iterative Circuit Repair Against Formal Specifications. CoRR (2023)