Poster · Atlanta
MathlibPR: Pull Request Merge-Outcome Benchmark for Formal Mathematical Libraries
- When
- Fri 11 Dec 2026, 16:30–19:30 EST
- Where
- Hall C1, Georgia World Congress Center
- Session
- Atlanta Poster Session 6
- Authors
- Zixuan Xie, Xinyu Liu, Shangtong Zhang
- Organisations
- University of Virginia
- QRS classification
- Agentic AI, Language models