Cover Image

VERIFY-RL: Verifiable Recursive Decomposition for Reinforcement Learning in Mathematical Reasoning

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Qasim, Kaleem Ullah, Zhang, Jiashu, Li, Hao, Shaheen, Muhammad Kafeel
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence Computational Complexity Numerical Analysis
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Accelerating Training Speed of Tiny Recursive Models with Curriculum Guided Adaptive Recursion
by: Qasim, Kaleem Ullah, et al.
Published: (2025)

The Residual Stream Is All You Need: On the Redundancy of the KV Cache in Transformer Inference
by: Qasim, Kaleem Ullah, et al.
Published: (2026)

Complexity Agnostic Recursive Decomposition of Thoughts
by: Qasim, Kaleem Ullah, et al.
Published: (2025)

MARBLE: A Multi-Agent Rule-Based LLM Reasoning Engine for Accident Severity Prediction
by: Qasim, Kaleem Ullah, et al.
Published: (2025)

Recursive Decomposition of Logical Thoughts: Framework for Superior Reasoning and Knowledge Propagation in Large Language Models
by: Qasim, Kaleem Ullah, et al.
Published: (2025)

A direct optimization algorithm for input-constrained MPC
by: Wu, Liang, et al.
Published: (2023)

Deterministic constructions of high-dimensional sets with small dispersion
by: Ullrich, Mario, et al.
Published: (2019)

On the power of adaption and randomization
by: Krieg, David, et al.
Published: (2024)

Differentiable Singular Value Decomposition
by: Kanchi, Rohit, et al.
Published: (2025)

FEABench: Evaluating Language Models on Multiphysics Reasoning Ability
by: Mudur, Nayantara, et al.
Published: (2025)

On the Emergence of Ergodic Dynamics in Unique Games
by: Sahai, Tuhin, et al.
Published: (2024)

How many continuous measurements are needed to learn a vector?
by: Krieg, David, et al.
Published: (2024)

What is a Sketch-and-Precondition Derivation for Low-Rank Approximation? Inverse Power Error or Inverse Power Estimation?
by: Xu, Ruihan, et al.
Published: (2025)

A Mathematical Explanation of Transformers
by: Tai, Xue-Cheng, et al.
Published: (2025)

Noisy nonlinear information and entropy numbers
by: Krieg, David, et al.
Published: (2025)

Size Lowerbounds for Deep Operator Networks
by: Mukherjee, Anirbit, et al.
Published: (2023)

Complex variable solution on asymmetrical sequential shallow tunnelling in gravitational geomaterial considering static equilibrium
by: Lin, Luo-bin, et al.
Published: (2024)

Polynomial meshes on algebraic sets
by: Bialas-Ciez, Leokadia, et al.
Published: (2025)

Bidirectional conformal mapping for over-break and under-break tunnelling and its application in complex variable method
by: Lin, Luobin, et al.
Published: (2024)

The LC Method: A parallelizable numerical method for approximating the roots of single-variable polynomials
by: Alba-Cuellar, Daniel
Published: (2024)

Complex variable solution on over-/under-break shallow tunnelling in gravitational geomaterial with reasonable far-field displacement
by: Lin, Luo-bin, et al.
Published: (2024)

Locating the roots of a quadratic equation in one variable through a Line-Circumference (LC) geometric construction in the plane of complex numbers
by: Alba-Cuellar, Daniel
Published: (2024)

The lightning method for the heat equation
by: La Croix, Hunter, et al.
Published: (2025)

Recursive Flow Matching
by: Huang, Jiahe, et al.
Published: (2026)

A Note on Fine-Grained Quantum Reductions for Linear Algebraic Problems
by: Doney, Kyle, et al.
Published: (2025)

A Mathematical Guide to Operator Learning
by: Boullé, Nicolas, et al.
Published: (2023)

Trinomials and Deterministic Complexity Limits for Real Solving
by: Boniface, Emma, et al.
Published: (2022)

A Faster Solution to Smale's 17th Problem I: Real Binomial Systems
by: Paouris, Grigoris, et al.
Published: (2019)

Sparsity comparison of polytopal finite element methods
by: Lehrenfeld, Christoph, et al.
Published: (2024)

Learning Semilinear Neural Operators : A Unified Recursive Framework For Prediction And Data Assimilation
by: Singh, Ashutosh, et al.
Published: (2024)

High Probability Complexity Bounds of Trust-Region Stochastic Sequential Quadratic Programming with Heavy-Tailed Noise
by: Fang, Yuchen, et al.
Published: (2025)

A single-loop SPIDER-type stochastic subgradient method for expectation-constrained nonconvex nonsmooth optimization
by: Liu, Wei, et al.
Published: (2025)

On Approximate Computation of Critical Points
by: Ahmadi, Amir Ali, et al.
Published: (2026)

Optimal Preconditioning is a Geodesically Convex Optimization Problem
by: Doğan, M. Levent, et al.
Published: (2025)

Extrapolating Solution Paths of Polynomial Homotopies towards Singularities with PHCpack and phcpy
by: Verschelde, Jan, et al.
Published: (2024)

Conformal tubular parameterization and toroidal bending of tube-like surfaces
by: Yao, Shunyu, et al.
Published: (2026)

Monte Carlo methods on compact complex manifolds using Bergman kernels
by: Lemoine, Thibaut, et al.
Published: (2024)

Sets of fractional operators and numerical estimation of the order of convergence of a family of fractional fixed point methods
by: Torres-Hernandez, A., et al.
Published: (2021)

MultiPDENet: PDE-embedded Learning with Multi-time-stepping for Accelerated Flow Simulation
by: Wang, Qi, et al.
Published: (2025)

ActionReasoningBench: Reasoning about Actions with and without Ramification Constraints
by: Handa, Divij, et al.
Published: (2024)