Poster · Sydney
On-Policy Distillation with Open Property-Equivalence Reward for LLM-Based NL-to-SVA Generation
- When
- Thu 10 Dec 2026, 10:00–13:00 AEDT
- Where
- Hall 1-4, ICC Sydney
Exhibition Centre, Level 1 - Session
- Sydney Poster Session 5
- Authors
- Qingyun Zou, Yingze Li, Tianen Liu, Bingsheng He, Weng-Fai Wong
- Organisations
- National University of Singapore, Harbin Institute of Technology, Southeast University
- QRS classification
- Language models