This is the repository for HARDMath: A Benchmark Dataset for Challenging Problems in Applied Mathematics. The updated paper is available here: HARDMath. This repository hosts the full dataset and the ...