paper-with-me

Papers

Compile by Training: Turning Natural-Language Specifications into Local Neural Functions

2026-09-03 · Yuntian Deng, Pengyu Nie, Stuart Shieber hf

Many recurring text functions are easy to describe but difficult to implement with rules, while calling a large remote model for every input introduces repeated cost, latency, and dependency on a provider. We present compile by training, which turns a natural-language specification into a reusable neural function. At compile time, teacher models generate task-specific examples that are used to train a small adapter for a compact interpreter. The resulting function runs without the teachers and can be stored, versioned, and composed like ordinary software. On FuzzyBench-Hard, a subset on which the Program-as-Weights fast compiler produced no exact matches, compile by training reaches 83.6% semantic accuracy. This higher accuracy comes with a higher compile-time cost: roughly a minute rather than seconds for the fast compiler. We deploy the compiler in a public interactive service and demonstrate compiled functions in a multi-site website helper, a language-controlled 3D avatar, and a bidirectional English-Claudish translator.

📄 PDF Abstract BibTeX arXiv:2609.04199

Code (3)

InsomaniacElf/sg-tamil-tts-resources- ★ 1
StarDust-zz/compile-by-training
Tavish9/awesome-daily-AI-arxiv ★ 114

Similar Papers 제목 키워드 기반

CktFormalizer: Autoformalization of Natural Language into Circuit Representations

2026-05-08 · Jing Xiong, Qi Han, Chenchen Ding, He Xiao 외 arxiv

LLMs can generate hardware descriptions from natural language specifications, but the resulting Verilog often contains width mismatches, combinational loops, and incomplete case logic that pass syntax checks yet fail in …

Bridging Natural Language and Interactive What-If Interfaces via LLM-Generated Declarative Specification

2026-04-08 · Sneha Gathani, Sirui Zeng, Diya Patel, Ryan Rossi 외 arxiv

What-if analysis (WIA) is an iterative, multi-step process where users explore and compare hypothetical scenarios by adjusting parameters, applying constraints, and scoping data through interactive interfaces. Current to…

Towards Spec Learning: Inference-Time Alignment from Preference Pairs

2026-06-22 · Dhriti Krishnan, Tejas Goyal, Jaromir Savelka arxiv

Steering a large language model (LLM) toward a desired behavior typically relies on an iterative process of hand-crafting a prompt based on a careful inspection of the model's responses. This is an involved, brittle, and…

Hermes: Unlocking Security Analysis of Cellular Network Protocols by Synthesizing Finite State Machines from Natural Language Specifications

2023-10-06 · Abdullah Al Ishtiaq, Sarkar Snigdha Sarathi Das, Syed Md Mukit Rashid, Ali Ranjbar 외

In this paper, we present Hermes, an end-to-end framework to automatically generate formal representations from natural language cellular specifications. We first develop a neural constituency parser, NEUTREX, to process…

Precise but Natural Specification for Robot Tasks

2018-03-06 · Ivan Gavran, Brendon Boldt, Eva Darulova, Rupak Majumdar

We present Flipper, a natural language interface for describing high-level task specifications for robots that are compiled into robot actions. Flipper starts with a formal core language for task planning that allows exp…

Task Planning