Stratified Consistency Distillation for Natural Language Formalization.

arXiv:2608.30258v3 Announce Type: replace-cross Abstract: 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