Loading...
The system can't perform the operation now. Try again later.
Citations per year
Duplicate citations
The following articles are merged in Scholar. Their
combined citations
are counted only for the first article.
Merged citations
This "Cited by" count includes citations to the following articles in Scholar. The ones marked
*
may be different from the article in the profile.
Add co-authors
Co-authors
Follow
New articles by this author
New citations to this author
New articles related to this author's research
Email address for updates
Done
My profile
My library
Metrics
Alerts
Settings
Get journal articles
Get journal articles
Get my own profile
Cited by
All
Since 2019
Citations
51
51
h-index
2
2
i10-index
2
2
0
34
17
2023
2024
17
34
Co-authors
Frederik Schmitt
Ph.D. student at CISPA Helmholtz Center for Information Security and Saarland University
Verified email at cispa.de
Christopher Hahn
X, the moonshot factory (Google X)
Verified email at google.com
Bernd Finkbeiner
Professor of Computer Science, CISPA Helmholtz Center for Information Security
Verified email at cispa.de
Follow
Matthias Cosler
PhD Student, CISPA Helmholtz Center for Information Security
Verified email at cispa.de -
Homepage
Articles
Cited by
Co-authors
Title
Sort
Sort by citations
Sort by year
Sort by title
Cited by
Cited by
Year
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
40
2023
Iterative Circuit Repair Against Formal Specifications
M Cosler, F Schmitt, C Hahn, B Finkbeiner
arXiv preprint arXiv:2303.01158
, 2023
10
2023
Neural Circuit Synthesis with Pre-trained Language Models
F Schmitt, M Cosler, B Finkbeiner
First International Workshop on Deep Learning-aided Verification
, 2023
1
2023
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
The system can't perform the operation now. Try again later.
Articles 1–4
Show more
Privacy
Terms
Help
About Scholar
Search help