Evergreen: Verifica di Affermazioni per Aggregati Semantici Prodotti da LLM

Un nuovo sistema chiamato Evergreen affronta la sfida di verificare le affermazioni negli aggregati semantici prodotti dai LLM. L'aggregazione semantica riduce una relazione in un aggregato in linguaggio naturale, ma questi aggregati possono contenere affermazioni non fondate. Evergreen riformula la verifica delle affermazioni come un compito di elaborazione di query semantiche, compilando ogni affermazione in una query di verifica dichiarativa eseguita sullo stesso motore che ha generato l'aggregato. Impiega ottimizzazioni consapevoli della verifica come l'arresto anticipato e l'ordinamento per rilevanza per ridurre costi e latenza evitando chiamate LLM non necessarie. Il sistema gestisce affermazioni che coinvolgono quantificatori, raggruppamenti e confronti su grandi relazioni che superano le finestre di contesto dei LLM.