Erik Y. Wang — accepted AI-conference papers

2025

HARDMath2: A Benchmark for Applied Mathematics Built by Students as Part of a Graduate Class

James V Roggeveen, Erik Y. Wang, David Ettel, Will Flintoft, Peter Donets, Raglan Ward +39

NeurIPS 2025poster

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…

Cited by 0 Source ↗code ↗Scholar ↗

2025

HARDMath: A Benchmark Dataset for Challenging Problems in Applied Mathematics

Jingxuan Fan, Sarah Martinson, Erik Y. Wang, Kaylie Hausknecht, Jonah Brenner, Danxian Liu +3

ICLR 2025poster

Advanced applied mathematics problems are underrepresented in existing Large Language Model (LLM) benchmark datasets. To address this, we introduce $\textbf{HARDMath}$, a dataset inspired by a graduate course on asymptotic methods, featuring challenging applied mathematics problems that require anal…

Cited by 4 Source ↗PDF ↗code ↗Scholar ↗