@misc{indiciaef7c30d071e5d,
  title = {Natural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning Models},
  author = {Frederik Schmitt and Matthias Cosler and Niklas Metzger and Julian Siber and Vladimir Krsmanovic and Mohamed Ghanem and Bernd Finkbeiner},
  year = {2026},
  url = {https://arxiv.org/abs/2605.15131},
  note = {Source identifier: 2605.15131}
}