| 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 | 84 | 2023 |
| Teaching temporal logics to neural networks C Hahn, F Schmitt, JU Kreber, MN Rabe, B Finkbeiner arXiv preprint arXiv:2003.04218, 2020 | 79 | 2020 |
| Formal specifications from natural language C Hahn, F Schmitt, JJ Tillman, N Metzger, J Siber, B Finkbeiner arXiv preprint arXiv:2206.01962, 2022 | 42 | 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 | 27 | 2021 |
| Iterative circuit repair against formal specifications M Cosler, F Schmitt, C Hahn, B Finkbeiner arXiv preprint arXiv:2303.01158, 2023 | 14 | 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 | 3 | 2024 |
| Neural circuit synthesis with pre-trained language models F Schmitt, M Cosler, B Finkbeiner First International Workshop on Deep Learning-aided Verification, 2023 | 2 | 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 |
| Attention flows for general transformers N Metzger, C Hahn, J Siber, F Schmitt, B Finkbeiner arXiv preprint arXiv:2205.15389, 2022 | 1 | 2022 |
| Künstliche Intelligenz in der Softwareentwicklung: Über die Schulter geschaut B Finkbeiner, F Schmitt iX Magazin für professionelle Informationstechnik, 40-43, 2021 | 1 | 2021 |
| Learning Better Representations From Less Data For Propositional Satisfiability M Ghanem, F Schmitt, J Siber, B Finkbeiner arXiv preprint arXiv:2402.08365, 2024 | | 2024 |
| Deep Learning for Temporal Logics F Schmitt, C Hahn, JU Kreber, MN Rabe, B Finkbeiner Unpublished, 2021 | | 2021 |
Christopher HahnX, the moonshot factory (Google X)Verified email at google.com