Search papers, labs, and topics across Lattice.
The paper introduces nabla-Reasoner, a framework that integrates differentiable optimization over token logits into the LLM decoding loop, refining the policy at test time using gradient signals from both the LLM's likelihood and a reward model. This Differentiable Textual Optimization (DTO) is combined with rejection sampling and acceleration techniques to improve decoding robustness and speed. Empirically, nabla-Reasoner achieves over 20% accuracy improvement on a mathematical reasoning benchmark while reducing model calls by 10-40% compared to baselines, and is theoretically justified via a duality to KL-regularized RL.
Forget discrete search and trial-and-error prompting: nabla-Reasoner uses gradient descent in the LLM's latent space to boost reasoning accuracy by 20% while cutting model calls by up to 40%.
Scaling inference-time compute for Large Language Models (LLMs) has unlocked unprecedented reasoning capabilities. However, existing inference-time scaling methods typically rely on inefficient and suboptimal discrete search algorithms or trial-and-error prompting to improve the online policy. In this paper, we propose nabla-Reasoner, an iterative generation framework that integrates differentiable optimization over token logits into the decoding loop to refine the policy on the fly. Our core component, Differentiable Textual Optimization (DTO), leverages gradient signals from both the LLM's likelihood and a reward model to refine textual representations. nabla-Reasoner further incorporates rejection sampling and acceleration design to robustify and speed up decoding. Theoretically, we show that performing inference-time gradient descent in the sample space to maximize reward is dual to aligning an LLM policy via KL-regularized reinforcement learning. Empirically, nabla-Reasoner achieves over 20% accuracy improvement on a challenging mathematical reasoning benchmark, while reducing number of model calls by approximately 10-40% compared to strong baselines. Overall, our work introduces a paradigm shift from zeroth-order search to first-order optimization at test time, offering a cost-effective path to amplify LLM reasoning.