Poster · Paris
Property-Guided LLM Program Synthesis for Planning
- When
- Wed 9 Dec 2026, 12:30–14:30 CET
- Where
- Paris Poster Hall
- Session
- Paris Poster Session 1
- Authors
- André G. Pereira, Augusto B. Corrêa, Jendrik Seipp
- Organisations
- Federal University of Rio Grande do Sul, University of Oxford, Linköping University
- QRS classification
- Language models