Poster · Sydney
DAPS: Dependency-Aware Premise Selection for LLM Theorem Proving
- When
- Wed 9 Dec 2026, 10:00–13:00 AEDT
- Where
- Hall 1-4, ICC Sydney
Exhibition Centre, Level 1 - Session
- Sydney Poster Session 3
- Authors
- Zixuan Chen, Wenyuan Jiang, Junling Wang, Mrinmaya Sachan, Yinya Huang
- Organisations
- ETH Zurich
- QRS classification
- Language models