paper-with-me

홈 › Papers

Efficiently Serving LLM Reasoning Programs with Certaindex

2024-12-30 · Yichao Fu, Junda Chen, Siqi Zhu, Zheyu Fu, Zhongdongming Dai, Aurick Qiao, Hao Zhang

The rapid evolution of large language models (LLMs) has unlocked their capabilities in advanced reasoning tasks like mathematical problem-solving, code generation, and legal analysis. Central to this progress are inference-time reasoning algorithms, which refine outputs by exploring multiple solution paths, at the cost of increasing compute demands and response latencies. Existing serving systems fail to adapt to the scaling behaviors of these algorithms or the varying difficulty of queries, leading to inefficient resource use and unmet latency targets. We present Dynasor, a system that optimizes inference-time compute for LLM reasoning queries. Unlike traditional engines, Dynasor tracks and schedules requests within reasoning queries and uses Certaindex, a proxy that measures statistical reasoning progress based on model certainty, to guide compute allocation dynamically. Dynasor co-adapts scheduling with reasoning progress: it allocates more compute to hard queries, reduces compute for simpler ones, and terminates unpromising queries early, balancing accuracy, latency, and cost. On diverse datasets and algorithms, Dynasor reduces compute by up to 50% in batch processing and sustaining 3.3x higher query rates or 4.7x tighter latency SLOs in online serving.

📄 PDF Abstract BibTeX arXiv:2412.20993

Code (1)

snowflakedb/arcticinference pytorch

Tasks

Code GenerationMathematical Problem-SolvingScheduling

Similar Papers 제목 키워드 기반

Relational program synthesis with numerical reasoning

2022-10-03 · Céline Hocquette, Andrew Cropper

Program synthesis approaches struggle to learn programs with numerical values. An especially difficult problem is learning continuous values over multiple examples, such as intervals. To overcome this limitation, we intr…

Inductive logic programmingProgram SynthesisRelational Reasoning

Tackling the Abstraction and Reasoning Corpus (ARC) with Object-centric Models and the MDL Principle

2023-11-01 · Sébastien Ferré

The Abstraction and Reasoning Corpus (ARC) is a challenging benchmark, introduced to foster AI research towards human-level intelligence. It is a collection of unique tasks about generating colored grids, specified by a …

ARC

Learning Differentiable Logic Programs for Abstract Visual Reasoning

2023-07-03 · Hikaru Shindo, Viktor Pfanschilling, Devendra Singh Dhami, Kristian Kersting

Visual reasoning is essential for building intelligent agents that understand the world and perform problem-solving beyond perception. Differentiable forward reasoning has been developed to integrate reasoning with gradi…

Program inductionVisual Reasoning

Efficient Symbolic Reasoning for Neural-Network Verification

2023-03-23 · Zi Wang, Somesh Jha, Krishnamurthy, Dvijotham

The neural network has become an integral part of modern software systems. However, they still suffer from various problems, in particular, vulnerability to adversarial attacks. In this work, we present a novel program r…

Relation

Incremental maintenance of overgrounded logic programs with tailored simplifications

2020-08-06 · Giovambattista Ianni, Francesco Pacenza, Jessica Zangari

The repeated execution of reasoning tasks is desirable in many applicative scenarios, such as stream reasoning and event processing. When using answer set programming in such contexts, one can avoid the iterative generat…