Poster · Sydney
Verifiable LLM-Guided Focal SMT Solving for Quantified Arrays
- When
- Tue 8 Dec 2026, 10:00–13:00 AEDT
- Where
- Hall 1-4, ICC Sydney
Exhibition Centre, Level 1 - Session
- Sydney Poster Session 1
- Authors
- Kunhang Lv, Rui Han, Fuqi Jia, Yuhang Dong, Feifei Ma, Jian Zhang
- Organisations
- Chinese Academy of Sciences, University of Chinese Academy of Sciences
- QRS classification
- Language models