Does procedural knowledge drive reasoning more than factual retrieval?
Explores whether models learn reasoning through general procedures across diverse documents rather than memorizing specific facts. This matters for understanding what pretraining data actually teaches models to reason.
The "Procedural Knowledge in Pretraining Drives Reasoning" paper analyzes which pretraining documents most influence LLM reasoning by ranking 5 million documents by their influence on model completions. The finding: the approach to reasoning that models use is unlike retrieval. For reasoning tasks, positively influential documents contain procedural knowledge — descriptions of how to get to a solution — rather than the specific facts needed for the answer.
Three contrasts with factual recall:
Generality: models rely on a broader, more general set of documents when reasoning than when answering factual questions. Factual recall draws on a narrow set of documents containing the target fact. Reasoning draws on a diffuse set of documents performing similar procedures.
Transferability: documents have similar influence on reasoning queries that require applying the same procedure to different numbers. The procedural knowledge transfers across specific instances — it's the method, not the content, that the model has learned.
Reliance distribution: the model needs to see factual information more often (across more documents) to memorize it, while procedural patterns can be learned from fewer but more diverse demonstrations.
This connects to the knowledge/reasoning layer separation. Since Why does reasoning training help math but hurt medical tasks?, the procedural knowledge finding provides the data-level explanation for the architectural finding: lower layers store memorized facts (requiring document-specific exposure), while higher layers encode procedural strategies (learnable from general demonstrations).
The implication for training data curation: reasoning capability benefits more from diverse demonstrations of procedures than from exhaustive factual coverage. Quality and diversity of reasoning demonstrations may matter more than volume for building reasoning capability — consistent with Can models improve themselves on tasks without verifiable answers?.
Inquiring lines that read this note 160
This note is a source for these research framings, grouped by the broader line of inquiry each explores. Scan the bold lines of inquiry; follow any specific question forward.
How do professional roles and expertise transform with AI-generated content?- How does AI-assisted learning create the Knowledge Custodian paradox in practice?
- What happens to professional expertise when judgment gets encoded into systems?
- How does instrumental reasoning reproduce pre-Enlightenment knowledge structures?
- How do expert priors constrain human researchers from exploring novel concepts?
- What's the difference between representing world facts and generating world mechanisms?
- How does surface salience compete with background knowledge in model inference?
- Can prompting inject new knowledge into already-trained AI models?
- Can prompting unlock compositional skills that pretraining already learned?
- How much does prompt format shape what reasoning strategy a model uses?
- How can prompting help models gather information before attempting reasoning?
- Can operationalizing theory into prompt structure improve reasoning more than theory itself?
- Do text-space skills transfer learning across different frontier models?
- When does knowledge activation fail across different model architectures?
- How does the knowing-doing gap widen as tasks become more complex?
- How does cognitive fit theory explain why different tasks need different knowledge structures?
- How does cross-domain reasoning transfer differ from domain-specific knowledge transfer?
- How do we distinguish knowledge encoding from knowledge usage in models?
- Does knowledge structure matter more than knowledge volume for model training?
- What is the difference between procedural knowledge and factual retrieval in reasoning?
- What makes knowledge-rich specialized domains structurally different from general reasoning tasks?
- What distinguishes conceptual understanding from statistical pattern matching in models?
- Do reasoning systems reuse cognitive structures across unrelated topics?
- What separates knowledge from reasoning in neural network layers?
- How do retrieval heads interact with layer-level separation of knowledge and reasoning?
- How many document exposures does procedural knowledge versus factual information require?
- Why do higher network layers capture procedural knowledge but lower layers store facts?
- Why do knowledge and reasoning train in different network layers?
- What makes procedural knowledge in documents generalize better than facts?
- Why does knowledge storage separate from reasoning circuits in neural networks?
- How do procedural versus factual knowledge differ in pretraining versus fine-tuning?
- Why do single examples trigger large reasoning improvements in models?
- What distinguishes genuine reasoning activation from memorization-assisted answer recall?
- Why does explicit theory injection work better than example-based learning for reasoning tasks?
- Can models learn to select exemplars based on reasoning skills rather than complexity?
- How much does pre-training frequency predict reasoning task performance?
- Can testing prior knowledge and checking understanding improve explanation outcomes?
- Why does general reasoning not transfer to knowledge-intensive medical domains?
- Can verifier-guided search catch factual errors that reasoning training cannot?
- Can reasoning skills trained on law improve performance in STEM?
- Does model scaling improve knowledge storage faster than reasoning ability?
- How can entailment benchmarks separate genuine reasoning from memorization effects?
- Why do models learn reasoning form instead of actual abstract inference?
- Why does imitation learning create a ceiling for reasoning capability?
- How much does training composition affect syntactic versus reasoning performance?
- Can models trained on longer contexts develop better fundamental reasoning abilities?
- How does a single training example trigger phase transitions in reasoning output?
- Why does reasoning training improve math but hurt knowledge tasks?
- Why does eliminating proxy-model filtering improve reasoning emergence in pretraining?
- Why does semantic similarity retrieval enable skill transfer to novel situations?
- Why do reasoning tasks improve more than retrieval from lookup memory?
- How does backward reasoning during training improve forward reasoning capability?
- How do timing and search internalization interact during reasoning post-training?
- Why does reasoning transfer across different numbers but factual recall does not?
- Can smaller amounts of diverse reasoning demonstrations replace exhaustive factual training data?
- Can format adaptation alone explain why reasoning enrichment improves instruction following?
- Does token-level reasoning during pretraining improve general reasoning without task-specific supervision?
- What kinds of reasoning tasks reveal the ceiling of text-only training?
- Why do students learn better from explanations than from solving problems from scratch?
- Can articulating latent reasoning processes improve transfer across domains?
- Does task diversity in pretraining data transfer reasoning better than larger models?
- Can small demonstration sets unlock general reasoning without large question data?
- How does question difficulty and breadth affect what models learn to reason?
- Why do reasoning gains resist clear attribution to specific training changes?
- What makes a background condition relevant to a specific reasoning task?
- How does inductive reasoning from partial evidence enable hypothesis formation?
- Can simple structure perturbations reliably expose memorization in reasoning models?
- Is reasoning failure caused by task complexity or training distribution gaps?
- Can retrieval improve multi-step reasoning by triggering at each uncertainty?
- Does the pretrained prior actually constrain what internalized search can discover?
- How does o1-style reasoning relate to learned search processes versus memorized solutions?
- Can models learn when to invoke search during reasoning tasks?
- How do foundation models develop task-specific heuristics instead of world models?
- Why do foundation models develop task-specific heuristics instead of causal understanding?
- Why must procedural skills consolidate before strategic reasoning can develop?
- What structural differences emerge between early generic skills and later meta-strategy skills?
- What makes reasoning capability a pre-training rather than post-training phenomenon?
- Can targeted activation steering surface latent reasoning in base models?
- How does an instruction-following LLM activate latent retrieval knowledge?
- What is the distinction between teaching reasoning how versus when to activate?
- Can pretraining signals unlock latent reasoning that post-training merely activates?
- Does latent reasoning capability exist in base models before any training?
- What distinguishes reasoning activation mechanisms across different training methods?
- Can models possess latent reasoning capability that training signals fail to unlock?
- Why does pre-training provide the raw material for emergent thinking?
- What mechanisms activate latent reasoning capabilities already present in base models?
- Can structured workflows unlock latent reasoning abilities that raw models don't show?
- Can minimal training signals unlock latent reasoning capability in base models?
- Can minimal training signals unlock reasoning already latent in pretrained representations?
- Can causal models be extended to include non-causal cognition?
- What distinguishes memorized tokens from causally necessary reasoning steps?
- Do explicit reasoning chains improve or harm performance on complex judgment tasks?
- Can latent reasoning in continuous space scale beyond supervised reasoning tasks?
- Can extended reasoning training capture individual strategic thinking styles?
- Do depth thresholds correspond to transitions between procedural and strategic learning?
- Does verbal step-by-step reflection preserve learning signals that abstraction removes?
- How does treating cognition as computation reshape education and work?
- Does reasoning require verbalization to be trainable and controllable?
- What behavioral markers signal when reasoning chains are performative?
- Why do models show performative reasoning on easy tasks but genuine reasoning on hard ones?
- Why does the same recalled information lead to different reasoning conclusions?
- Do reasoning models fail to report processes that actually influence their answers?
- Is the structure of reasoning traces learned as a shared stylistic convention?
- How much does training data format shape what reasoning strategy emerges?
- Why does training format shape reasoning strategy more than domain?
- Why does training data format shape reasoning strategy more than domain content?
- Does training data format shape model reasoning more than domain content?
- How does training format shape reasoning strategy more than content?
- How much does input format shape what reasoning strategy a model develops?
- How much does training data presentation format shape reasoning ability?
- How does training data format shape which reasoning patterns emerge in models?
- Why does training data format shape reasoning strategy more than content?
- Does training data format shape reasoning strategy more than domain content?
- How much does training data format influence reasoning strategy versus domain content?
- How does training data structure shape reasoning strategy more than domain content?
- Can episodic and semantic memory improve long-horizon task reasoning?
- How do retrieved memories differ from decision-context passages for prediction?
- How does continuous implicit memory formation differ from explicit memory encoding?
- What makes knowledge seeding equivalent to hippocampal replay in the brain?
- What makes knowledge editing different from simply finding where facts are stored?
- Why does in-weight memorization fail compared to tool-based fact access?
- What makes factual memorization less efficient than tool-based retrieval?
- How does dual-rate learning separate episodic and procedural memory in neural networks?
- Do models with unfilled memorization capacity appear to generalize falsely?
- Can the joint-training principle extend beyond memorization and generalization pairs?
- Does representational density emerge from training data exposure during pretraining?
- What distinguishes data that generalizes broadly from task-specific memorization?
- How does representational density emerge from training data familiarity?
- Why do recursive belief models require different training than logical derivation?
- Why do format and structure matter more than actual content in reasoning?
- What makes language an effective parameterization for procedural knowledge?
- Why do pretrained model priors reduce the usefulness of retrieved experience?
- Can models recover knowledge with completely unrelated retraining tasks?
Related concepts in this collection 5
This note in its neighbourhood — explore the map, then jump to a related concept in the list below.
Click a node to walk · click center to open · click Open in graph to see this note in the full knowledge graph
-
Why does reasoning training help math but hurt medical tasks?
Explores whether reasoning and knowledge rely on different network mechanisms, and why training one might undermine the other across different domains.
architectural explanation for the data-level finding: procedural knowledge lives in higher layers
-
Can models improve themselves on tasks without verifiable answers?
Most self-improvement methods require verifiable correctness signals like math or code. Can models improve on open-ended instruction tasks where right answers aren't automatically checkable? And what minimal training is needed to unlock this?
consistent: small amounts of diverse procedural demonstration catalyze reasoning
-
Do base models already contain hidden reasoning ability?
Explores whether reasoning capability emerges during pre-training as a latent feature rather than being created by post-training methods like reinforcement learning or fine-tuning.
procedural knowledge from pretraining IS the latent capability that minimal signals unlock
-
Do foundation models learn world models or task-specific shortcuts?
When transformer models predict sequences accurately, are they building genuine world models that capture underlying physics and logic? Or are they exploiting narrow patterns that fail under distribution shift?
tension: procedural knowledge may be a form of heuristic rather than genuine reasoning
-
Can text-trained models compress images better than specialized tools?
Do general-purpose language models trained only on text outperform domain-specific compressors like PNG and FLAC on their native data? This tests whether compression ability is universal or requires domain specialization.
procedural knowledge compresses better than factual knowledge (one procedure covers many instances), directly explaining why compression = generalization is more powerful for reasoning than for factual recall
Related papers in this collection 8
Papers most semantically related to this note, ranked by cosine similarity in the embedding space.
- Procedural Knowledge in Pretraining Drives Reasoning in Large Language Models
- Metacognitive Reuse: Turning Recurring LLM Reasoning Into Concise Behaviors
- RLAD: Training LLMs to Discover Abstractions for Solving Reasoning Problems
- On the Interplay of Pre-Training, Mid-Training, and RL on Reasoning Language Models
- Mining Hidden Thoughts from Texts: Evaluating Continual Pretraining with Synthetic Data for LLM Reasoning
- Eliciting Reasoning in Language Models with Cognitive Tools
- Is Chain-of-Thought Reasoning of LLMs a Mirage? A Data Distribution Lens
- What Characterizes Effective Reasoning? Revisiting Length, Review, and Structure of CoT
Original note title
procedural knowledge in pretraining documents drives reasoning generalization unlike factual retrieval which requires document-specific memorization