Badanie to nie obejmowało uczestników będących ludźmi, zwierząt, próbek biologicznych ani danych pacjentów. W związku z tym nie wymagano instytucjonalnej zgody komisji etycznej ani świadomej zgody.
Przegląd projektu badania
W celu poprawy rzetelności faktograficznej wyników generowanych przez duże modele językowe (LLM) wdrożono dwuetapowy schemat weryfikacji. Procedura obejmowała generowanie odpowiedzi, ekstrakcję twierdzeń, konstruowanie izolowanych referencji (Isolated Reference Construction), weryfikację opartą na wnioskowaniu w języku naturalnym (NLI), adaptacyjne podejmowanie decyzji statystycznych, selektywną korektę oraz końcowy montaż odpowiedzi. Schemat został oceniony z wykorzystaniem zbiorów danych benchmarkowych TruthfulQA oraz FEVER.
Ogólny schemat postępowania
Zapytanie użytkownika → Generowanie wstępnej odpowiedzi → Ekstrakcja twierdzeń → Niezależne generowanie referencji → Weryfikacja NLI → Obliczanie progu statystycznego → Korekta twierdzeń → Końcowa zweryfikowana odpowiedź. Ogólny schemat działania adaptacyjnego systemu weryfikacji twierdzeń został przedstawiony na Rysunku 1.
Przygotowanie zbioru danych
Zbiór danych TruthfulQA12, zawierający 817 pytań zorientowanych na fakty, został pobrany i przygotowany do ewaluacji. Zbiór danych FEVER13 składa się ze 185 445 adnotowanych twierdzeń oznaczonych jako Wspierane (Supported), Odparte (Refuted) lub Brak wystarczających informacji (Not Enough Information); w ewaluacji wykorzystano oznaczone dane rozwojowe z polami twierdzenia, dowodu oraz etykiety prawdy obiektywnej. Każde twierdzenie oceniano w odniesieniu do dostarczonego dowodu, natomiast oryginalną etykietę FEVER zachowano jako referencyjny wynik weryfikacji. Zbiór danych FEVER, zawierający pary twierdzenie-dowód do weryfikacji faktów, został pozyskany i poddany wstępnej obróbce. Pytania i twierdzenia wejściowe przekształcono do ustandaryzowanego formatu tekstowego. Przed rozpoczęciem eksperymentów usunięto zdublowane wpisy oraz niekompletne próbki. Zbiór TruthfulQA podzielono na podzbiory walidacyjne i testowe. Około 20% próbek TruthfulQA (164 pytania) wykorzystano do dostrojenia progu, natomiast pozostałe 653 pytania zarezerwowano do oceny wydajności. W przypadku FEVER twierdzenia dostarczone w benchmarku wykorzystano bezpośrednio jako jednostki weryfikacyjne i nie poddano ich procedurze generowania odpowiedzi oraz ekstrakcji twierdzeń zastosowanej w TruthfulQA. Charakterystyka zbiorów danych benchmarkowych wykorzystanych do opracowania i ewaluacji struktury została podsumowana w Tabeli 1.
Wstępna generacja odpowiedzi
Każde zapytanie zostało przekazane do bazowego modelu językowego. Odpowiedzi generowano przy użyciu próbkowania jądrowego (nucleus sampling) z temperaturą 0,7 i top-p wynoszącym 0,9. Maksymalna długość wyjścia została ograniczona do 256 tokenów. Wygenerowane odpowiedzi zapisano bez żadnego przetwarzania końcowego ani ręcznej modyfikacji. Wygenerowany tekst przekazano bezpośrednio do etapu ekstrakcji twierdzeń.
Ekstrakcja roszczeń
Każdą wygenerowaną odpowiedź rozłożono na niezależnie weryfikowalne stwierdzenia faktyczne. Do identyfikacji twierdzeń atomowych wykorzystano ustrukturyzowany prompt do dekompozycji. Stwierdzenia złożone oddzielono na minimalne jednostki faktyczne. Usunięto opinie subiektywne, wyrażenia stylistyczne oraz wypełniacze konwersacyjne. Każde wyodrębnione twierdzenie zapisano jako niezależną jednostkę weryfikacyjną.
Przykład:
Oryginalna odpowiedź:
"Marie Curie była fizykiem i chemikiem polskiego pochodzenia, która prowadziła pionierskie badania nad promieniotwórczością."
Wyodrębnione twierdzenia: (1) Marie Curie urodziła się w Polsce; (2) Marie Curie była fizykiem i chemikiem; (3) Marie Curie prowadziła badania nad promieniotwórczością.
Konstrukcja referencyjna izolowana:
Dla każdego wyodrębnionego twierdzenia wygenerowano niezależną referencję faktyczną. Model weryfikujący otrzymał jedynie oryginalne zapytanie użytkownika. Dostęp do oryginalnej wygenerowanej odpowiedzi został ograniczony, aby uniknąć błędu potwierdzenia. Zastosowano monit przypominający o faktach, aby zachęcić do zwięzłych odpowiedzi opartych na dowodach. Wygenerowane referencje zostały zapisane do późniejszej weryfikacji.
Weryfikacja wnioskowania w języku naturalnym
Każda para twierdzenie-referencja została przekazana do wstępnie wytrenowanego modelu NLI. Model NLI zaklasyfikował relację jako: wynikającą (entailment), neutralną lub sprzeczną (contradiction). Odnotowano prawdopodobieństwa ufności dla wszystkich trzech klas. Przypisano podpisany wynik weryfikacji: wartość dodatnią dla relacji wynikającej, zero dla neutralnej oraz wartość ujemną dla sprzeczności. Wszystkie wyniki weryfikacji zostały zebrane w celu obliczenia wartości progowej.
Adaptacyjne obliczanie progu statystycznego
Poziom pewności weryfikacji generowany przez model NLI znacznie różni się w zależności od odpowiedzi, ponieważ poszczególne zapytania generują różną liczbę twierdzeń, różny stopień złożoności semantycznej oraz odmienne rozkłady pewności. Stały próg globalny zakłada, że wszystkie odpowiedzi wykazują podobny profil pewności, co w praktyce rzadko występuje. Aby uwzględnić tę zmienność, proponowany framework szacuje granicę decyzyjną indywidualnie dla każdej odpowiedzi, wykorzystując średnią i odchylenie standardowe jej wyników weryfikacji. Średnia odzwierciedla ogólny poziom pewności odpowiedzi, natomiast odchylenie standardowe oddaje rozproszenie wartości pewności pomiędzy wyekstrahowanymi twierdzeniami. Ta adaptacyjna formulacja pozwala kryterium akceptacji dostosować się do niepewności specyficznej dla danej odpowiedzi, zamiast polegać na pojedynczym progu dla wszystkich danych wejściowych.
Obliczono średnią (µ) oraz odchylenie standardowe (σ) dla wszystkich podpisanych wyników weryfikacji.
Adaptacyjny próg decyzyjny obliczono jako:

