TY  - RPRT
TI  - Natural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning Models
AU  - Frederik Schmitt
AU  - Matthias Cosler
AU  - Niklas Metzger
AU  - Julian Siber
AU  - Vladimir Krsmanovic
AU  - Mohamed Ghanem
AU  - Bernd Finkbeiner
PY  - 2026
UR  - https://arxiv.org/abs/2605.15131
ID  - 2605.15131
ER  -