paper-with-me

홈 › Papers

Compiling Deterministic Structure into SLM Harnesses

2026-04-19 · Zan Kai Chong, Hiroyuki Ohsaki, Bryan Ng arxiv

Enterprise SLM deployment faces epistemic asymmetry: small models cannot self-correct reasoning errors, while frontier LLMs incur prohibitive costs and data sovereignty risks at scale. We propose Semantic Gradient Descent (SGDe), a teacher-student framework that compiles agentic workflows into discrete execution plans--DAG topologies, system prompts, and deterministic code. The trailing e distinguishes this discrete, compilation-based approach from stochastic gradient descent. Operating in discrete semantic space, a frontier teacher generates natural-language critiques that serve as directional gradients to iteratively refine the SLM's workflow artefacts. We formalise SGDe under PAC learning, establishing sample-complexity bounds that enable convergence with as few as three training examples by leveraging the teacher as a statistical prior. On an adversarially synthesized GSM-Hard test set, compiled workflows achieve 91.3% accuracy at m=5 and 99.3% at m=3--a +26.3% to +34.3% absolute gain over state-of-the-art prompt optimisers. Within harness engineering, SGDe treats deterministic code placement (which subtasks to delegate to Python versus retain as LLM calls) as a trace-driven, per-node optimisation target, generalising static whole-problem offloading in PAL and PoT. The teacher compiles two deterministic structures: capability offloading (delegating subtasks to Python when the SLM is unreliable) and structural consensus (wrapping variance-sensitive steps in fan-out/fan-in subgraphs with deterministic voting).

📄 PDF Abstract BibTeX arXiv:2604.17450

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

On Compiling DNNFs without Determinism

2017-09-20 · Umut Oztok, Adnan Darwiche

State-of-the-art knowledge compilers generate deterministic subsets of DNNF, which have been recently shown to be exponentially less succinct than DNNF. In this paper, we propose a new method to compile DNNFs without enf…

Compiling Combinatorial Prediction Games

2018-07-01 · ICML 2018 7 · Frederic Koriche

In online optimization, the goal is to iteratively choose solutions from a decision space, so as to minimize the average cost over time. As long as this decision space is described by combinatorial constraints, the …

NegationPrediction

A canonical generalization of OBDD

2026-04-07 · Florent Capelli, YooJung Choi, Stefan Mengel, Martín Muñoz 외 arxiv

We introduce Tree Decision Diagrams (TDD) as a model for Boolean functions that generalizes OBDD. They can be seen as a restriction of structured d-DNNF; that is, d-DNNF that respect a vtree $T$. We show that TDDs enjoy …

VeRO: A Harness for Agents to Optimize Agents

2026-02-25 · Varun Ursekar, Apaar Shanker, Veronica Chatrath, Yuan Xue 외 arxiv

An important emerging application of coding agents is agent harness optimization: the iterative improvement of a target agent by editing and evaluating its code. Despite its relevance, the community lacks a systematic un…

Compiling by Proving: Language-Agnostic Automatic Optimization from Formal Semantics

2025-09-26 · Jianhong Zhao, Everett Hildenbrandt, Juan Conejero, Yongwang Zhao arxiv

Verification proofs encode complete program behavior, yet we discard them after checking correctness. We present compiling by proving, a paradigm that transforms these proofs into optimized execution rules. By constructi…