Get started
Author

Frederik Schmitt

Observed name: Schmitt, Frederik
ORCID: 0009-0001-7106-3725
Observed ORCID: 0009-0001-7106-3725
OpenAlex ID: A5102938426
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models
2023 · Matthias Cosler, Christopher Hahn, et al. · Lecture notes in computer science · 123
PDF
Formal Specifications from Natural Language
2022 · Hahn, Christopher, Schmitt, Frederik, et al. · arXiv (Cornell University) · 19
PDF
Teaching Temporal Logics to Neural Networks
2020 · Hahn, Christopher, Schmitt, Frederik, et al. · arXiv (Cornell University) · 12
PDF
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models
2023 · Cosler, Matthias, Hahn, Christopher, et al. · arXiv (Cornell University) · 6
PDF
Transformers Generalize to the Semantics of Logics
2020 · Christopher Hahn, Frederik Schmitt, et al. · arXiv (Cornell University) · 4
NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis
2024 · Matthias Cosler, Christopher Hahn, et al. · Lecture notes in computer science · 2
PDF
Advanced Factoring Strategies for Decoupled Search Using Linear Programming
2021 · Frederik Schmitt, Daniel Gnad, et al. · Proceedings of the International Conference on Automated Planning and Scheduling · 2
PDF
NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis
2024 · Cosler, Matthias, Hahn, Christopher, et al. · arXiv (Cornell University) · 1
PDF
Neural Circuit Synthesis from Specification Patterns
2021 · Schmitt, Frederik, Hahn, Christopher, et al. · arXiv (Cornell University) · 1
PDF
Natural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning Models
2026 · Schmitt, Frederik, Cosler, Matthias, et al. · arXiv (Cornell University)
PDF
Natural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning Models
2026 · Schmitt, Frederik, Cosler, Matthias, et al. · CISPA Helmholtz Center
Learning Better Representations From Less Data For Propositional Satisfiability.
2024 · Ghanem, Mohamed Abdelhamid, Schmitt, Frederik, et al. · Figshare
Learning Better Representations From Less Data For Propositional Satisfiability
2024 · Ghanem, Mohamed, Schmitt, Frederik, et al. · arXiv (Cornell University)
PDF
NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis (Artifact)
2023 · Cosler, Matthias, Hahn, Christopher, et al. · Zenodo (CERN European Organization for Nuclear Research)
Attention Flows for General Transformers
2022 · Metzger, Niklas, Hahn, Christopher, et al. · arXiv (Cornell University)
PDF
Künstliche Intelligenz in der Softwareentwicklung: Über die Schulter geschaut
2021 · Finkbeiner, Bernd, Schmitt, Frederik · Figshare
Works count: 22
Citation count: 171
H-index: 4
I10-index: 3
Year
Topic
Type