3 ms·AlgoVeri: An Aligned Benchmark for Verified Code Gen. On Classical Algorithms2 points by matt_d 7mo ago