paper / prfsanjeevarora / May 13 / failedAlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms
paper / prfsanjeevarora / May 13 / failedEscaping the Cognitive Well: Efficient Competition Math with Off-the-Shelf Models