HARDMath2: A Benchmark for Applied Mathematics Built by Students as Part of a Graduate Class
Large language models (LLMs) have shown remarkable progress in mathematical problem-solving, but evaluation has largely focused on problems that have exact analytical solutions or involve formal proofs, often overlooking approximation-based problems ubiquitous in applied science and engineering. To…