Solving Challenging Math Word Problems Using GPT-4 Code Interpreter with Code-based Self-Verification
On the map: LLM reasoning → Mathematical reasoning
Abstract (arXiv)
Recent progress in large language models (LLMs) like GPT-4 and PaLM-2 has brought significant advancements in addressing math reasoning problems. In particular, OpenAI's latest version of GPT-4, known as GPT-4 Code Interpreter, shows remarkable performance on challenging math datasets. In this paper, we explore the effect of code on enhancing LLMs' reasoning capability by introducing different constraints on the textitCode Usage Frequency of GPT-4 Code Interpreter. We found that its success can be largely attributed to its powerful skills in generating and executing code, evaluating the output of code execution, and rectifying its solution when receiving unreasonable outputs. Based on this insight, we propose a novel and effective prompting method, explicit ulinecode-based ulineself-ulineverification~(CSV), to further boost the mathematical reasoning potential of GPT-4 Code Interpreter. This method employs a zero-shot prompt on GPT-4 Code Interpreter to encourage it to use code to self-verify its answers. In instances where the verification state registers as ``False'', the model shall automatically amend its solution, analogous to our approach of rectifying errors during a mathematics examination. Furthermore, we recognize that the states of the verification result indicate the confidence of a solution, which can improve the effectiveness of majority voting. With GPT-4 Code Interpreter and CSV, we achieve an impressive zero-shot accuracy on MATH dataset (53.9% → 84.3%).
Key facts. Cited by 166 papers in the map (data through 7 Oct 2026). Placed in Mathematical reasoning, one of 17 directions in LLM reasoning. Builds on 25 of its 29 references that are in the map. First posted on arXiv 15 Aug 2023.
Builds on
25 of 29 references.
Closest ancestors · 2
Same direction, newest first
- 2022Dynamic Prompt Learning via Policy Gradient for Semi-structured Mathematical Reasoning29 Sep
- 2022Solving Quantitative Reasoning Problems with Language Models29 Jun
Other references · 23
- 2020Language Models are Few-Shot Learnerscited by 32,199
- 2023Llama 2: Open Foundation and Fine-Tuned Chat Modelscited by 12,865
- 2022Chain-of-Thought Prompting Elicits Reasoning in Large Language Modelscited by 12,302
- 2021Training Verifiers to Solve Math Word Problemscited by 9,743
- 2020Measuring Massive Multitask Language Understandingcited by 7,768
- 2022Self-Consistency Improves Chain of Thought Reasoning in Language Modelscited by 5,601
- 2021Measuring Mathematical Problem Solving With the MATH Datasetcited by 5,203
- 2022Large Language Models are Zero-Shot Reasonerscited by 4,323
- 2023Let's Verify Step by Stepcited by 3,598
- 2023Self-Refine: Iterative Refinement with Self-Feedbackcited by 3,317
- 2023Tree of Thoughts: Deliberate Problem Solving with Large Language Modelscited by 3,155
- 2022Training Compute-Optimal Large Language Modelscited by 2,927
11 more
- 2022Least-to-Most Prompting Enables Complex Reasoning in Large Language Modelscited by 1,397
- 2023PaLM 2 Technical Reportcited by 1,154
- 2022Program of Thoughts Prompting: Disentangling Computation from Reasoning for Numerical Reasoning Taskscited by 1,057
- 2022Galactica: A Large Language Model for Sciencecited by 736
- 2022PAL: Program-aided Language Modelscited by 635
- 2022Complexity-Based Prompting for Multi-Step Reasoningcited by 387
- 2022Large Language Models are Better Reasoners with Self-Verificationcited by 304
- 2022Making Large Language Models Better Reasoners with Step-Aware Verifiercited by 231
- 2023TheoremQA: A Theorem-driven Question Answering datasetcited by 189
- 2023Progressive-Hint Prompting Improves Reasoning in Large Language Modelscited by 147
- 2023Automatic Model Selection with Large Language Models for Reasoningcited by 35
Built on by
Citing papers per year: 2023: 26; 2024: 89; 2025: 39; 2026: 12.
166 papers.
Sort:
By area:
- 2024OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scientific Problemscited by 1,099
- 2023Large Language Models Cannot Self-Correct Reasoning Yetcited by 965
- 2024MathVerse: Does Your Multi-modal LLM Truly See the Diagrams in Visual Math Problems?cited by 573
- 2023MAmmoTH: Building Math Generalist Models through Hybrid Instruction Tuningcited by 483
- 2023SPHINX: The Joint Mixing of Weights, Tasks, and Visual Embeddings for Multi-modal Large Language Modelscited by 283
- 2024Large Language Models for Mathematical Reasoning: Progresses and Challengescited by 283
- 2023ToRA: A Tool-Integrated Reasoning Agent for Mathematical Problem Solvingcited by 276
- 2024Personal LLM Agents: Insights and Survey about the Capability, Efficiency and Securitycited by 257
- 2024HuatuoGPT-o1, Towards Medical Complex Reasoning with LLMscited by 257
- 2024ReFT: Reasoning with Reinforced Fine-Tuningcited by 236
- 2024Data Interpreter: An LLM Agent For Data Sciencecited by 222
- 2024Teaching Large Language Models to Reason with Reinforcement Learningcited by 158
38 more
- 2023MathCoder: Seamless Code Integration in LLMs for Enhanced Mathematical Reasoningcited by 155
- 2024GSM-Plus: A Comprehensive Benchmark for Evaluating the Robustness of LLMs as Mathematical Problem Solverscited by 155
- 2023QA-LoRA: Quantization-Aware Low-Rank Adaptation of Large Language Modelscited by 154
- 2025Reasoning Models Know When They're Right: Probing Hidden States for Self-Verificationcited by 154
- 2024OpenMathInstruct-1: A 1.8 Million Math Instruction Tuning Datasetcited by 143
- 2024Not All Experts are Equal: Efficient Expert Pruning and Skipping for Mixture-of-Experts Large Language Modelscited by 140
- 2024Mutual Reasoning Makes Smaller LLMs Stronger Problem-Solverscited by 137
- 2024Exploring Large Language Model based Intelligent Agents: Definitions, Methods, and Prospectscited by 130
- 2024Debug like a Human: A Large Language Model Debugger via Verifying Runtime Execution Step-by-stepcited by 123
- 2023Chain of Code: Reasoning with a Language Model-Augmented Code Emulatorcited by 120
- 2024InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoningcited by 117
- 2024MAVIS: Mathematical Visual Instruction Tuning with an Automatic Data Enginecited by 111
- 2023Large Language Models as Analogical Reasonerscited by 107
- 2024GLoRe: When, Where, and How to Improve LLM Reasoning via Global and Local Refinementscited by 101
- 2024DART-Math: Difficulty-Aware Rejection Tuning for Mathematical Problem-Solvingcited by 92
- 2024Small Language Models Need Strong Verifiers to Self-Correct Reasoningcited by 85
- 2023OVM, Outcome-supervised Value Models for Planning in Mathematical Reasoningcited by 84
- 2024MARIO: MAth Reasoning with code Interpreter Output -- A Reproducible Pipelinecited by 81
- 2024If LLM Is the Wizard, Then Code Is the Wand: A Survey on How Code Empowers Large Language Models to Serve as Intelligent Agentscited by 77
- 2023Igniting Language Intelligence: The Hitchhiker's Guide From Chain-of-Thought Reasoning to Language Agentscited by 72
- 2024MathGenie: Generating Synthetic Data with Question Back-translation for Enhancing Mathematical Reasoning of LLMscited by 72
- 2024Feedback Loops With Language Models Drive In-Context Reward Hackingcited by 70
- 2024OlympicArena: Benchmarking Multi-discipline Cognitive Reasoning for Superintelligent AIcited by 70
- 2024SciAgent: Tool-augmented Language Models for Scientific Reasoningcited by 69
- 2023TinyGSM: achieving >80% on GSM8k with small language modelscited by 68
- 2025Ego-R1: Chain-of-Tool-Thought for Ultra-Long Egocentric Video Reasoningcited by 67
- 2024StateFlow: Enhancing LLM Task-Solving through State-Driven Workflowscited by 65
- 2025AgentRxiv: Towards Collaborative Autonomous Researchcited by 64
- 2024Training Large Language Models for Reasoning through Reverse Curriculum Reinforcement Learningcited by 63
- 2023Unifying the Perspectives of NLP and Software Engineering: A Survey on Language Models for Codecited by 62
- 2024Key-Point-Driven Data Synthesis with its Enhancement on Mathematical Reasoningcited by 58
- 2024Latent Space Chain-of-Embedding Enables Output-free LLM Self-Evaluationcited by 56
- 2024EmoBench: Evaluating the Emotional Intelligence of Large Language Modelscited by 53
- 2023Improving Large Language Model Fine-tuning for Solving Math Problemscited by 48
- 2024Evaluating Mathematical Reasoning of Large Language Models: A Focus on Error Identification and Correctioncited by 45
- 2024CHAMP: A Competition-level Dataset for Fine-Grained Analyses of LLMs' Mathematical Reasoning Capabilitiescited by 43
- 2024MACM: Utilizing a Multi-Agent System for Condition Mining in Solving Complex Mathematical Problemscited by 41
- 2024Think Twice Before Trusting: Self-Detection for Large Language Models through Comprehensive Answer Reflectioncited by 40
50 most cited of 166 All 166 (JSON)
- 2026MultiTalk: Scaling Full-Duplex Speech Models to Long, Multi-Party, Bilingual Conversation29 Sep 2026
- 2026Improving Medical Calculation of LLMs with Embedded Coding25 Sep 2026
- 2026ContinualSkillBench: Can LLM Agents Truly Evolve Their Capabilities?4 Aug 2026
- 2026Spectral Origins of the Self-Correction Blind Spot in Autoregressive Generation9 Jul 2026
- 2026VeryTrace: Verifying Reasoning Traces through Compilable Formalism and Structured Verification23 Jun 2026
- 2026STAR-P'olyaMath: Multi-Agent Reasoning under Persistent Meta-Strategic Supervision19 May 2026
- 2026NoisyCausal: A Benchmark for Evaluating Causal Reasoning Under Structured Noise5 May 2026
- 2026PARM: Pipeline-Adapted Reward Model20 Apr 2026
- 2026LCO: LLM-based Constraint Optimization for Safer Agentic LLMs in Real-world Tasks8 Apr 2026
- 2026RewardFlow: Topology-Aware Reward Propagation on State Graphs for Agentic RL with Large Language Models19 Mar 2026
- 2026SpotIt+: Verification-based Text-to-SQL Evaluation with Database Constraints4 Mar 2026
- 2026Enhancing Mathematical Problem Solving in LLMs through Execution-Driven Reasoning Augmentation3 Feb 2026
38 more
- 2025When Does Verification Pay Off? A Closer Look at LLMs as Solution Verifiers2 Dec 2025
- 2025From Code Foundation Models to Agents and Applications: A Comprehensive Survey and Practical Guide to Code Intelligence23 Nov 2025
- 2025SpotIt: Evaluating Text-to-SQL Evaluation with Formal Verification30 Oct 2025
- 2025CodePlot-CoT: Mathematical Visual Reasoning by Thinking with Code-Driven Images13 Oct 2025
- 2025On the Convergence of Moral Self-Correction in Large Language Models8 Oct 2025
- 2025TUMIX: Multi-Agent Test-Time Scaling with Tool-Use Mixture30 Sep 2025
- 2025Parallel Thinking, Sequential Answering: Bridging NAR and AR for Efficient Reasoning25 Sep 2025
- 2025Ban&Pick: Enhancing Performance and Efficiency of MoE-LLMs via Smarter Routing8 Sep 2025
- 2025Exploring Autonomous Agents: A Closer Look at Why They Fail When Completing Tasks18 Aug 2025
- 2025EAC-MoE: Expert-Selection Aware Compressor for Mixture-of-Experts Large Language Models3 Aug 2025
- 2025Injecting External Knowledge into the Reasoning Process Enhances Retrieval-Augmented Generation25 Jul 2025
- 2025A Toolbox, Not a Hammer -- Multi-TAG: Scaling Math Reasoning with Multi-Tool Aggregation25 Jul 2025
- 2025Probing for Arithmetic Errors in Language Models16 Jul 2025
- 2025CodeAgents: A Token-Efficient Framework for Codified Multi-Agent Reasoning in LLMs4 Jul 2025
- 2025Ego-R1: Chain-of-Tool-Thought for Ultra-Long Egocentric Video Reasoning16 Jun 2025
- 2025Synthesis by Design: Controlled Data Generation via Structural Guidance9 Jun 2025
- 2025ASyMOB: Algebraic Symbolic Mathematical Operations Benchmark28 May 2025
- 2025Scalable, Symbiotic, AI and Non-AI Agent Based Parallel Discrete Event Simulations28 May 2025
- 2025R1-Code-Interpreter: LLMs Reason with Code via Supervised and Multi-stage Reinforcement Learning27 May 2025
- 2025Large Language Models for Predictive Analysis: How Far Are They?22 May 2025
- 2025Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier17 May 2025
- 2025Evaluating Intermediate Reasoning of Code-Assisted Large Language Models for Mathematics24 Apr 2025
- 2025GeoSense: Evaluating Identification and Application of Geometric Principles in Multimodal Reasoning17 Apr 2025
- 2025Reasoning Models Know When They're Right: Probing Hidden States for Self-Verification7 Apr 2025
- 2025Sample, Don't Search: Rethinking Test-Time Alignment for Language Models4 Apr 2025
- 2025AgentRxiv: Towards Collaborative Autonomous Research23 Mar 2025
- 2025A Survey on Mathematical Reasoning and Optimization with Large Language Models22 Mar 2025
- 2025LLMIA: An Out-of-the-Box Index Advisor via In-Context Learning with LLMs10 Mar 2025
- 2025An Efficient and Precise Training Data Construction Framework for Process-supervised Reward Model in Mathematical Reasoning4 Mar 2025
- 2025Reward Models Identify Consistency, Not Causality20 Feb 2025
- 2025From Correctness to Comprehension: AI Agents for Personalized Error Diagnosis in Education19 Feb 2025
- 2025TreeCut: A Synthetic Unanswerable Math Word Problem Dataset for LLM Hallucination Evaluation19 Feb 2025
- 2025GeoDANO: Geometric VLM with Domain Agnostic Vision Encoder17 Feb 2025
- 2025CIRCUIT: A Benchmark for Circuit Interpretation and Reasoning Capabilities of LLMs11 Feb 2025
- 2025CodeSteer: Symbolic-Augmented Language Models via Code/Text Guidance4 Feb 2025
- 2025Successor-Generator Planning with LLM-generated Heuristics30 Jan 2025
- 2025UGMathBench: A Diverse and Dynamic Benchmark for Undergraduate-Level Mathematical Reasoning with Large Language Models23 Jan 2025
- 2025Zero-Shot Verification-guided Chain of Thoughts21 Jan 2025
50 newest of 166 All 166 (JSON)
- 2023Large Language Models Cannot Self-Correct Reasoning Yetcited by 965
- 2024Large Language Models for Mathematical Reasoning: Progresses and Challengescited by 283
- 2023ToRA: A Tool-Integrated Reasoning Agent for Mathematical Problem Solvingcited by 276
- 2024HuatuoGPT-o1, Towards Medical Complex Reasoning with LLMscited by 257
- 2024ReFT: Reasoning with Reinforced Fine-Tuningcited by 236
- 2024Teaching Large Language Models to Reason with Reinforcement Learningcited by 158
- 2023MathCoder: Seamless Code Integration in LLMs for Enhanced Mathematical Reasoningcited by 155
- 2024GSM-Plus: A Comprehensive Benchmark for Evaluating the Robustness of LLMs as Mathematical Problem Solverscited by 155
- 2025Reasoning Models Know When They're Right: Probing Hidden States for Self-Verificationcited by 154
- 2024OpenMathInstruct-1: A 1.8 Million Math Instruction Tuning Datasetcited by 143
- 2024Mutual Reasoning Makes Smaller LLMs Stronger Problem-Solverscited by 137
- 2023Chain of Code: Reasoning with a Language Model-Augmented Code Emulatorcited by 120
12 most cited of 84 All 84 (JSON)
- 2026VeryTrace: Verifying Reasoning Traces through Compilable Formalism and Structured Verification23 Jun 2026
- 2026STAR-P'olyaMath: Multi-Agent Reasoning under Persistent Meta-Strategic Supervision19 May 2026
- 2026NoisyCausal: A Benchmark for Evaluating Causal Reasoning Under Structured Noise5 May 2026
- 2026RewardFlow: Topology-Aware Reward Propagation on State Graphs for Agentic RL with Large Language Models19 Mar 2026
- 2026Enhancing Mathematical Problem Solving in LLMs through Execution-Driven Reasoning Augmentation3 Feb 2026
- 2025CodePlot-CoT: Mathematical Visual Reasoning by Thinking with Code-Driven Images13 Oct 2025
- 2025TUMIX: Multi-Agent Test-Time Scaling with Tool-Use Mixture30 Sep 2025
- 2025Parallel Thinking, Sequential Answering: Bridging NAR and AR for Efficient Reasoning25 Sep 2025
- 2025Injecting External Knowledge into the Reasoning Process Enhances Retrieval-Augmented Generation25 Jul 2025
- 2025A Toolbox, Not a Hammer -- Multi-TAG: Scaling Math Reasoning with Multi-Tool Aggregation25 Jul 2025
- 2025CodeAgents: A Token-Efficient Framework for Codified Multi-Agent Reasoning in LLMs4 Jul 2025
- 2025Ego-R1: Chain-of-Tool-Thought for Ultra-Long Egocentric Video Reasoning16 Jun 2025
12 newest of 84 All 84 (JSON)
- 2024Personal LLM Agents: Insights and Survey about the Capability, Efficiency and Securitycited by 257
- 2024Data Interpreter: An LLM Agent For Data Sciencecited by 222
- 2024Exploring Large Language Model based Intelligent Agents: Definitions, Methods, and Prospectscited by 130
- 2024If LLM Is the Wizard, Then Code Is the Wand: A Survey on How Code Empowers Large Language Models to Serve as Intelligent Agentscited by 77
- 2024LAMBDA: A Large Model Based Data Agentcited by 30
- 2025Exploring Autonomous Agents: A Closer Look at Why They Fail When Completing Taskscited by 20
- 2025From Code Foundation Models to Agents and Applications: A Comprehensive Survey and Practical Guide to Code Intelligencecited by 13
- 2024GeneAgent: Self-verification Language Agent for Gene Set Knowledge Discovery using Domain Databasescited by 8
- 2024CIBench: Evaluating Your LLMs with a Code Interpreter Plugincited by 5
- 2024TaskGen: A Task-Based, Memory-Infused Agentic Framework using StrictJSONcited by 5
- 2026ContinualSkillBench: Can LLM Agents Truly Evolve Their Capabilities?cited by 2
- 2024SwissNYF: Tool Grounded LLM Agents for Black Box Settingcited by 0
12 most cited of 13 All 13 (JSON)
- 2026ContinualSkillBench: Can LLM Agents Truly Evolve Their Capabilities?4 Aug 2026
- 2026LCO: LLM-based Constraint Optimization for Safer Agentic LLMs in Real-world Tasks8 Apr 2026
- 2025From Code Foundation Models to Agents and Applications: A Comprehensive Survey and Practical Guide to Code Intelligence23 Nov 2025
- 2025Exploring Autonomous Agents: A Closer Look at Why They Fail When Completing Tasks18 Aug 2025
- 2024LAMBDA: A Large Model Based Data Agent24 Jul 2024
- 2024TaskGen: A Task-Based, Memory-Infused Agentic Framework using StrictJSON22 Jul 2024
- 2024CIBench: Evaluating Your LLMs with a Code Interpreter Plugin15 Jul 2024
- 2024GeneAgent: Self-verification Language Agent for Gene Set Knowledge Discovery using Domain Databases25 May 2024
- 2024Data Interpreter: An LLM Agent For Data Science28 Feb 2024
- 2024SwissNYF: Tool Grounded LLM Agents for Black Box Setting15 Feb 2024
- 2024Personal LLM Agents: Insights and Survey about the Capability, Efficiency and Security10 Jan 2024
- 2024Exploring Large Language Model based Intelligent Agents: Definitions, Methods, and Prospects7 Jan 2024
12 newest of 13 All 13 (JSON)
- 2024Feedback Loops With Language Models Drive In-Context Reward Hackingcited by 70
- 2024Spontaneous Reward Hacking in Iterative Self-Refinementcited by 24
- 2023Enabling Language Models to Implicitly Learn Self-Improvementcited by 7
- 2025Reward Models Identify Consistency, Not Causalitycited by 6
- 2026PARM: Pipeline-Adapted Reward Modelcited by 0
- 2026PARM: Pipeline-Adapted Reward Model20 Apr 2026
- 2025Reward Models Identify Consistency, Not Causality20 Feb 2025
- 2024Spontaneous Reward Hacking in Iterative Self-Refinement5 Jul 2024
- 2024Feedback Loops With Language Models Drive In-Context Reward Hacking9 Feb 2024
- 2023Enabling Language Models to Implicitly Learn Self-Improvement2 Oct 2023
- 2024OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scientific Problemscited by 1,099
- 2024MathVerse: Does Your Multi-modal LLM Truly See the Diagrams in Visual Math Problems?cited by 573
- 2023SPHINX: The Joint Mixing of Weights, Tasks, and Visual Embeddings for Multi-modal Large Language Modelscited by 283
- 2024GeoGPT4V: Towards Geometric Multi-modal Large Language Models with Geometric Image Generationcited by 31
- 2025GeoDANO: Geometric VLM with Domain Agnostic Vision Encodercited by 5
- 2025GeoDANO: Geometric VLM with Domain Agnostic Vision Encoder17 Feb 2025
- 2024GeoGPT4V: Towards Geometric Multi-modal Large Language Models with Geometric Image Generation17 Jun 2024
- 2024MathVerse: Does Your Multi-modal LLM Truly See the Diagrams in Visual Math Problems?21 Mar 2024
- 2024OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scientific Problems21 Feb 2024
- 2023SPHINX: The Joint Mixing of Weights, Tasks, and Visual Embeddings for Multi-modal Large Language Models13 Nov 2023
- 2024Not All Experts are Equal: Efficient Expert Pruning and Skipping for Mixture-of-Experts Large Language Modelscited by 140
- 2025EAC-MoE: Expert-Selection Aware Compressor for Mixture-of-Experts Large Language Modelscited by 18
- 2025Ban&Pick: Enhancing Performance and Efficiency of MoE-LLMs via Smarter Routingcited by 2
- 2025Ban&Pick: Enhancing Performance and Efficiency of MoE-LLMs via Smarter Routing8 Sep 2025
- 2025EAC-MoE: Expert-Selection Aware Compressor for Mixture-of-Experts Large Language Models3 Aug 2025
- 2024Not All Experts are Equal: Efficient Expert Pruning and Skipping for Mixture-of-Experts Large Language Models22 Feb 2024
- 2023MAmmoTH: Building Math Generalist Models through Hybrid Instruction Tuningcited by 483
- 2023QA-LoRA: Quantization-Aware Low-Rank Adaptation of Large Language Modelscited by 154
- 2024Debug like a Human: A Large Language Model Debugger via Verifying Runtime Execution Step-by-stepcited by 123
- 2024StateFlow: Enhancing LLM Task-Solving through State-Driven Workflowscited by 65
- 2025AgentRxiv: Towards Collaborative Autonomous Researchcited by 64
- 2023Unifying the Perspectives of NLP and Software Engineering: A Survey on Language Models for Codecited by 62
- 2024Latent Space Chain-of-Embedding Enables Output-free LLM Self-Evaluationcited by 56
- 2024EmoBench: Evaluating the Emotional Intelligence of Large Language Modelscited by 53
- 2023Improving Large Language Model Fine-tuning for Solving Math Problemscited by 48
- 2023CharacterGLM: Customizing Chinese Conversational AI Characters with Large Language Modelscited by 34
- 2024Benchmarks as Microscopes: A Call for Model Metrologycited by 33
- 2023Mathematical Language Models: A Surveycited by 24
12 most cited of 54 All 54 (JSON)
- 2026MultiTalk: Scaling Full-Duplex Speech Models to Long, Multi-Party, Bilingual Conversation29 Sep 2026
- 2026Improving Medical Calculation of LLMs with Embedded Coding25 Sep 2026
- 2026Spectral Origins of the Self-Correction Blind Spot in Autoregressive Generation9 Jul 2026
- 2026SpotIt+: Verification-based Text-to-SQL Evaluation with Database Constraints4 Mar 2026
- 2025When Does Verification Pay Off? A Closer Look at LLMs as Solution Verifiers2 Dec 2025
- 2025SpotIt: Evaluating Text-to-SQL Evaluation with Formal Verification30 Oct 2025
- 2025On the Convergence of Moral Self-Correction in Large Language Models8 Oct 2025
- 2025Probing for Arithmetic Errors in Language Models16 Jul 2025
- 2025ASyMOB: Algebraic Symbolic Mathematical Operations Benchmark28 May 2025
- 2025Scalable, Symbiotic, AI and Non-AI Agent Based Parallel Discrete Event Simulations28 May 2025
- 2025Large Language Models for Predictive Analysis: How Far Are They?22 May 2025
- 2025AgentRxiv: Towards Collaborative Autonomous Research23 Mar 2025
12 newest of 54 All 54 (JSON)
Similar, not cited
Close in wording, no citation either way
- 2023VerityMath: Advancing Mathematical Reasoning by Self-Verification Through Unit Consistency
- 2024ReasonAgain: Using Extractable Symbolic Programs to Evaluate Mathematical Reasoning
- 2024JiuZhang3.0: Efficiently Improving Mathematical Reasoning by Training Small Data Synthesis Models
- 2023Assessing the Impact of Prompting Methods on ChatGPT's Mathematical Capabilities
- 2023Reasoning in Large Language Models Through Symbolic Math Word Problems
- 2023MathPrompter: Mathematical Reasoning using Large Language Models
- 2025Evaluation of LLMs for mathematical problem solving
- 2024Gap-Filling Prompting Enhances Code-Assisted Mathematical Reasoning