Verifier-Backed Hard Problem Generation for Mathematical Reasoning — ThinkLLM