Verifier-Backed Hard Problem Generation for Mathematical Reasoning (ArXiv cs.LG Recent Papers, 2026)