Function-Structured Reinforcement Learning with Executable Verifiers for Mathematical Reasoning

arXiv:2610.01729 · cs.LG · Submitted 2026-10-01 · Read on arXiv

cs.LG

Submitted: 2026-10-01

Updated: 2026-10-01

Code: https://github.com/ZihanLiummyycc/FSG-RL

Terminology

• Reinforcement Learning — 1× in this paper · explained in 4 episodes
• Verifier — 1× in this paper · explained in 2 episodes

Sources

• Training Verifiers to Solve Math Word Problems
• DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition
• DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models
• From Reasoning Chains to Verifiable Subproblems: Curriculum Reinforcement Learning Enables Credit Assignment for LLM Reasoning
• Proximal Policy Optimization Algorithms

Related papers

• Polynomial-Augmented Neural Networks (PANNs) with Weak Orthogonality Constraints for Enhanced Function and PDE Approximation
• AIRL-S: Unifying Reinforcement Learning and Search-Based Test-Time Scaling via Adversarial Inverse Reinforcement Learning
• Transformers as Bayesian In-Context Experimenters: Smoothness-Adaptive Efficient ATE Estimation
• Convergence issues in Relational Concept Analysis based on AOC-posets
• Beliefs Beyond Posteriors: The Predictive Cost of ELBO Binding
• Understanding Diffusion Models via Ratio-Based Function Approximation with SignReLU Networks