Poster · Sydney
AuxGeoAgent: Synthesizing Challenging Geometry Proving Data via Planning and Symbolic Deduction
- 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
- Junyi Liu, Jia Guo, Stanley Kok, Zihao Wang, zujie wen, Zhiqiang Zhang
- Organisations
- National University of Singapore, Ant Group
- QRS classification
- Language models