AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms

Published in International Conference on Machine Learning, 2026