Poster · Atlanta
VerifyThisBench: Joint Evaluation of Code, Specifications, and Proof
- When
- Thu 10 Dec 2026, 16:30–19:30 EST
- Where
- Hall C1, Georgia World Congress Center
- Session
- Atlanta Poster Session 4
- Authors
- Xun Deng, Barış Bayazıt, Si Cheng Zhong, Andreas Veneris, Fan Long, Xujie Si
- Organisations
- University of Toronto, Microsoft
- QRS classification
- Language models