Shengming Zhao

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

Large Language Models (LLMs) have shown impressive reasoning capabilities, yet existing prompting methods face a critical trade-off: simple approaches often struggle with complex tasks and reasoning stability, while more sophisticated methods require multiple inferences and substantial computational…