Matthias Cosler

According to our database, Matthias Cosler authored at least 6 papers between 2023 and 2026.

Collaborative distances:

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

2026

Less Effort, Shorter Proofs: Reinforcement Learning for Security Protocol Analysis in Tamarin.

Matthias Cosler, Cas Cremers, Bernd Finkbeiner, Mohamed Ghanem, Niklas Medinger

CoRR, May, 2026

Natural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning Models.

Frederik Schmitt, Matthias Cosler, Niklas Metzger, Julian Siber, Vladimir Krsmanovic, Mohamed Ghanem, Bernd Finkbeiner

CoRR, May, 2026

2025

Learning Representations Through Contrastive Neural Model Checking.

Vladimir Krsmanovic, Matthias Cosler, Mohamed Ghanem, Bernd Finkbeiner

CoRR, October, 2025

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