paper-with-me

홈 › Papers

Procedural Knowledge in Pretraining Drives Reasoning in Large Language Models

2024-11-19 · Laura Ruis, Maximilian Mozes, Juhan Bae, Siddhartha Rao Kamalakara, Dwarak Talupuru, Acyr Locatelli, Robert Kirk, Tim Rocktäschel, Edward Grefenstette, Max Bartolo

The capabilities and limitations of Large Language Models have been sketched out in great detail in recent years, providing an intriguing yet conflicting picture. On the one hand, LLMs demonstrate a general ability to solve problems. On the other hand, they show surprising reasoning gaps when compared to humans, casting doubt on the robustness of their generalisation strategies. The sheer volume of data used in the design of LLMs has precluded us from applying the method traditionally used to measure generalisation: train-test set separation. To overcome this, we study what kind of generalisation strategies LLMs employ when performing reasoning tasks by investigating the pretraining data they rely on. For two models of different sizes (7B and 35B) and 2.5B of their pretraining tokens, we identify what documents influence the model outputs for three simple mathematical reasoning tasks and contrast this to the data that are influential for answering factual questions. We find that, while the models rely on mostly distinct sets of data for each factual question, a document often has a similar influence across different reasoning questions within the same task, indicating the presence of procedural knowledge. We further find that the answers to factual questions often show up in the most influential data. However, for reasoning questions the answers usually do not show up as highly influential, nor do the answers to the intermediate reasoning steps. When we characterise the top ranked documents for the reasoning questions qualitatively, we confirm that the influential documents often contain procedural knowledge, like demonstrating how to obtain a solution using formulae or code. Our findings indicate that the approach to reasoning the models use is unlike retrieval, and more like a generalisable strategy that synthesises procedural knowledge from documents doing a similar form of reasoning.

📄 PDF Abstract BibTeX arXiv:2411.12580

Code (2)

pomonam/kronfluence 공식 구현 pytorch
zhaoolee/garss pytorch

Tasks

Mathematical Reasoning

Methods 이 논문이 사용한 방법론

SET Dynamic Sparse Training method where weight mask is updated randomly periodically

Similar Papers 제목 키워드 기반

Procedural Pretraining: Warming Up Language Models with Abstract Data

2026-01-29 · Liangze Jiang, Zachary Shinnick, Anton van den Hengel, Hemanth Saratchandran 외 arxiv

Pretraining language models directly on web-scale corpora is the de facto paradigm. We study an alternative where the model is initially exposed to abstract structured data to ease the subsequent acquisition of rich sema…

Behavior-Aware Item Modeling via Dynamic Procedural Solution Representations for Knowledge Tracing

2026-04-09 · Jun Seo, Sangwon Ryu, Heejin Do, Hyounghun Kim 외 arxiv

Knowledge Tracing (KT) aims to predict learners' future performance from past interactions. While recent KT approaches have improved via learning item representations aligned with Knowledge Components, they overlook the …

Knowledge Tracing

Procedural Knowledge at Scale Improves Reasoning

2026-04-01 · Di Wu, Devendra Singh Sachan, Wen-tau Yih, Mingda Chen arxiv

Test-time scaling has emerged as an effective way to improve language models on challenging reasoning tasks. However, most existing methods treat each problem in isolation and do not systematically reuse knowledge from p…

The Role of Semantic Parsing in Understanding Procedural Text

2023-02-14 · Hossein Rajaby Faghihi, Parisa Kordjamshidi, Choh Man Teng, James Allen

In this paper, we investigate whether symbolic semantic representations, extracted from deep semantic parsers, can help reasoning over the states of involved entities in a procedural text. We consider a deep semantic par…

Semantic ParsingSemantic Role Labeling

NeSyPr: Neurosymbolic Proceduralization For Efficient Embodied Reasoning

2025-10-22 · Wonje Choi, Jooyoung Kim, Honguk Woo arxiv

We address the challenge of adopting language models (LMs) for embodied tasks in dynamic environments, where online access to large-scale inference engines or symbolic planners is constrained due to latency, connectivity…