Traversal Verification for Speculative Tree Decoding - Weng, Yepeng; Hu, Qiao; Chen, Xujie; Liu, Li; Mei, Dianwen; Qiu, Huishi; Tian, Jiang; shi, zhongchao (Advances in Neural Information Processing Systems, 2025)