Stratified Consistency Distillation for Natural Language Formalization

arXiv:2608.30258 · cs.CL, cs.AI · Submitted 2026-08-31 · Read on arXiv

cs.CL, cs.AI

Submitted: 2026-08-31

Updated: 2026-10-02

Terminology

• Distillation — 32× in this paper · explained in 2 episodes
• Consistency — 20× in this paper · explained in 3 episodes
• Consistency Distillation — 14× in this paper · explained in 2 episodes
• Fine-Tuning — 12× in this paper · explained in 5 episodes
• Stratified Consistency Distillation — 11× in this paper
• Large Language Models (LLMs) — 5× in this paper · explained in 6 episodes
• Accuracy — 4× in this paper · explained in 1 episode
• Clustering — 4× in this paper · explained in 2 episodes
• Verification — 4× in this paper · explained in 2 episodes
• Ablation — 3× in this paper · explained in 1 episode
• Alignment — 3× in this paper · explained in 1 episode
• Prompt Engineering — 3× in this paper · explained in 4 episodes
• Adaptation — 2× in this paper · explained in 1 episode
• Benchmark — 2× in this paper · explained in 2 episodes
• Chain-of-Thought Prompting — 2× in this paper · explained in 2 episodes
• Hallucination — 2× in this paper · explained in 3 episodes
• LLM-as-a-Judge — 2× in this paper · explained in 3 episodes
• Pseudo-labels — 2× in this paper · explained in 2 episodes
• Ablation Studies — 1× in this paper · explained in 1 episode
• Ablation study — 1× in this paper · explained in 1 episode
• Abstention — 1× in this paper · explained in 1 episode
• Chain-of-Thought (CoT) — 1× in this paper · explained in 4 episodes
• Chain-of-Thought (CoT) Reasoning — 1× in this paper · explained in 2 episodes
• Computational overhead — 1× in this paper · explained in 2 episodes
• Formal Verification — 1× in this paper · explained in 2 episodes
• In-Context Learning — 1× in this paper · explained in 4 episodes
• Knowledge Distillation — 1× in this paper · explained in 11 episodes
• LoRA (Low-Rank Adaptation) — 1× in this paper · explained in 3 episodes
• Parameter-Efficient Fine-Tuning — 1× in this paper · explained in 2 episodes
• SMT solver — 1× in this paper · explained in 2 episodes
• Self-consistency — 1× in this paper · explained in 2 episodes
• Verifier — 1× in this paper · explained in 2 episodes

Sources

• Training Verifiers to Solve Math Word Problems
• Complexity-Based Prompting for Multi-Step Reasoning
• Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning
• Gemini 1.5: Unlocking multimodal understanding across millions of tokens of context
• Math-Shepherd: Verify and Reinforce LLMs Step-by-step without Human Annotations
• Chain-of-Thought Prompting Elicits Reasoning in Large Language Models
• MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Models
• Fine-Tuning Language Models from Human Preferences

Related papers

• Exploring Solution Divergence and Its Effect on Large Language Model Problem Solving
• Ishigaki-IDS-Bench: A Benchmark for Generating Information Delivery Specification from BIM Information Requirements
• Subliminal Steering: Stronger Encoding of Hidden Signals
• MedStruct-S: A Benchmark for Key Discovery, Key-Conditioned QA and Semi-Structured Extraction from OCR Clinical Reports
• The End of Transformers? On Challenging Attention and the Rise of Sub-Quadratic Architectures
• Untangling the Mechanisms of Misleading Context in Medical Question Answering