Teaching temporal logics to neural networks C Hahn, F Schmitt, JU Kreber, MN Rabe, B Finkbeiner arXiv preprint arXiv:2003.04218, 2020 | 66 | 2020 |
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models M Cosler, C Hahn, D Mendoza, F Schmitt, C Trippel International Conference on Computer Aided Verification, 383-396, 2023 | 38 | 2023 |
Formal specifications from natural language C Hahn, F Schmitt, JJ Tillman, N Metzger, J Siber, B Finkbeiner arXiv preprint arXiv:2206.01962, 2022 | 24 | 2022 |
Neural circuit synthesis from specification patterns F Schmitt, C Hahn, MN Rabe, B Finkbeiner Advances in Neural Information Processing Systems 34, 15408-15420, 2021 | 21 | 2021 |
Iterative circuit repair against formal specifications M Cosler, F Schmitt, C Hahn, B Finkbeiner arXiv preprint arXiv:2303.01158, 2023 | 9 | 2023 |
Advanced Factoring Strategies for Decoupled Search using Linear Programming F Schmitt, D Gnad, J Hoffmann Proceedings of the International Conference on Automated Planning and …, 2019 | 2* | 2019 |
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 |
Attention flows for general transformers N Metzger, C Hahn, J Siber, F Schmitt, B Finkbeiner arXiv preprint arXiv:2205.15389, 2022 | 1 | 2022 |
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 |
NeuRes: Learning Proofs of Propositional Satisfiability M Ghanem, F Schmitt, J Siber, B Finkbeiner arXiv preprint arXiv:2402.08365, 2024 | | 2024 |
Improving Event Selection with Machine Learning Methods for the B±→ K±a, a→ γγ Search at Belle II F Schmitt | | 2022 |
Deep Learning for Temporal Logics F Schmitt, C Hahn, JU Kreber, MN Rabe, B Finkbeiner Unpublished, 2021 | | 2021 |
Künstliche Intelligenz in der Softwareentwicklung: Über die Schulter geschaut B Finkbeiner, F Schmitt iX Magazin für professionelle Informationstechnik, 40-43, 2021 | | 2021 |