SpecReason: Fast and Accurate Inference-Time Compute via Speculative Reasoning - Pan, Rui; Dai, Yinwei; Zhang, Zhihao; Oliaro, Gabriele; Jia, Zhihao; Netravali, Ravi (Advances in Neural Information Processing Systems, 2025)