| Teaching temporal logics to neural networks C Hahn, F Schmitt, JU Kreber, MN Rabe, B Finkbeiner arXiv preprint arXiv:2003.04218, 2020 | 59* | 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 | 22 | 2023 |
| Formal specifications from natural language C Hahn, F Schmitt, JJ Tillman, N Metzger, J Siber, B Finkbeiner arXiv preprint arXiv:2206.01962, 2022 | 18 | 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 | 18 | 2021 |
| Iterative circuit repair against formal specifications M Cosler, F Schmitt, C Hahn, B Finkbeiner arXiv preprint arXiv:2303.01158, 2023 | 7 | 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 |
| 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 |
| Neural Circuit Synthesis with Pre-trained Language Models F Schmitt, M Cosler, B Finkbeiner First International Workshop on Deep Learning-aided Verification, 2023 | | 2023 |
| 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 |
Christopher HahnX, the moonshot factory (Google X)Verified email at google.com
