paper-with-me

Papers

HARDMath: A Benchmark Dataset for Challenging Problems in Applied Mathematics

2024-10-13 · Jingxuan Fan, Sarah Martinson, Erik Y. Wang, Kaylie Hausknecht, Jonah Brenner, Danxian Liu, Nianli Peng, Corey Wang, Michael P. Brenner

Advanced applied mathematics problems are underrepresented in existing Large Language Model (LLM) benchmark datasets. To address this, we introduce HARDMath, a dataset inspired by a graduate course on asymptotic methods, featuring challenging applied mathematics problems that require analytical approximation techniques. These problems demand a combination of mathematical reasoning, computational tools, and subjective judgment, making them difficult for LLMs. Our framework auto-generates a large number of problems with solutions validated against numerical ground truths. We evaluate both open- and closed-source LLMs on HARDMath-mini, a sub-sampled test set of 366 problems, as well as on 40 word problems formulated in applied science contexts. Even leading closed-source models like GPT-4 achieve only 43.8% overall accuracy with few-shot Chain-of-Thought prompting, and all models demonstrate significantly lower performance compared to results on existing mathematics benchmark datasets. We additionally conduct a detailed error analysis to gain insights into the failure cases of LLMs. These results demonstrate limitations of current LLM performance on advanced graduate-level applied math problems and underscore the importance of datasets like HARDMath to advance mathematical abilities of LLMs.

📄 PDF Abstract BibTeX arXiv:2410.09988

Code (1)

sarahmart/hardmath 공식 구현

Tasks

Language ModelingLanguage ModellingLarge Language ModelMathMathematical Reasoning

Methods 이 논문이 사용한 방법론

Attention 설명 없음
Dropout Dropout is a regularization technique for neural networks that drops a unit (along with connections) at training time with a specified probability $p$ (a common value is…
Layer Normalization Unlike batch normalization, Layer Normalization directly estimates the normalization statistics from the summed inputs…
Adam 설명 없음
Dense Connections Dense Connections, or Fully Connected Connections, are a type of layer in a deep neural network that use a linear operation where every input is connected to every output…
Residual Connection 설명 없음
Position-Wise Feed-Forward Layer 설명 없음
Linear Layer A Linear Layer is a projection $\mathbf{XW + b}$.

Similar Papers 제목 키워드 기반

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

2025-05-17 · James V. Roggeveen, Erik Y. Wang, Will Flintoft, Peter Donets 외

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…

MathMathematical Problem-SolvingMathematical Reasoning

HERMES: Towards Efficient and Verifiable Mathematical Reasoning in LLMs

2025-11-24 · Azim Ospanov, Zijin Feng, Jiacheng Sun, Haoli Bai 외 arxiv

Informal mathematics has been central to modern large language model (LLM) reasoning, offering flexibility and efficient construction of arguments. However, purely informal reasoning is prone to logical gaps and subtle e…

Mathematical Reasoning

Formal Mathematics Statement Curriculum Learning

2022-02-03 · Stanislas Polu, Jesse Michael Han, Kunhao Zheng, Mantas Baksys 외

We explore the use of expert iteration in the context of language modeling applied to formal mathematics. We show that at same compute budget, expert iteration, by which we mean proof search interleaved with learning, dr…

Automated Theorem ProvingLanguage ModelingLanguage Modelling

mAceReason-Math: A Dataset of High-Quality Multilingual Math Problems Ready For RLVR

2026-03-11 · Konstantin Dobler, Simon Lehnerer, Federico Scozzafava, Jonathan Janke 외 arxiv

Reinforcement Learning with Verifiable Rewards (RLVR) has been successfully applied to significantly boost the capabilities of pretrained large language models, especially in the math and logic problem domains. However, …

Reinforcement Learning

Can We Automate Diagrammatic Reasoning?

2019-02-13 · Sk. Arif Ahmed, Debi Prosad Dogra, Samarjit Kar, Partha Pratim Roy 외

Learning to solve diagrammatic reasoning (DR) can be a challenging but interesting problem to the computer vision research community. It is believed that next generation pattern recognition applications should be able to…

Visual Reasoning