Deze studie omvatte geen menselijke deelnemers, dieren, biologische monsters of patiëntgegevens. Daarom waren institutionele ethische goedkeuring en geïnformeerde toestemming niet vereist.
Overzicht van het onderzoeksontwerp
Er werd een tweestaps verificatiekader geïmplementeerd om de feitelijke betrouwbaarheid van outputs van grote taalmodellen (LLM's) te verbeteren. De procedure bestond uit responsgeneratie, claimextractie, de constructie van geïsoleerde referenties, Natural Language Inference (NLI)-gebaseerde verificatie, adaptieve statistische besluitvorming, selectieve correctie en de uiteindelijke samenstelling van de respons. Het kader werd geëvalueerd met behulp van de TruthfulQA- en FEVER-benchmarkdatasets.
Algemene workflow
Gebruikersvraag → Genereren van initiële respons → Extractie van claims → Onafhankelijke generatie van referenties → NLI-verificatie → Berekening van statistische drempelwaarden → Correctie van claims → Definitieve geverifieerde respons. De algehele workflow van het adaptieve framework voor claimverificatie is geïllustreerd in Figuur 1.
Datasetvoorbereiding
De TruthfulQA-dataset12, bestaande uit 817 feitelijke vragen, werd gedownload en klaargezet voor evaluatie. De FEVER-dataset13 bevat 185.445 geannoteerde claims die zijn gelabeld als 'Supported', 'Refuted' of 'Not Enough Information'; voor de evaluatie werden de gelabelde ontwikkelingsgegevens gebruikt, inclusief de velden voor claim, bewijs en het ground-truth label. Elke claim werd geëvalueerd op basis van het verstrekte bewijs, waarbij het oorspronkelijke FEVER-label werd behouden als referentie-uitkomst voor verificatie. De FEVER-dataset, die paren van claims en bewijzen voor feitenverificatie bevat, werd verkregen en voorbewerkt. Invoervragen en claims werden omgezet naar een gestandaardiseerd tekstformaat. Dubbele vermeldingen en onvolledige monsters werden voor de experimenten verwijderd. TruthfulQA werd verdeeld in validatie- en testsubsets. Ongeveer 20% van de TruthfulQA-monsters (164 vragen) werd gebruikt voor het afstellen van de drempelwaarde, terwijl de resterende 653 vragen werden gereserveerd voor de prestatie-evaluatie. Voor FEVER werden de in de benchmark verstrekte claims direct als verificatie-eenheden gebruikt en ondergingen zij niet de procedure voor responsgeneratie en claimextractie die bij TruthfulQA is toegepast. De kenmerken van de benchmark-datasets die zijn gebruikt voor de ontwikkeling en evaluatie van het raamwerk zijn samengevat in Tabel 1.
Initiële responsgeneratie
Elke query werd ingediend bij het basis taalmodel. Responsen werden gegenereerd met nucleus sampling met een temperatuur van 0.7 en een top-p van 0.9. De maximale outputlengte werd beperkt tot 256 tokens. De gegenereerde responsen werden opgeslagen zonder enige post-processing of handmatige aanpassing. De gegenereerde tekst werd direct doorgestuurd naar de fase van claimextractie.
Extractie van claims
Elk gegenereerd antwoord werd ontbonden in onafhankelijk verifieerbare feitelijke beweringen. Er werd gebruikgemaakt van een gestructureerde decompositieprompt om atomaire claims te identificeren. Samengestelde beweringen werden gesplitst in minimale feitelijke eenheden. Subjectieve meningen, stilistische uitdrukkingen en conversationele opvulling werden verwijderd. Elke geëxtraheerde claim werd opgeslagen als een onafhankelijke verificatie-eenheid.
Voorbeeld:
Originele reactie:
"Marie Curie was een in Polen geboren natuurkundige en chemicus die pionierswerk verrichtte op het gebied van radioactiviteit."
Geëxtraheerde claims: (1) Marie Curie was in Polen geboren; (2) Marie Curie was een natuurkundige en chemicus; (3) Marie Curie deed onderzoek naar radioactiviteit.
Geïsoleerde referentieconstructie:
Voor elke geëxtraheerde claim werd een onafhankelijke feitelijke referentie gegenereerd. Het verificatiemodel ontving uitsluitend de oorspronkelijke query van de gebruiker. De toegang tot het oorspronkelijke gegenereerde antwoord was beperkt om bevestigingsvooroordelen te voorkomen. Er werd gebruikgemaakt van een prompt voor feitelijke herinnering om beknopte, op bewijzen gebaseerde antwoorden te stimuleren. De gegenereerde referenties werden opgeslagen voor latere verificatie.
Verificatie van natuurlijke taalinferentie
Elk claim-referentiepaar werd ingediend bij een vooraf getraind NLI-model. Het NLI-model classificeerde de relatie als: Entailment, Neutral of Contradiction. De betrouwbaarheidskans voor alle drie de klassen werd vastgelegd. Er werd een getekende verificatiescore toegekend: een positieve waarde voor entailment, nul voor neutraal of een negatieve waarde voor contradictie. Alle verificatiescores werden verzameld voor de berekening van de drempelwaarde.
Adaptieve berekening van de statistische drempelwaarde
De verificatiebetrouwbaarheid die door het NLI-model wordt gegenereerd, varieert aanzienlijk per antwoord, omdat verschillende queries leiden tot een verschillend aantal claims, variërende niveaus van semantische complexiteit en uiteenlopende betrouwbaarheidsverdelingen. Een vaste wereldwijde drempelwaarde gaat ervan uit dat alle antwoorden een vergelijkbaar betrouwbaarheidsprofiel volgen, wat in de praktijk zelden wordt waargenomen. Om deze variabiliteit op te vangen, schat het voorgestelde framework de beslissingsgrens individueel voor elk antwoord, op basis van het gemiddelde en de standaarddeviatie van de verificatiescores. Het gemiddelde weerspiegelt het algemene betrouwbaarheidsniveau van het antwoord, terwijl de standaarddeviatie de spreiding van de betrouwbaarheidswaarden tussen de geëxtraheerde claims vastlegt. Deze adaptieve formulering maakt het mogelijk dat het acceptatiecriterium zich aanpast aan de onzekerheid die specifiek is voor het antwoord, in plaats van te vertrouwen op één enkele drempelwaarde voor alle inputs.
Het gemiddelde (µ) en de standaarddeviatie (σ) van alle getekende verificatiescores werden berekend.
De adaptieve beslissingsdrempel werd als volgt berekend:

waarbij τ de adaptieve drempelwaarde vertegenwoordigt, µ de gemiddelde verificatiescore aanduidt, σ de standaarddeviatie aanduidt en k de sensitiviteitsparameter vertegenwoordigt.
De sensitiviteitsparameter werd geïnitialiseerd op 0,7. Beweringen die werden geclassificeerd als Entailment met scores groter dan of gelijk aan +τ werden geaccepteerd. Beweringen die werden geclassificeerd als Contradiction met scores kleiner dan of gelijk aan −τ werden gemarkeerd voor correctie. Beweringen met scores binnen het interval (−τ, +τ) werden als neutraal behouden.
Selectieve correctie van claims
Een bewering werd alleen ter correctie doorgestuurd wanneer het NLI-model het bewering-referentiepaar classificeerde als Tegenstrijdigheid (Contradiction), en de bijbehorende getekende verificatiescore voldeed aan het adaptieve drempelcriterium si ≤ -τ. De beslissing tot correctie werd dus gezamenlijk bepaald door het NLI-klassificatielabel en de responspecifieke statistische drempelwaarde. Beweringen die werden geclassificeerd als Implicatie (Entailment) met si ≥ τ werden geaccepteerd, terwijl beweringen die binnen het interval -τ < si < τ vielen, als neutraal werden beschouwd en zonder correctie werden behouden. Dit gecombineerde criterium waarborgde dat correctie alleen werd toegepast op beweringen die zowel semantische tegenstrijdigheid als voldoende sterk negatief verificatiebewijs vertoonden.
Reconstructie van de respons
Geaccepteerde en gecorrigeerde claims werden in hun oorspronkelijke volgorde geplaatst. Zinsgrenzen werden hersteld om de leesbaarheid te behouden. Waar nodig zijn kleine grammaticaal aanpassingen doorgevoerd. De samengestelde output werd opgeslagen als de definitieve geverifieerde reactie.
Prestatie-evaluatie
Het raamwerk werd geëvalueerd met behulp van vier metrieken: (1) Nauwkeurigheid: Het aandeel antwoorden dat na verificatie feitelijk correct bleef; (2) F1-score: Het harmonisch gemiddelde van de precisie en recall van de hallucinatiedetectie; (3) Reactietijd: De totale verwerkingstijd van het indienen van de query tot het genereren van het geverifieerde antwoord; (4) Hallucinatiesnelheid

De latentie werd gerapporteerd als de gemiddelde uitvoeringstijd over herhaalde metingen. Omdat individuele latentiewaarden per run niet zijn bewaard, zijn er geen standaarddeviaties en betrouwbaarheidsintervallen berekend.
Correctheidsevaluatie specifiek voor benchmarks
Voor TruthfulQA werd de definitieve geverifieerde respons vergeleken met de door mensen gevalideerde antwoordreferenties en lijsten met incorrecte antwoorden van de benchmark. Een respons werd als correct geteld wanneer de feitelijke beweringen in overeenstemming waren met de geaccepteerde antwoordinformatie en geen inhoud bevatten die overeenkwam met de geïdentificeerde patronen van incorrecte responsen. Voor FEVER werd elke bewering in de uiteindelijke output geëvalueerd aan de hand van de bijbehorende bewijslast en de oorspronkelijke FEVER-annotatie; 'Supported'-beweringen werden beschouwd als feitelijk geverifieerd, terwijl 'Refuted'-beweringen als incorrect werden geteld. Gevallen van 'Not Enough Information' werden als onbepaald behouden in plaats van als positief feitelijk bewijs te worden behandeld. De resulterende beslissingen op beweringsniveau werden over elke benchmark geaggregeerd om de gerapporteerde nauwkeurigheid (Accuracy) en hallucinatiegraad (Hallucination Rate) te berekenen.
Experimentele omgeving
Het raamwerk is geïmplementeerd met Python 3.9. Gegevensverwerkingsoperaties werden uitgevoerd met behulp van bibliotheken voor numerieke en tabulaire analyse. Het NLI-model werkte in inferentiemodus zonder aanvullende fine-tuning. De experimenten werden uitgevoerd op een workstation uitgerust met een Intel Core i5-processor, 16 GB RAM en een 64-bits besturingssysteem. Alle evaluaties werden uitgevoerd met een single-pass inferentie-instelling om een lage latentie te garanderen. Alle experimenten werden uitgevoerd met identieke hardware- en softwareconfiguraties om een consistente evaluatie over datasets en baseline-methoden te waarborgen.
Verwacht resultaat
Het protocol is ontworpen om verificatiebeslissingen op claimniveau te genereren door potentieel ononderbouwde claims te identificeren en sterk tegengesproken claims selectief door te sturen voor correctie. De verwachte output is een geverifieerd antwoord met minder feitelijke inconsistenties en beperkte extra verwerkingskosten, afhankelijk van de prestaties die tijdens de experimentele evaluatie worden waargenomen.