Matthias Cosler

According to our database, Matthias Cosler authored at least 3 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis.

Matthias Cosler, Christopher Hahn, Ayham Omar, Frederik Schmitt

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

Iterative Circuit Repair Against Formal Specifications.

Matthias Cosler, Frederik Schmitt, Christopher Hahn, Bernd Finkbeiner

Proceedings of the Eleventh International Conference on Learning Representations, 2023

nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models.

Matthias Cosler, Christopher Hahn, Daniel Mendoza, Frederik Schmitt, Caroline Trippel

Proceedings of the Computer Aided Verification - 35th International Conference, 2023