Skip to content
Sagan

Paper

Analyzing the Narration Gap in LLM-Solver Loops

Unreadunread

AI summary

arXiv:2606. 19588v1 Announce Type: new Abstract: 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.