TY  - RPRT
TI  - AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms
AU  - Haoyu Zhao
AU  - Ziran Yang
AU  - Jiawei Li
AU  - Deyuan He
AU  - Zenan Li
AU  - Chi Jin
AU  - Venugopal V. Veeravalli
AU  - Aarti Gupta
AU  - Sanjeev Arora
PY  - 2026
UR  - https://arxiv.org/abs/2602.09464
ID  - 2602.09464
ER  -