gdzie τ oznacza próg adaptacyjny, µ oznacza średni wynik weryfikacji, σ oznacza odchylenie standardowe, a k oznacza parametr czułości.
Parametr czułości został zainicjowany na wartości 0,7. Twierdzenia zaklasyfikowane jako Wynikanie (Entailment) z wynikami większymi lub równymi +τ zostały zaakceptowane. Twierdzenia zaklasyfikowane jako Sprzeczność (Contradiction) z wynikami mniejszymi lub równymi −τ zostały oznaczone do poprawy. Twierdzenia z wynikami mieszczącymi się w przedziale (−τ, +τ) pozostały neutralne.
Selektywna korekta zastrzeżeń
Twierdzenie było przekazywane do korekty tylko wtedy, gdy model NLI klasyfikował parę twierdzenie-referencja jako sprzeczność (Contradiction), a odpowiadający jej podpisany wynik weryfikacji spełniał kryterium adaptacyjnego progu si ≤ -τ. Zatem decyzja o korekcie była wspólnie określana przez etykietę klasy NLI oraz specyficzny dla odpowiedzi próg statystyczny. Twierdzenia zaklasyfikowane jako wynikające (Entailment) z si ≥ τ zostały zaakceptowane, natomiast twierdzenia mieszczące się w przedziale -τ < si < τ uznano za neutralne i pozostawiono bez korekty. To połączone kryterium zapewniło, że korekta była stosowana wyłącznie do twierdzeń wykazujących zarówno sprzeczność semantyczną, jak i wystarczająco silne negatywne dowody weryfikacyjne.
Rekonstrukcja odpowiedzi
Zaakceptowane i poprawione twierdzenia zostały uporządkowane w ich pierwotnej sekwencji. Przywrócono granice zdań w celu zachowania czytelności. W razie potrzeby wprowadzono niewielkie korekty gramatyczne. Złożony wynik zapisano jako ostateczną zweryfikowaną odpowiedź.
Ocena wydajności
Ramę oceniono za pomocą czterech wskaźników: (1) Dokładność: proporcja odpowiedzi, które pozostały poprawne merytorycznie po weryfikacji; (2) Wynik F1: średnia harmoniczna precyzji i pełności wykrywania halucynacji; (3) Opóźnienie odpowiedzi: całkowity czas przetwarzania od przesłania zapytania do wygenerowania zweryfikowanej odpowiedzi; (4) Współczynnik halucynacji

