SOURCE-LINKED INTELLIGENCE

Stratified Consistency Distillation for Natural Language Formalization

arXiv · AI, language, vision and robotics · article · Aug 31, 2026 · UTC

Neurosymbolic reasoning has shown promising success in addressing complex reasoning tasks by combining large language models (LLMs) and symbolic solvers. While this approach shows promise, a fundamental challenge remains: improving the accuracy of translations from natural language to logical formulas. Current methods predominantly rely on prompt engineering, which is difficult to scale across different domains and input formats. Drawing inspiration from the success of fine-tuning in other model adaptation and alignment applications, we propose a fine-tuning-based Stratified Consistency Distil

Read original source ↗ Open in workspace

recordType

paper

region

Global