Guangya Wan, Yuqi Wu, Hao Wang, Shengming Zhao, Jie Chen, Sheng Li. Derailer-Rerailer: Adaptive Verification for Efficient and Reliable Language Model Reasoning. In Wanxiang Che, Joyce Nabende, Ekaterina Shutova, Mohammad Taher Pilehvar, editors, Findings of the Association for Computational Linguistics, ACL 2025, Vienna, Austria, July 27 - August 1, 2025. pages 327-348, Association for Computational Linguistics, 2025. [doi]
Abstract is missing.