Frederik Schmitt

Identifiers

• name variant Frederik Schmitt 0.50 · backfill

Papers (1)

1. Natural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning Models cs.LG · 2026 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Bernd Finkbeiner 1 shared papers
• Julian Siber 1 shared papers
• Matthias Cosler 1 shared papers
• Mohamed Ghanem 1 shared papers
• Niklas Metzger 1 shared papers
• Vladimir Krsmanovic 1 shared papers