paper-with-me

Papers

Learning Beyond Pattern Matching? Assaying Mathematical Understanding in LLMs

2024-05-24 · Siyuan Guo, Aniket Didolkar, Nan Rosemary Ke, Anirudh Goyal, Ferenc Huszár, Bernhard Schölkopf

We are beginning to see progress in language model assisted scientific discovery. Motivated by the use of LLMs as a general scientific assistant, this paper assesses the domain knowledge of LLMs through its understanding of different mathematical skills required to solve problems. In particular, we look at not just what the pre-trained model already knows, but how it learned to learn from information during in-context learning or instruction-tuning through exploiting the complex knowledge structure within mathematics. Motivated by the Neural Tangent Kernel (NTK), we propose \textit{NTKEval} to assess changes in LLM's probability distribution via training on different kinds of math data. Our systematic analysis finds evidence of domain understanding during in-context learning. By contrast, certain instruction-tuning leads to similar performance changes irrespective of training on different data, suggesting a lack of domain understanding across different skills.

📄 PDF Abstract BibTeX arXiv:2405.15485

Code (0)

등록된 구현이 없습니다.

Tasks

In-Context LearningLanguage ModelingLanguage ModellingMathscientific discovery

Similar Papers 제목 키워드 기반

A Machine Learning Approach for Material Type Logging and Chemical Assaying from Autonomous Measure-While-Drilling (MWD) Data

2022-02-07 · Rami N Khushaba, Arman Melkumyan, Andrew J Hill

Understanding the structure and mineralogical composition of a region is an essential step in mining, both during exploration (before mining) and in the mining process. During exploration, sparse but high-quality data ar…

Catch Me If You Can: How Smaller Reasoning Models Pretend to Reason with Mathematical Fidelity

2025-11-29 · Subramanyam Sahoo, Vinija Jain, Saanidhya Vats, Siddharth Mohapatra 외 arxiv

Current evaluation of mathematical reasoning in language models relies primarily on answer accuracy, potentially masking fundamental failures in logical computation. We introduce a diagnostic framework that distinguishes…

Mathematical Reasoning

A Unified Framework for Integer Programming Formulation of Graph Matching Problems

2024-06-11 · Bahram Alidaee, Haibo Wang, Hugh Sloan

Graph theory has been a powerful tool in solving difficult and complex problems arising in all disciplines. In particular, graph matching is a classical problem in pattern analysis with enormous applications. Many graph …

Graph Matching

Sulcal Pattern Matching with the Wasserstein Distance

2023-07-01 · Zijian Chen, Soumya Das, Moo K. Chung

We present the unified computational framework for modeling the sulcal patterns of human brain obtained from the magnetic resonance images. The Wasserstein distance is used to align the sulcal patterns nonlinearly. These…

Image Registration

LiveMathematicianBench: A Live Benchmark for Mathematician-Level Reasoning with Proof Sketches

2026-04-02 · Linyang He, Qiyao Yu, Hanze Dong, Baohao Liao 외 arxiv

Mathematical reasoning is a hallmark of human intelligence, and whether large language models (LLMs) can meaningfully perform it remains a central question in artificial intelligence and cognitive science. As LLMs are in…

Mathematical Reasoning