Poster · Sydney
Natural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning Models
- When
- Thu 10 Dec 2026, 17:00–20:00 AEDT
- Where
- Hall 1-4, ICC Sydney
Exhibition Centre, Level 1 - Session
- Sydney Poster Session 6
- Authors
- Frederik Schmitt, Matthias Cosler, Niklas Metzger, Julian Siber, Vladimir Krsmanovic, Mohamed Ghanem, Bernd Finkbeiner
- Organisations
- CISPA Helmholtz Center, Technical University of Munich
- QRS classification
- Language models