Derailer-Rerailer: Adaptive Verification for Efficient and Reliable Language Model Reasoning

Wan, Guangya, Wu, Yuqi, Wang, Hao · Findings of the Association for Computational Linguistics: ACL 2025 · 2025