mlsanityData to 14 Oct 2026

TextualVerifier: Verify TextGrad Step-by-Step

arXiv 2511.03739 ↗First posted 29 Oct 2025cs.CLcited by 2

Not on the map. Why?

Abstract (arXiv)

TextGrad is a novel approach to text-based automatic differentiation that enables composite AI systems to perform optimization without explicit numerical equations. However, it currently lacks self-verification mechanisms that ensure reasoning validity in text-based decision making. This research introduces TextualVerifier, a verification framework that leverages chain-of-thought reasoning and majority voting with large language models to address this verification gap. TextualVerifier implements a four-stage workflow: chain-of-thought decomposition, variant generation, majority voting, and consensus aggregation. It integrates non-invasively with TextGrad at both the loss function and optimization result verification stages. Experimental evaluation using the Gemini 1.5 Pro model is conducted in two phases: (1) standalone evaluation on PRM800K, and (2) integrated evaluation with TextGrad on GPQA-Diamond, MMLU-ML, and MMLU-CP benchmarks. Results show statistically significant improvements (p < 0.001). In phase one, TextualVerifier improves the validity of reasoning steps by 29 percent. In phase two, integration into TextGrad loss function yields a 2.2 percentage point gain from 68.2 to 70.4 percent with a moderate overhead of 5.9 LLM calls on average. Further evaluations of TextualVerifier versioning yield 8.08, 10.71, and 3.92 percentage point improvements on GPQA, MMLU-ML, and MMLU-CP respectively. TextualVerifier thus presents the first self-verification framework for TextGrad through LLM-based techniques without requiring numerical gradients, enabling more reliable reasoning and opening new directions for verification in text-based optimization.

Key facts. Cited by 2 papers in the map (data through 14 Oct 2026). Builds on 17 of its 18 references that are in the map. First posted on arXiv 29 Oct 2025.

Builds on

17 of 18 references.

References · 17

  1. 2020Language Models are Few-Shot Learnerscited by 32,419
  2. 2022Self-Consistency Improves Chain of Thought Reasoning in Language Modelscited by 5,708
  3. 2021Measuring Mathematical Problem Solving With the MATH Datasetcited by 5,371
  4. 2022Large Language Models are Zero-Shot Reasonerscited by 4,374
  5. 2023Let's Verify Step by Stepcited by 3,789
  6. 2023Tree of Thoughts: Deliberate Problem Solving with Large Language Modelscited by 3,211
  7. 2023Sparks of Artificial General Intelligence: Early experiments with GPT-4cited by 2,592
  8. 2022Solving Quantitative Reasoning Problems with Language Modelscited by 1,392
  9. 2022Solving math word problems with process- and outcome-based feedbackcited by 901
  10. 2020On Faithfulness and Factuality in Abstractive Summarizationcited by 900
  11. 2023DSPy: Compiling Declarative Language Model Calls into Self-Improving Pipelinescited by 832
  12. 2022Large Language Models are Better Reasoners with Self-Verificationcited by 307
5 more
  1. 2024TextGrad: Automatic "Differentiation" via Textcited by 273
  2. 2023Deductive Verification of Chain-of-Thought Reasoningcited by 124
  3. 2025SETS: Leveraging Self-Verification and Self-Correction for Improved Test-Time Scalingcited by 54
  4. 2024Enhancing Mathematical Reasoning in LLMs by Stepwise Correctioncited by 16
  5. 2024Re-Ex: Revising after Explanation Reduces the Factual Errors in LLM Responsescited by 6

Built on by

Cited by year (2026 to 14 Oct)

Citing papers per year: 2025: 1; 2026: 1.

2 papers.

Similar, not cited

Close in wording, no citation either way

  1. 2025CompassVerifier: A Unified and Robust Verifier for LLMs Evaluation and Outcome Reward
  2. 2023GRACE: Discriminator-Guided Chain-of-Thought Reasoning
  3. 2025Text2Grad: Reinforcement Learning from Natural Language Feedback
  4. 2025EmbedGrad: Gradient-Based Prompt Optimization in Embedding Space for Large Language Models
  5. 2026SerenAI: State-transition system inspired by text-based world AI models
  6. 2024DCR-Consistency: Divide-Conquer-Reasoning for Consistency Evaluation and Improvement of Large Language Models
  7. 2026STEVE: Stabilizing Textual Gradient-Based Prompt Optimization via Error-Driven Refinement and Regularized Verification
  8. 2026Text2Model: Modeling Copilots for Text-to-Model Translation