AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms | Read Paper on Bytez