TY  - RPRT
TI  - Verifier-Backed Hard Problem Generation for Mathematical Reasoning
AU  - Yuhang Lai
AU  - Jiazhan Feng
AU  - Yee Whye Teh
AU  - Ning Miao
PY  - 2026
UR  - https://arxiv.org/abs/2605.06660
ID  - 2605.06660
ER  -