Opóźnienie raportowano jako średni czas wykonania z powtórzonych pomiarów. Ponieważ nie zachowano indywidualnych wartości opóźnień dla poszczególnych uruchomień, nie obliczono odchyleń standardowych ani przedziałów ufności.
Ocena poprawności specyficzna dla benchmarku
W przypadku TruthfulQA końcowa zweryfikowana odpowiedź była porównywana z referencyjnymi odpowiedziami zatwierdzonymi przez ludzi oraz listami błędnych odpowiedzi w benchmarku. Odpowiedź uznawano za poprawną, gdy zawarte w niej twierdzenia faktyczne były spójne z zaakceptowanymi informacjami w odpowiedziach i nie zawierały treści odpowiadających zidentyfikowanym wzorcom błędnych odpowiedzi. W przypadku FEVER każde twierdzenie w końcowym wyniku oceniano w odniesieniu do powiązanych z nim dowodów i oryginalnej adnotacji FEVER; twierdzenia uznane za „Supported” (potwierdzone) traktowano jako zweryfikowane faktycznie, natomiast twierdzenia „Refuted” (obalone) liczono jako błędne. Przypadki „Not Enough Information” (brak wystarczających informacji) pozostawiono jako nierozstrzygnięte, zamiast traktować je jako pozytywne dowody faktyczne. Wynikowe decyzje na poziomie poszczególnych twierdzeń zostały zagregowane w ramach każdego benchmarku, aby obliczyć raportowaną dokładność (Accuracy) oraz wskaźnik halucynacji (Hallucination Rate).
Środowisko eksperymentalne
Struktura została zaimplementowana przy użyciu języka Python 3.9. Operacje przetwarzania danych wykonano z wykorzystaniem bibliotek do analizy numerycznej i tabularnej. Model NLI pracował w trybie wnioskowania bez dodatkowego dostrajania. Eksperymenty przeprowadzono na stacji roboczej wyposażonej w procesor Intel Core i5, 16 GB RAM oraz 64-bitowy system operacyjny. Wszystkie oceny przeprowadzono w ustawieniu wnioskowania jednoprzepływowego w celu zapewnienia niskich opóźnień podczas pracy. Wszystkie eksperymenty przeprowadzono przy użyciu identycznych konfiguracji sprzętowych i programowych, aby zapewnić spójną ewaluację we wszystkich zbiorach danych i metodach bazowych.
Oczekiwany wynik
Protokół został zaprojektowany w celu generowania decyzji weryfikacyjnych na poziomie stwierdzeń poprzez identyfikację potencjalnie niepopartych twierdzeń i selektywne przesyłanie silnie sprzecznych treści do korekty. Oczekiwanym wynikiem jest zweryfikowana odpowiedź z ograniczoną liczbą niespójności faktycznych i minimalnym dodatkowym obciążeniem procesowym, w zależności od wydajności zaobserwowanej podczas ewaluacji eksperymentalnej.