HARDMath: A Benchmark Dataset for Challenging Problems in Applied Mathematics. - Jingxuan Fan; Sarah Martinson; Erik Y. Wang; Kaylie Hausknecht; Jonah Brenner; Danxian Liu; Nianli Peng; Corey Wang; Michael P. Brenner (ICLR, 2025)