Sotabase
Home
Researchers
Career
·
PhD Student
,
CISPA Helmholtz Center for Information Security
2024–
·
Graduate Research Intern
,
NVIDIA
2016–2016
·
Verification Graduate Intern
,
IBM
2013–
·
Undergraduate Technical Intern
,
Intel
2012–
·
Undergraduate Intern
,
Blue Cross Blue Shield
2011–
Publications
(6)
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models
International Conference on Computer Aided Verification · 2023
105
cited
Iterative Circuit Repair Against Formal Specifications
International Conference on Learning Representations · 2023
12
cited
Neural Circuit Synthesis with Pre-trained Language Models
2023
3
cited
NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis
International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2024
1
cited
Learning Representations Through Contrastive Neural Model Checking
arXiv.org · 2025
Unstructured Natural Language to Temporal Logics with Large Language Models
Sotabase
Matthias Cosler | Researcher Profile | Sotabase | Sotabase