Preprint upozorňuje na naratívnu medzeru v slučkách medzi LLM a formálnym solverom
Nový arXiv preprint analyzuje, ako sa môže stratiť záruka formálneho solvera, keď jazykový model prekladá jeho výsledok späť do ľudskej odpovede. Autori túto fázu nazývajú naratívna medzera v LLM-solver slučkách.