Scholar

Frederik Schmitt

Google Scholar ID: TQklmHYAAAAJ

Ph.D. student at CISPA Helmholtz Center for Information Security and Saarland University

Deep LearningFormal Methods

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

350

H-index

6

i10-index

5

Publications

13

Co-authors

8

list available

Contact

No contact links provided.

Publications

1 items

Natural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning Models

2026

Cited

0

Resume (English only)

Co-authors

8 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

CISPA Helmholtz Center for Information Security

Professor, Saarland Informatics Campus, Saarland University and German Research Center for AI (DFKI)

Heidelberg University, Germany & Linköping University, Sweden