Training Step-Level Reasoning Verifiers with Formal Verification Tools Paper • 2505.15960 • Published 3 days ago • 6
Verbosity neq Veracity: Demystify Verbosity Compensation Behavior of Large Language Models Paper • 2411.07858 • Published Nov 12, 2024 • 2
GReaTer: Gradients over Reasoning Makes Smaller Language Models Strong Prompt Optimizers Paper • 2412.09722 • Published Dec 12, 2024 • 5