{"id":"arxiv/2606.21611","url":"https://arxiv.org/abs/2606.21611","tags":["cs.LG","cs.AI","math.GR","math.GT"],"score":0,"title":"The Two-Hump Problem: Bridging the Difficulty Gap in Mathematical Reinforcement Learning","domain":"cs.LG","source":"arxiv","authors":["Lucas Fagan","Michele Tarquini","Ali Shehper","Maksymilian Manko","Angus Gruen","Coco Huang","Giorgi Butbaia","Davide Passaro","Sergei Gukov"],"reviews":0,"subject":"cs.LG","summary":"Mathematical search problems present a unique challenge for Reinforcement Learning (RL) due to vast search spaces and sparse rewards. In previous works, the Andrews-Curtis (AC) conjecture was established as an illustrative example of such problems. In this work, we identify a critical structural barrier in the AC landscape: a \"Two-Hump\" distribution, where problem instances are either trivially solvable or effectively impossible, with a scarcity of intermediate \"hard-but-solvable\" instances required for effective learning. We tackle this challenge through two primary avenues: novel data…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-06-19","reactions":{}}