Cette étude n'a pas impliqué de participants humains, d'animaux, d'échantillons biologiques ni de données de patients. Par conséquent, une approbation éthique institutionnelle et un consentement éclairé n'étaient pas requis.
Aperçu de la conception de l'étude
Un cadre de vérification en deux étapes a été mis en œuvre pour améliorer la fiabilité factuelle des sorties des grands modèles linguistiques (LLM). La procédure comprenait la génération de réponses, l'extraction d'affirmations, la construction isolée de références, la vérification fondée sur l'inférence en langage naturel (NLI), la prise de décision statistique adaptative, la correction sélective et l'assemblage final de la réponse. Le cadre a été évalué à l'aide des ensembles de données de référence TruthfulQA et FEVER.
Flux opérationnel global
Requête de l'utilisateur → Génération de la réponse initiale → Extraction des affirmations → Génération indépendante des références → Vérification par inférence naturelle (NLI) → Calcul du seuil statistique → Correction des affirmations → Réponse finale vérifiée. Le flux de travail global du cadre adaptatif de vérification des affirmations est illustré dans Figure 1.
Préparation du jeu de données
Le jeu de données TruthfulQA12, contenant 817 questions axées sur des faits, a été téléchargé et préparé pour l'évaluation. Le jeu de données FEVER13 comprend 185 445 affirmations annotées étiquetées comme étant Supportées, Réfutées ou Ne contenant pas assez d'informations ; l'évaluation a utilisé les données de développement étiquetées, avec leurs champs d'affirmation, de preuve et d'étiquette de vérité terrain. Chaque affirmation a été évaluée par rapport à la preuve fournie, tandis que l'étiquette FEVER d'origine a été conservée comme résultat de référence pour la vérification. Le jeu de données FEVER, qui contient des paires affirmation-preuve pour la vérification de faits, a été obtenu et prétraité. Les questions et affirmations d'entrée ont été converties en un format texte normalisé. Les entrées en double et les échantillons incomplets ont été supprimés avant l'expérimentation. TruthfulQA a été divisé en sous-ensembles de validation et de test. Environ 20 % des échantillons de TruthfulQA (164 questions) ont été utilisés pour le réglage du seuil, tandis que les 653 questions restantes ont été réservées pour l'évaluation des performances. Pour FEVER, les affirmations fournies par le benchmark ont été utilisées directement comme unités de vérification et n'ont pas subi la procédure de génération de réponse et d'extraction d'affirmation appliquée à TruthfulQA. Les caractéristiques des jeux de données de référence utilisés pour le développement et l'évaluation du cadre sont résumées dans Tableau 1.
Génération de la réponse initiale
Chaque requête a été soumise au modèle linguistique de base. Les réponses ont été générées à l'aide d'un échantillonnage par noyau avec une température de 0,7 et un top-p de 0,9. La longueur maximale de sortie était limitée à 256 jetons. Les réponses générées ont été stockées sans post-traitement ni modification manuelle. Le texte généré a été transmis directement à l'étape d'extraction des affirmations.
Extraction de revendications
Chaque réponse générée a été décomposée en énoncés factuels indépendamment vérifiables. Un modèle de décomposition structuré a été utilisé pour identifier les affirmations élémentaires. Les énoncés composés ont été séparés en unités factuelles minimales. Les opinions subjectives, les expressions stylistiques et les éléments superflus de conversation ont été supprimés. Chaque affirmation extraite a été stockée comme une unité de vérification indépendante.
Exemple :
Réponse d'origine :
« Marie Curie était une physicienne et chimiste d'origine polonaise qui a mené des recherches pionnières sur la radioactivité. »
Revendications extraites : (1) Marie Curie était d'origine polonaise ; (2) Marie Curie était physicienne et chimiste ; (3) Marie Curie a mené des recherches sur la radioactivité.
Construction de références isolées :
Pour chaque affirmation extraite, une référence factuelle indépendante a été générée. Le modèle de vérification a reçu uniquement la requête initiale de l'utilisateur. L'accès à la réponse générée initialement a été restreint afin d'éviter tout biais de confirmation. Un prompt de rappel factuel a été utilisé pour encourager des réponses concises et fondées sur des preuves. Les références générées ont été stockées en vue d'une vérification ultérieure.
Vérification de l'inférence en langage naturel
Chaque paire affirmation-référence a été soumise à un modèle NLI pré-entraîné. Le modèle NLI a classé la relation comme suit : implication, neutre ou contradiction. Les probabilités de confiance pour les trois classes ont été enregistrées. Un score de vérification signé a été attribué : une valeur positive pour l'implication, zéro pour le cas neutre, ou une valeur négative en cas de contradiction. Tous les scores de vérification ont été regroupés pour le calcul du seuil.
Calcul du seuil statistique adaptatif
La confiance de vérification produite par le modèle NLI varie considérablement selon les réponses, car différentes requêtes génèrent un nombre variable d'assertions, un niveau différent de complexité sémantique et des distributions de confiance distinctes. Un seuil global fixe suppose que toutes les réponses suivent un profil de confiance similaire, ce qui est rarement observé en pratique. Pour tenir compte de cette variabilité, le cadre proposé estime la frontière de décision individuellement pour chaque réponse à l’aide de la moyenne et de l’écart type de ses scores de vérification. La moyenne reflète le niveau global de confiance de la réponse, tandis que l’écart type capture la dispersion des valeurs de confiance parmi les assertions extraites. Cette formulation adaptative permet au critère d’acceptation de s’ajuster à l’incertitude propre à chaque réponse, plutôt que de s’appuyer sur un seuil unique pour toutes les entrées.
La moyenne (µ) et l'écart type (σ) de tous les scores de vérification signés ont été calculés.
Le seuil de décision adaptatif a été calculé comme suit :

