| 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 | 36 | 2023 |
| Iterative Circuit Repair Against Formal Specifications M Cosler, F Schmitt, C Hahn, B Finkbeiner arXiv preprint arXiv:2303.01158, 2023 | 9 | 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 |
Frederik SchmittPh.D. student at CISPA Helmholtz Center for Information Security and Saarland University在 cispa.de 的电子邮件经过验证
