HARDMath: A Benchmark Dataset for Challenging Problems in Applied Mathematics - Fan, Fan; Martinson, Sarah; Wang, Erik; Hausknecht, Kaylie; Brenner, Jonah; Liu, Danxian; Peng, Nianli; Wang, Corey; Brenner, Michael (International Conference on Learning Representations, 2025)