Diese Studie umfasste keine menschlichen Teilnehmer, Tiere, biologischen Proben oder Patientendaten. Daher waren eine institutionelle ethische Genehmigung und eine informierte Einwilligung nicht erforderlich.
Überblick über den Studiendesign
Ein zweistufiges Verifizierungsframework wurde implementiert, um die faktische Zuverlässigkeit der Ausgaben von großen Sprachmodellen (LLM) zu verbessern. Das Verfahren bestand aus der Erzeugung von Antworten, der Extraktion von Aussagen, der konstruierten isolierten Referenz, der verifizierung basierend auf natürlicher Sprachinferenz (NLI), der adaptiven statistischen Entscheidungsfindung, der selektiven Korrektur und der endgültigen Zusammenstellung der Antwort. Das Framework wurde anhand der Benchmark-Datensätze TruthfulQA und FEVER evaluiert.
Gesamtarbeitsablauf
Benutzeranfrage → Erste Antwortgenerierung → Aussageextraktion → Unabhängige Referenzgenerierung → NLI-Verifizierung → Statistische Schwellwertberechnung → Aussagenkorrektur → Endgültige verifizierte Antwort. Der gesamte Arbeitsablauf des adaptiven Rahmenwerks zur Aussagenüberprüfung ist in Abbildung 1 dargestellt.
Datensatzvorbereitung
Der TruthfulQA-Datensatz12, der 817 faktenbasierte Fragen enthält, wurde heruntergeladen und für die Auswertung vorbereitet. Der FEVER-Datensatz13 umfasst 185.445 annotierte Behauptungen, die als Unterstützt, Widerlegt oder Nicht genügend Informationen gekennzeichnet sind; für die Auswertung wurden die gekennzeichneten Entwicklungsdaten mit ihren Feldern Behauptung, Beweis und Ground-Truth-Label verwendet. Jede Behauptung wurde anhand des bereitgestellten Beweises bewertet, während das ursprüngliche FEVER-Label als Referenzergebnis zur Verifizierung beibehalten wurde. Der FEVER-Datensatz, der Paare aus Behauptungen und Beweisen zur Faktenüberprüfung enthält, wurde bezogen und vorverarbeitet. Eingabefragen und -behauptungen wurden in ein standardisiertes Textformat umgewandelt. Doppelte Einträge und unvollständige Beispiele wurden vor den Experimenten entfernt. TruthfulQA wurde in Validierungs- und Testteilmengen aufgeteilt. Etwa 20 % der TruthfulQA-Beispiele (164 Fragen) dienten der Schwellenwertanpassung, während die verbleibenden 653 Fragen für die Leistungsbewertung reserviert blieben. Für FEVER wurden die vom Benchmark bereitgestellten Behauptungen direkt als Verifizierungseinheiten verwendet und durchliefen nicht den Prozess der Antwortgenerierung und Behauptungsextraktion, der bei TruthfulQA angewandt wurde. Die Merkmale der für die Entwicklung und Bewertung des Frameworks verwendeten Benchmark-Datensätze sind in Tabelle 1 zusammengefasst.
Erzeugung der anfänglichen Antwort
Jede Abfrage wurde dem Basis-Sprachmodell übermittelt. Die Antworten wurden mithilfe von Nucleus-Sampling mit einer Temperatur von 0,7 und einem Top-p-Wert von 0,9 generiert. Die maximale Ausgabelänge war auf 256 Token begrenzt. Generierte Antworten wurden ohne Nachbearbeitung oder manuelle Änderungen gespeichert. Der generierte Text wurde direkt an die Phase der Aussageextraktion weitergeleitet.
Extraktion von Behauptungen
Jede generierte Antwort wurde in unabhängig überprüfbare Faktaussagen zerlegt. Es wurde ein strukturierter Zerlegungsansatz verwendet, um atomare Aussagen zu identifizieren. Zusammengesetzte Aussagen wurden in minimale Fakteinheiten aufgeteilt. Subjektive Meinungen, stilistische Ausdrücke und konversationelle Füllphrasen wurden entfernt. Jede extrahierte Aussage wurde als eigenständige Verifizierungseinheit gespeichert.
Beispiel:
Ursprüngliche Antwort:
„Marie Curie war eine gebürtige Polin und Physikerin sowie Chemikerin, die bahnbrechende Forschungsarbeiten zur Radioaktivität durchführte.“
Extrahierte Aussagen: (1) Marie Curie war polnischer Herkunft; (2) Marie Curie war Physikerin und Chemikerin; (3) Marie Curie führte Forschungen zur Radioaktivität durch.
Konstruktion isolierter Referenzen:
Für jede extrahierte Behauptung wurde eine unabhängige sachliche Referenz erstellt. Dem Verifizierungsmodell wurde lediglich die ursprüngliche Nutzeranfrage zur Verfügung gestellt. Der Zugriff auf die ursprünglich generierte Antwort wurde eingeschränkt, um Bestätigungsfehler zu vermeiden. Es wurde eine Faktenerinnerungs-Aufforderung verwendet, um prägnante, evidenzbasierte Antworten zu fördern. Die generierten Referenzen wurden zur anschließenden Überprüfung gespeichert.
Überprüfung der natürlichsprachlichen Inferenz
Jedes Paar aus Behauptung und Referenz wurde einem vortrainierten NLI-Modell übermittelt. Das NLI-Modell klassifizierte die Beziehung als: Bestätigung, Neutralität oder Widerspruch. Konfidenzwahrscheinlichkeiten für alle drei Klassen wurden aufgezeichnet. Es wurde eine vorzeichenbehaftete Verifizierungsscore zugewiesen: ein positiver Wert bei Bestätigung, null bei Neutralität und ein negativer Wert bei Widerspruch. Alle Verifizierungsscores wurden zur Schwellenwertberechnung gesammelt.
Berechnung adaptiver statistischer Schwellenwerte
Das Verifizierungsvertrauen, das vom NLI-Modell erzeugt wird, variiert zwischen den Antworten erheblich, da unterschiedliche Anfragen verschiedene Anzahlen von Aussagen, unterschiedliche semantische Komplexitätsgrade und verschiedene Verteilungen des Vertrauens hervorrufen. Eine feste globale Schwelle setzt voraus, dass alle Antworten einem ähnlichen Vertrauensprofil folgen, was in der Praxis selten beobachtet wird. Um diese Variabilität zu berücksichtigen, schätzt das vorgeschlagene Framework die Entscheidungsgrenze für jede Antwort einzeln anhand des Mittelwerts und der Standardabweichung ihrer Verifizierungsergebnisse. Der Mittelwert spiegelt das allgemeine Vertrauensniveau der Antwort wider, während die Standardabweichung die Streuung der Vertrauenswerte unter den extrahierten Aussagen erfasst. Diese adaptive Formulierung ermöglicht es, das Akzeptanzkriterium an die unspezifische Unsicherheit jeder einzelnen Antwort anzupassen, anstatt auf eine einzige Schwelle für alle Eingaben zu vertrauen.
Der Mittelwert (µ) und die Standardabweichung (σ) aller signierten Verifizierungsscores wurden berechnet.
Die adaptive Entscheidungsschwelle wurde wie folgt berechnet:

