Sun, Z.; Li, D.; Hu, B.; Zhang, M. Improving Value-Based Process Verifier via Low-Cost Variance Reduction. AAAI 2026, 40, 33162-33170.