Rethinking Optimal Verification Granularity for Compute-Efficient Test-Time Scaling - Chen, Hao; Lu, Guanxi; Okoshi, Yasuyuki; Mo, Zhiwen; Motomura, Masato; Fan, Hongxiang (Advances in Neural Information Processing Systems, 2025)