Analyzing the Narration Gap in LLM-Solver Loops

Zunchen Huang, Songgaojun Deng

Formal tools such as SAT and SMT solvers are increasingly embedded in language model reasoning pipelines when a safety or security critical question can be formulated in logic. Unl…