Exploring the Limits of Fine-grained LLM-based Physics Inference via Premise Removal Interventions
On the map: LLM reasoning → Spatial and embodied reasoning
Abstract (arXiv)
Language models (LMs) can hallucinate when performing complex mathematical reasoning. Physics provides a rich domain for assessing their mathematical capabilities, where physical context requires that any symbolic manipulation satisfies complex semantics (textite.g., units, tensorial order). In this work, we systematically remove crucial context from prompts to force instances where model inference may be algebraically coherent, yet unphysical. We assess LM capabilities in this domain using a curated dataset encompassing multiple notations and Physics subdomains. Further, we improve zero-shot scores using synthetic in-context examples, and demonstrate non-linear degradation of derivation quality with perturbation strength via the progressive omission of supporting premises. We find that the models' mathematical reasoning is not physics-informed in this setting, where physical context is predominantly ignored in favour of reverse-engineering solutions.
Key facts. Cited by 3 papers in the map (data through 7 Oct 2026). Placed in Spatial and embodied reasoning, one of 17 directions in LLM reasoning. Builds on 42 of its 87 references that are in the map. First posted on arXiv 29 Apr 2024.
Builds on
42 of 87 references.
References · 42
- 2018BERT: Pre-training of Deep Bidirectional Transformers for Language Understandingcited by 40,204
- 2020Language Models are Few-Shot Learnerscited by 32,199
- 2019Exploring the Limits of Transfer Learning with a Unified Text-to-Text Transformercited by 14,491
- 2021Evaluating Large Language Models Trained on Codecited by 8,053
- 2022PaLM: Scaling Language Modeling with Pathwayscited by 5,304
- 2021Measuring Mathematical Problem Solving With the MATH Datasetcited by 5,203
- 2022Scaling Instruction-Finetuned Language Modelscited by 2,997
- 2022Solving Quantitative Reasoning Problems with Language Modelscited by 1,359
- 2022Program of Thoughts Prompting: Disentangling Computation from Reasoning for Numerical Reasoning Taskscited by 1,057
- 2023Harnessing the Power of LLMs in Practice: A Survey on ChatGPT and Beyondcited by 409
- 2023Llemma: An Open Language Model For Mathematicscited by 385
- 2020Generative Language Modeling for Automated Theorem Provingcited by 379
30 more
- 2019Analysing Mathematical Reasoning Abilities of Neural Modelscited by 331
- 2019Deep Learning for Symbolic Mathematicscited by 266
- 2020Transformers as Soft Reasoners over Languagecited by 265
- 2022Autoformalization with Large Language Modelscited by 252
- 2023Evaluating the Logical Reasoning Ability of ChatGPT and GPT-4cited by 202
- 2023OpenAGI: When LLM Meets Domain Expertscited by 196
- 2022HyperTree Proof Search for Neural Theorem Provingcited by 192
- 2024OpenMathInstruct-1: A 1.8 Million Math Instruction Tuning Datasetcited by 143
- 2023How well do Large Language Models perform in Arithmetic tasks?cited by 130
- 2022Few-shot training LLMs for project-specific code-summarizationcited by 128
- 2023Solving Math Word Problems by Combining Language Models With Symbolic Solverscited by 124
- 2022Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Proverscited by 97
- 2021A Neural Network Solves, Explains, and Generates University Math Problems by Program Synthesis and Few-Shot Learning at Human Levelcited by 96
- 2021NaturalProofs: Mathematical Theorem Proving in Natural Languagecited by 80
- 2022NaturalProver: Grounded Mathematical Proof Generation with Language Modelscited by 72
- 2022A Causal Framework to Quantify the Robustness of Mathematical Reasoning with Language Modelscited by 68
- 2022On the Limitations of Reference-Free Evaluations of Generated Textcited by 52
- 2017Premise Selection for Theorem Proving by Deep Graph Embeddingcited by 44
- 2020On the Limitations of Cross-lingual Encoders as Exposed by Reference-Free Machine Translation Evaluationcited by 36
- 2021MWP-BERT: Numeracy-Augmented Pre-training for Math Word Problem Solvingcited by 32
- 2023An Independent Evaluation of ChatGPT on Mathematical Word Problems (MWP)cited by 31
- 2022CTRLEval: An Unsupervised Reference-Free Metric for Evaluating Controlled Text Generationcited by 29
- 2021Symbolic Brittleness in Sequence Models: on Systematic Generalization in Symbolic Mathematicscited by 27
- 2020Natural Language Premise Selection: Finding Supporting Statements for Mathematical Textcited by 13
- 2023Learning Multi-Step Reasoning by Solving Arithmetic Taskscited by 12
- 2019The Use of Deep Learning for Symbolic Integration: A Review of (Lample and Charton, 2019)cited by 11
- 2023Multi-Operational Mathematical Derivations in Latent Spacecited by 6
- 2021Similarity-Based Equational Inference in Physicscited by 4
- 2022Enhancing Neural Mathematical Reasoning by Abductive Combination with Symbolic Librarycited by 4
- 2018Automatic Derivation Of Formulas Using Reforcement Learningcited by 3
Built on by
Citing papers per year: 2024: 1; 2025: 0; 2026: 2.
3 papers.
- 2026FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Leancited by 4
- 2024Building Trustworthy AI: Transparent AI Systems via Large Language Models, Ontologies, and Logical Reasoning (TranspNet)cited by 1
- 2026DeepInflation: an AI agent for research and model discovery of inflationcited by 1
- 2026FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean24 Apr 2026
- 2026DeepInflation: an AI agent for research and model discovery of inflation14 Jan 2026
- 2024Building Trustworthy AI: Transparent AI Systems via Large Language Models, Ontologies, and Logical Reasoning (TranspNet)13 Nov 2024
Similar, not cited
Close in wording, no citation either way
- 2025PhysicsEval: Inference-Time Techniques to Improve the Reasoning Proficiency of Large Language Models on Physics Problems
- 2026PhysMent: An Interactive Approach For LLM Reasoning In Physics Problems
- 2025ABench-Physics: Benchmarking Physical Reasoning in LLMs via High-Difficulty and Dynamic Physics Problems
- 2026Scientific Logicality Enriched Methodology for LLM Reasoning: A Practice in Physics
- 2025Symbolic or Numerical? Understanding Physics Problem Solving in Reasoning LLMs
- 2023NEWTON: Are Large Language Models Capable of Physical Reasoning?
- 2025Can Theoretical Physics Research Benefit from Language Agents?
- 2025On LLM-Based Scientific Inductive Reasoning Beyond Equations