wobei τ die adaptive Schwelle, µ den mittleren Verifizierungswert, σ die Standardabweichung und k den Empfindlichkeitsparameter bezeichnet.
Der Empfindlichkeitsparameter wurde mit 0,7 initialisiert. Behauptungen, die als Folgerung mit Werten größer oder gleich +τ klassifiziert wurden, wurden akzeptiert. Behauptungen, die als Widerspruch mit Werten kleiner oder gleich −τ klassifiziert wurden, wurden zur Korrektur markiert. Behauptungen mit Werten innerhalb des Intervalls (−τ, +τ) wurden als neutral beibehalten.
Selektive Anspruchskorrektur
Eine Behauptung wurde nur dann zur Korrektur weitergeleitet, wenn das NLI-Modell das Paar aus Behauptung und Referenz als Widerspruch klassifizierte und die entsprechende vorzeichenbehaftete Verifizierungsscore das adaptive Schwellenwertkriterium si ≤ -τ erfüllte. Die Entscheidung zur Korrektur ergab sich somit aus der Klassenbezeichnung des NLI und der reaktionsspezifischen statistischen Schwelle. Behauptungen, die als Folgerung klassifiziert wurden und für die si ≥ τ galt, wurden akzeptiert, während Behauptungen, deren Werte im Intervall -τ < si < τ lagen, als neutral behandelt und ohne Korrektur beibehalten wurden. Dieses kombinierte Kriterium stellte sicher, dass eine Korrektur nur auf Behauptungen angewandt wurde, die sowohl einen semantischen Widerspruch aufwiesen als auch ausreichend starke negative Verifizierungsbeweise lieferten.
Rekonstruktion der Antwort
Akzeptierte und korrigierte Aussagen wurden in ihrer ursprünglichen Reihenfolge angeordnet. Die Satzgrenzen wurden wiederhergestellt, um die Lesbarkeit zu gewährleisten. Gegebenenfalls wurden geringfügige grammatische Anpassungen vorgenommen. Die zusammengestellte Ausgabe wurde als endgültige verifizierte Antwort gespeichert.
Leistungsbeurteilung
Der Rahmen wurde anhand von vier Metriken bewertet: (1) Genauigkeit: Der Anteil der Antworten, die nach der Überprüfung faktisch korrekt blieben; (2) F1-Score: Das harmonische Mittel aus Präzision und Sensitivität bei der Halluzinationsdetektion; (3) Antwortlatenz: Die gesamte Verarbeitungszeit von der Abgabe der Anfrage bis zur Generierung der überprüften Antwort; (4) Halluzinationsrate

