팔로우
Matthias Cosler
Matthias Cosler
PhD Student, CISPA Helmholtz Center for Information Security
cispa.de의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models
M Cosler, C Hahn, D Mendoza, F Schmitt, C Trippel
arXiv preprint arXiv:2303.04864, 2023
252023
Iterative Circuit Repair Against Formal Specifications
M Cosler, F Schmitt, C Hahn, B Finkbeiner
arXiv preprint arXiv:2303.01158, 2023
72023
NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis
M Cosler, C Hahn, A Omar, F Schmitt
International Conference on Tools and Algorithms for the Construction and …, 2024
2024
Neural Circuit Synthesis with Pre-trained Language Models
F Schmitt, M Cosler, B Finkbeiner
First International Workshop on Deep Learning-aided Verification, 2023
2023
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–4