Poster · Sydney
SpecBridge: Learning Natural-Language Formalization Plans for the Formal Specification Synthesis Task
- When
- Tue 8 Dec 2026, 17:00–20:00 AEDT
- Where
- Hall 1-4, ICC Sydney
Exhibition Centre, Level 1 - Session
- Sydney Poster Session 2
- Authors
- Wenjie Zhang, Yun Lin, Zining He, Meiqi Wu, Jin Song Dong
- Organisations
- National University of Singapore, Shanghai Jiao Tong University
- QRS classification
- Language models