Scholar
Frederik Schmitt
Google Scholar ID: TQklmHYAAAAJ
Ph.D. student at CISPA Helmholtz Center for Information Security and Saarland University
Deep Learning
Formal Methods
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
350
H-index
6
i10-index
5
Publications
13
Co-authors
8
list available
Publications
1 items
Natural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning Models
2026
Cited
0
Co-authors
6 total
Christopher Hahn
Google DeepMind
Bernd Finkbeiner
Professor of Computer Science, CISPA Helmholtz Center for Information Security
Matthias Cosler
PhD Student, CISPA Helmholtz Center for Information Security
Julian Siber
CISPA Helmholtz Center for Information Security
Joerg Hoffmann
Professor, Saarland Informatics Campus, Saarland University and German Research Center for AI (DFKI)
Daniel Gnad
Heidelberg University, Germany & Linköping University, Sweden
