mlsanityData to 7 Oct 2026

Exploring the Limits of Fine-grained LLM-based Physics Inference via Premise Removal Interventions

arXiv 2404.18384 ↗First posted 29 Apr 2024cs.CLcited by 3

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

  1. 2018BERT: Pre-training of Deep Bidirectional Transformers for Language Understandingcited by 40,204
  2. 2020Language Models are Few-Shot Learnerscited by 32,199
  3. 2019Exploring the Limits of Transfer Learning with a Unified Text-to-Text Transformercited by 14,491
  4. 2021Evaluating Large Language Models Trained on Codecited by 8,053
  5. 2022PaLM: Scaling Language Modeling with Pathwayscited by 5,304
  6. 2021Measuring Mathematical Problem Solving With the MATH Datasetcited by 5,203
  7. 2022Scaling Instruction-Finetuned Language Modelscited by 2,997
  8. 2022Solving Quantitative Reasoning Problems with Language Modelscited by 1,359
  9. 2022Program of Thoughts Prompting: Disentangling Computation from Reasoning for Numerical Reasoning Taskscited by 1,057
  10. 2023Harnessing the Power of LLMs in Practice: A Survey on ChatGPT and Beyondcited by 409
  11. 2023Llemma: An Open Language Model For Mathematicscited by 385
  12. 2020Generative Language Modeling for Automated Theorem Provingcited by 379
30 more
  1. 2019Analysing Mathematical Reasoning Abilities of Neural Modelscited by 331
  2. 2019Deep Learning for Symbolic Mathematicscited by 266
  3. 2020Transformers as Soft Reasoners over Languagecited by 265
  4. 2022Autoformalization with Large Language Modelscited by 252
  5. 2023Evaluating the Logical Reasoning Ability of ChatGPT and GPT-4cited by 202
  6. 2023OpenAGI: When LLM Meets Domain Expertscited by 196
  7. 2022HyperTree Proof Search for Neural Theorem Provingcited by 192
  8. 2024OpenMathInstruct-1: A 1.8 Million Math Instruction Tuning Datasetcited by 143
  9. 2023How well do Large Language Models perform in Arithmetic tasks?cited by 130
  10. 2022Few-shot training LLMs for project-specific code-summarizationcited by 128
  11. 2023Solving Math Word Problems by Combining Language Models With Symbolic Solverscited by 124
  12. 2022Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Proverscited by 97
  13. 2021A Neural Network Solves, Explains, and Generates University Math Problems by Program Synthesis and Few-Shot Learning at Human Levelcited by 96
  14. 2021NaturalProofs: Mathematical Theorem Proving in Natural Languagecited by 80
  15. 2022NaturalProver: Grounded Mathematical Proof Generation with Language Modelscited by 72
  16. 2022A Causal Framework to Quantify the Robustness of Mathematical Reasoning with Language Modelscited by 68
  17. 2022On the Limitations of Reference-Free Evaluations of Generated Textcited by 52
  18. 2017Premise Selection for Theorem Proving by Deep Graph Embeddingcited by 44
  19. 2020On the Limitations of Cross-lingual Encoders as Exposed by Reference-Free Machine Translation Evaluationcited by 36
  20. 2021MWP-BERT: Numeracy-Augmented Pre-training for Math Word Problem Solvingcited by 32
  21. 2023An Independent Evaluation of ChatGPT on Mathematical Word Problems (MWP)cited by 31
  22. 2022CTRLEval: An Unsupervised Reference-Free Metric for Evaluating Controlled Text Generationcited by 29
  23. 2021Symbolic Brittleness in Sequence Models: on Systematic Generalization in Symbolic Mathematicscited by 27
  24. 2020Natural Language Premise Selection: Finding Supporting Statements for Mathematical Textcited by 13
  25. 2023Learning Multi-Step Reasoning by Solving Arithmetic Taskscited by 12
  26. 2019The Use of Deep Learning for Symbolic Integration: A Review of (Lample and Charton, 2019)cited by 11
  27. 2023Multi-Operational Mathematical Derivations in Latent Spacecited by 6
  28. 2021Similarity-Based Equational Inference in Physicscited by 4
  29. 2022Enhancing Neural Mathematical Reasoning by Abductive Combination with Symbolic Librarycited by 4
  30. 2018Automatic Derivation Of Formulas Using Reforcement Learningcited by 3

Built on by

Cited by year (2026 to 7 Oct)

Citing papers per year: 2024: 1; 2025: 0; 2026: 2.

3 papers.

Similar, not cited

Close in wording, no citation either way

  1. 2025PhysicsEval: Inference-Time Techniques to Improve the Reasoning Proficiency of Large Language Models on Physics Problems
  2. 2026PhysMent: An Interactive Approach For LLM Reasoning In Physics Problems
  3. 2025ABench-Physics: Benchmarking Physical Reasoning in LLMs via High-Difficulty and Dynamic Physics Problems
  4. 2026Scientific Logicality Enriched Methodology for LLM Reasoning: A Practice in Physics
  5. 2025Symbolic or Numerical? Understanding Physics Problem Solving in Reasoning LLMs
  6. 2023NEWTON: Are Large Language Models Capable of Physical Reasoning?
  7. 2025Can Theoretical Physics Research Benefit from Language Agents?
  8. 2025On LLM-Based Scientific Inductive Reasoning Beyond Equations