{"id":"arxiv/2602.07559","url":"https://arxiv.org/abs/2602.07559","tags":["cs.AI","cs.CC","math.NA"],"score":0,"title":"VERIFY-RL: Verifiable Recursive Decomposition for Reinforcement Learning in Mathematical Reasoning","domain":"cs.AI","source":"arxiv","authors":["Kaleem Ullah Qasim","Jiashu Zhang","Hao Li","Muhammad Kafeel Shaheen"],"reviews":0,"subject":"cs.AI","summary":"Training language models to solve complex mathematical problems benefits from curriculum learning progressively training on simpler subproblems. However, existing decomposition methods are often heuristic, offering no guarantees that subproblems are simpler, that solving them aids the parent task, or that their relationships are mathematically grounded. We observe that symbolic differentiation provides a natural structure for verified decomposition: calculus rules explicitly define how expressions reduce to simpler components with provable properties. We introduce Verify-RL, a framework…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-02-07","reactions":{}}