Die Latenz wurde als mittlere Ausführungszeit über wiederholte Messungen hinweg angegeben. Da die individuellen Latenzwerte pro Durchlauf nicht gespeichert wurden, wurden Standardabweichungen und Konfidenzintervalle nicht berechnet.
Bewertung der korrekten Ergebnisse je Benchmark
Bei TruthfulQA wurde die endgültige überprüfte Antwort mit den menschlich validierten Referenzantworten des Benchmarks sowie mit Listen falscher Antworten verglichen. Eine Antwort galt als korrekt, wenn ihre faktischen Aussagen mit den akzeptierten Antwortinformationen übereinstimmten und keine Inhalte enthielt, die den identifizierten Mustern falscher Antworten entsprachen. Bei FEVER wurde jede Behauptung in der endgültigen Ausgabe anhand des zugehörigen Beweismaterials und der ursprünglichen FEVER-Anmerkung bewertet; Unterstützte Behauptungen wurden als faktisch verifiziert angesehen, während widerlegte Behauptungen als falsch gewertet wurden. Fälle mit „Nicht genügend Informationen“ wurden als unbestimmt beibehalten, anstatt als positiver faktischer Hinweis gewertet zu werden. Die resultierenden entscheidungen auf Ebene der einzelnen Behauptungen wurden für jeden Benchmark zusammengefasst, um die angegebene Genauigkeit und Halluzinationsrate zu berechnen.
Experimentelles Umfeld
Der Rahmen wurde mithilfe von Python 3.9 implementiert. Datenverarbeitungsoperationen wurden mit numerischen und tabellarischen Analysebibliotheken durchgeführt. Das NLI-Modell arbeitete im Inferenzmodus, ohne zusätzliche Feinabstimmung. Die Experimente wurden auf einer Workstation mit einem Intel Core i5-Prozessor, 16 GB RAM und einem 64-Bit-Betriebssystem ausgeführt. Alle Bewertungen erfolgten im Einzeldurchlauf-Inferenzmodus, um einen Betrieb mit geringer Latenz zu gewährleisten. Alle Experimente wurden mit identischer Hardware- und Softwarekonfiguration durchgeführt, um eine konsistente Bewertung über Datensätze und Baseline-Methoden hinweg sicherzustellen.
Erwartetes Ergebnis
Das Protokoll dient dazu, entscheidungsrelevante Verifizierungen auf Anspruchsebene zu erzeugen, indem potenziell unbegründete Behauptungen identifiziert und gezielt stark widersprüchliche Behauptungen zur Korrektur weitergeleitet werden. Die erwartete Ausgabe ist eine verifizierte Antwort mit reduzierten faktischen Inkonsistenzen und begrenztem zusätzlichem Verarbeitungsaufwand, abhängig von der Leistung, die während der experimentellen Evaluierung beobachtet wurde.