où τ représente le seuil adaptatif, µ désigne la moyenne des scores de vérification, σ désigne l'écart type, et k représente le paramètre de sensibilité.
Le paramètre de sensibilité a été initialisé à 0,7. Les affirmations classées comme impliquant des scores supérieurs ou égaux à +τ ont été acceptées. Les affirmations classées comme contradictoires avec des scores inférieurs ou égaux à −τ ont été marquées pour correction. Les affirmations dont les scores se situaient dans l'intervalle (−τ, +τ) ont été conservées comme neutres.
Correction sélective des revendications
Une réclamation était transmise pour correction uniquement lorsque le modèle NLI classait la paire réclamation-référence comme une contradiction, et que son score de vérification signé correspondant satisfaisait au critère de seuil adaptatif si ≤ -τ. Ainsi, la décision de correction était déterminée conjointement par l'étiquette de classe NLI et le seuil statistique spécifique à la réponse. Les réclamations classées comme impliquant une relation d'inférence (Entailment) avec si ≥ τ étaient acceptées, tandis que celles tombant dans l'intervalle -τ < si < τ étaient considérées comme neutres et conservées sans correction. Ce critère combiné garantissait que la correction n'était appliquée qu'aux réclamations présentant à la fois une contradiction sémantique et des preuves de vérification négatives suffisamment fortes.
Reconstruction de la réponse
Les affirmations acceptées et corrigées ont été organisées selon leur séquence d'origine. Les limites des phrases ont été rétablies afin de préserver la lisibilité. Des ajustements grammaticaux mineurs ont été appliqués lorsque nécessaire. Le résultat assemblé a été enregistré comme la réponse finale vérifiée.
Évaluation des performances
Le cadre a été évalué à l'aide de quatre métriques : (1) Précision : la proportion de réponses restées factuellement correctes après vérification ; (2) Score F1 : la moyenne harmonique de la précision et du rappel dans la détection des hallucinations ; (3) Latence de réponse : le temps total de traitement entre la soumission de la requête et la génération de la réponse vérifiée ; (4) Taux d'hallucination

La latence a été indiquée comme le temps moyen d'exécution sur plusieurs mesures répétées. Étant donné que les valeurs individuelles de latence par exécution n'ont pas été conservées, les écarts types et les intervalles de confiance n'ont pas été calculés.
Évaluation de la justesse propre à chaque référence
Pour TruthfulQA, la réponse finale vérifiée a été comparée aux références de réponses validées par des humains du benchmark ainsi qu'aux listes de réponses incorrectes. Une réponse était considérée comme correcte lorsque ses affirmations factuelles étaient conformes aux informations de la réponse acceptée et ne contenaient aucun contenu correspondant aux motifs de réponses incorrectes identifiés. Pour FEVER, chaque affirmation de la sortie finale a été évaluée par rapport à ses preuves associées et à l'annotation FEVER d'origine ; les affirmations étiquetées « Supportées » ont été considérées comme factuellement vérifiées, tandis que celles étiquetées « Réfutées » ont été comptabilisées comme incorrectes. Les cas « Pas assez d'informations » ont été conservés comme indéterminés, sans être considérés comme une preuve factuelle positive. Les décisions au niveau des affirmations ont ensuite été agrégées pour chaque benchmark afin de calculer la Précision et le Taux d'hallucination rapportés.
Environnement expérimental
Le cadre a été mis en œuvre à l'aide de Python 3.9. Les opérations de traitement des données ont été effectuées à l'aide de bibliothèques d'analyse numérique et tabulaire. Le modèle NLI a fonctionné en mode inférence, sans réglage fin supplémentaire. Les expériences ont été exécutées sur une station de travail équipée d'un processeur Intel Core i5, de 16 Go de RAM et d'un système d'exploitation 64 bits. Toutes les évaluations ont été réalisées en utilisant un paramètre d'inférence en un seul passage afin d'assurer un fonctionnement à faible latence. Toutes les expériences ont été menées avec des configurations matérielles et logicielles identiques afin de garantir une évaluation cohérente entre les ensembles de données et les méthodes de référence.
Résultat attendu
Le protocole est conçu pour produire des décisions de vérification au niveau des affirmations en identifiant les affirmations potentiellement non étayées et en transférant de façon sélective les affirmations fortement contredites afin de les corriger. Le résultat attendu est une réponse vérifiée présentant moins d'incohérences factuelles et un surcroît de traitement limité, sous réserve des performances observées lors de l'évaluation expérimentale.