Skip to content

SpecAlign: Efficient Specification-Grounded Alignment of Large Language Models via Synthetic Data

Jun 2026 · arXiv.org · Vol abs/2606.16276 · 4 citations
Computer Science

TL;DR

This paper proposes specification-grounded alignment, a new alignment paradigm that treats provider-authored model specifications as the primary alignment target rather than abstract principles or static benchmarks, and introduces SpecAlign, a framework that synthesizes alignment data directly from specification documents.

Abstract

As large language models (LLMs) are increasingly deployed in real-world applications, alignment is no longer governed by a single universal notion of safety or helpfulness, but instead by provider- or application-specific model specifications. These specifications are typically long, structured, and frequently updated, yet existing alignment pipelines lack a systematic mechanism to operationalize them as training signals. In this paper, we propose specification-grounded alignment, a new alignment paradigm that treats provider-authored model specifications as the primary alignment target rather than abstract principles or static benchmarks. To instantiate this paradigm, we introduce SpecAlign, a framework that synthesizes alignment data directly from specification documents. SpecAlign combines structured rule annotation, controllable specification instantiation, and multi-agent adversarial data synthesis to generate fine-grained, boundary-aware preference pairs that capture both compliant behaviors and meaningful specification violations. Experiments across multiple model specifications and backbone models demonstrate that training with SpecAlign consistently improves rule compliance while preserving general capabilities and avoiding over-conservative behavior. These results suggest that grounding alignment in explicit model specifications enables rapid, precise, and scalable adaptation of LLM behavior to evolving policy requirements.

View source

Similar papers

Preprint Sep 2026

SpecCoder: Specification-Aware Code Generation with Curriculum Dual-Task Reinforcement Learning

Large language models (LLMs) have made substantial progress in code generation but still struggle with challenging programming tasks that require understanding rich natural language requirements. These requirements often specify problem goals, input/output formats, constraints, examples, and edge cases. Overlooking eve...

Yi-Xuan Li, Min Huang, Jia-Jing Wang et al. · 0 citations
#small language model Preprint Aug 2026

SchemaGUI: A Schema-Driven Benchmark for Controllable GUI Generation Evaluation

SchemaGUI, a template-based benchmark for controllable GUI generation evaluation, synthesizing paired natural language instructions and deterministic function-call references from parameterized interface schemas can generate thousands of deterministically annotated tasks in seconds without human labeling.

Jiarui Dong, Yin Cai, Zhouhong Gu et al. · 0 citations
#natural language process... Preprint Oct 2026

VALCON: Benchmarking and Enhancing Value Consistency in Large Language Models via Dual-Role Variation

Current value alignment evaluations for large language models (LLMs) heavily rely on output compliance, overlooking whether LLMs maintain value consistency when alternating between generator and evaluator roles. Such consistency is increasingly important because modern LLM agents and alignment pipelines often rely on t...

Jun-Ru Wu, Jing-Ting Zheng, Yu-Qi Ren et al. · 0 citations
#artificial intelligence Review Sep 2026

EADC: Evaluation of Advanced and Deep-level Compliance in Large Language Models

EADC, a novel advanced evaluation benchmark of LLMs based on an AI compliance knowledge graph and AI compliance legal experts, is introduced, offering a rigorous, AI laws and regulations-aligned benchmark to safeguard high-level and deep compliance in the application of LLMs.

Yan Zhang, Rui-En Li, Yao-Yao Peng et al. · 0 citations
Preprint Sep 2026

SpecLens: LLM-Based Verilog Generation with Specification-Derived Constraints via Behavioral Divergence

This work proposes SpecLens, an automated framework for LLM-based Verilog generation that derives specification-driven constraints by analyzing behavioral divergence among multiple candidate implementations, using the original specification as the only external semantic source during generation.

Wen Bing, Bing Li · 0 citations
#small language model Open access Sep 2026

IOLM-DB: Instance-optimized large language model execution for column-scale semantic operators

Large language models (LLMs) can implement row-level semantic transformations over tabular data, but a general-purpose model reserves the same accelerator resources even when every row uses one fixed prompt. IOLM-DB compiles that recurring prompt–column pair into an operator sized to the work it actually does. It sampl...

Bardia Mohammadi, Laurent Bindschaedler · 0 citations

Related blog posts

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.