Este estudio no involucró participantes humanos, animales, especímenes biológicos ni datos de pacientes. Por lo tanto, no se requirió aprobación ética institucional ni consentimiento informado.
Descripción general del diseño del estudio
Se implementó un marco de verificación en dos etapas para mejorar la fiabilidad factual de las salidas de modelos grandes de lenguaje (LLM). El procedimiento consistió en la generación de respuestas, extracción de afirmaciones, construcción aislada de referencias, verificación basada en inferencia de lenguaje natural (NLI), toma de decisiones estadística adaptativa, corrección selectiva y ensamblaje final de la respuesta. El marco se evaluó utilizando los conjuntos de datos de referencia TruthfulQA y FEVER.
Flujo de trabajo general
Consulta del usuario → Generación de respuesta inicial → Extracción de afirmaciones → Generación independiente de referencias → Verificación mediante inferencia lingüística natural → Cálculo del umbral estadístico → Corrección de afirmaciones → Respuesta final verificada. El flujo general del marco adaptativo de verificación de afirmaciones se ilustra en Figura 1.
Preparación del conjunto de datos
Se descargó y preparó el conjunto de datos TruthfulQA12, que contiene 817 preguntas orientadas a hechos, para su evaluación. El conjunto de datos FEVER13 comprende 185.445 afirmaciones anotadas etiquetadas como Apoyadas, Refutadas o Información Insuficiente; para la evaluación se utilizaron los datos de desarrollo etiquetados con sus campos de afirmación, evidencia y etiqueta de referencia. Cada afirmación se evaluó frente a su evidencia proporcionada, mientras que la etiqueta original de FEVER se conservó como resultado de referencia para verificación. El conjunto de datos FEVER, que contiene pares de afirmación-evidencia para verificación de hechos, fue obtenido y preprocesado. Las preguntas y afirmaciones de entrada se convirtieron en un formato de texto estandarizado. Se eliminaron entradas duplicadas y muestras incompletas antes del experimento. TruthfulQA se dividió en subconjuntos de validación y prueba. Aproximadamente el 20 % de las muestras de TruthfulQA (164 preguntas) se utilizó para ajustar el umbral, mientras que las 653 preguntas restantes se reservaron para la evaluación del rendimiento. Para FEVER, las afirmaciones proporcionadas por el conjunto de referencia se utilizaron directamente como unidades de verificación y no pasaron por el procedimiento de generación de respuestas y extracción de afirmaciones aplicado a TruthfulQA. Las características de los conjuntos de datos de referencia utilizados para el desarrollo y evaluación del marco se resumen en Tabla 1.
Generación de la respuesta inicial
Cada consulta se envió al modelo de lenguaje base. Las respuestas se generaron utilizando un muestreo por núcleo con una temperatura de 0,7 y un top-p de 0,9. La longitud máxima de salida se limitó a 256 tokens. Las respuestas generadas se almacenaron sin ningún tipo de postprocesamiento o modificación manual. El texto generado se envió directamente a la etapa de extracción de afirmaciones.
Extracción de afirmaciones
Cada respuesta generada se descompuso en afirmaciones fácticas independientemente verificables. Se utilizó una plantilla estructurada de descomposición para identificar afirmaciones atómicas. Las declaraciones compuestas se separaron en unidades fácticas mínimas. Se eliminaron opiniones subjetivas, expresiones estilísticas y elementos conversacionales irrelevantes. Cada afirmación extraída se almacenó como una unidad de verificación independiente.
Ejemplo:
Respuesta original:
Marie Curie fue una física y química de origen polaco que realizó investigaciones pioneras sobre la radiactividad.
Afirmaciones extraídas: (1) Marie Curie nació en Polonia; (2) Marie Curie fue física y química; (3) Marie Curie realizó investigaciones sobre la radiactividad.
Construcción de referencias aisladas:
Para cada afirmación extraída, se generó una referencia fáctica independiente. El modelo verificador recibió únicamente la consulta original del usuario. Se restringió el acceso a la respuesta generada original para evitar sesgos de confirmación. Se utilizó una indicación de recuperación fáctica para fomentar respuestas concisas y basadas en evidencia. Las referencias generadas se almacenaron para su verificación posterior.
Verificación de inferencia del lenguaje natural
Cada par de afirmación y referencia se envió a un modelo preentrenado de inferencia lingüística natural (NLI). El modelo NLI clasificó la relación como: implicación, neutral o contradicción. Se registraron las probabilidades de confianza para las tres clases. Se asignó una puntuación de verificación con signo: valor positivo para la implicación, cero para neutral o un valor negativo para la contradicción. Se recopilaron todas las puntuaciones de verificación para el cálculo del umbral.
Cálculo adaptativo del umbral estadístico
La confianza en la verificación generada por el modelo de inferencia natural (NLI) varía considerablemente entre las respuestas, ya que diferentes consultas producen distintas cantidades de afirmaciones, niveles de complejidad semántica y distribuciones de confianza. Un umbral global fijo asume que todas las respuestas siguen un perfil de confianza similar, lo cual rara vez se observa en la práctica. Para acomodar esta variabilidad, el marco propuesto estima el límite de decisión individualmente para cada respuesta utilizando la media y la desviación estándar de sus puntuaciones de verificación. La media refleja el nivel general de confianza de la respuesta, mientras que la desviación estándar captura la dispersión de los valores de confianza entre las afirmaciones extraídas. Esta formulación adaptativa permite que el criterio de aceptación se ajuste a la incertidumbre específica de cada respuesta, en lugar de depender de un único umbral para todas las entradas.
Se calcularon la media (µ) y la desviación estándar (σ) de todas las puntuaciones de verificación con signo.
El umbral de decisión adaptativo se calculó como:

donde τ representa el umbral adaptativo, µ denota la puntuación media de verificación, σ denota la desviación estándar, y k representa el parámetro de sensibilidad.
El parámetro de sensibilidad se inicializó en 0,7. Las afirmaciones clasificadas como implicación con puntuaciones mayores o iguales que +τ fueron aceptadas. Las afirmaciones clasificadas como contradicción con puntuaciones menores o iguales que −τ fueron marcadas para corrección. Las afirmaciones con puntuaciones dentro del intervalo (−τ, +τ) se mantuvieron como neutrales.
Corrección selectiva de reclamaciones
Una afirmación fue enviada para corrección solo cuando el modelo de INL clasificó el par afirmación-referencia como una Contradicción, y su puntuación de verificación firmada correspondiente cumplía con el criterio del umbral adaptativo si ≤ -τ. Por lo tanto, la decisión de corrección quedó determinada conjuntamente por la etiqueta de clase del INL y el umbral estadístico específico de la respuesta. Las afirmaciones clasificadas como Implicación con si ≥ τ fueron aceptadas, mientras que las afirmaciones que caían dentro del intervalo -τ < si < τ se consideraron neutrales y se mantuvieron sin corrección. Este criterio combinado aseguró que la corrección se aplicara únicamente a afirmaciones que mostraran tanto contradicción semántica como evidencia negativa de verificación suficientemente fuerte.
Reconstrucción de la respuesta
Las afirmaciones aceptadas y corregidas se organizaron en su secuencia original. Se restablecieron los límites de las oraciones para mantener la legibilidad. Se aplicaron ajustes gramaticales menores cuando fue necesario. La salida ensamblada se almacenó como la respuesta verificada final.
Evaluación del rendimiento
El marco se evaluó utilizando cuatro métricas: (1) Precisión: la proporción de respuestas que permanecieron factualmente correctas tras la verificación; (2) Puntaje F1: la media armónica entre la precisión y la exhaustividad en la detección de alucinaciones; (3) Latencia de la respuesta: el tiempo total de procesamiento desde el envío de la consulta hasta la generación de la respuesta verificada; (4) Tasa de alucinaciones

La latencia se reportó como el tiempo medio de ejecución en mediciones repetidas. Debido a que no se conservaron los valores individuales de latencia por ejecución, no se calcularon las desviaciones estándar ni los intervalos de confianza.
Evaluación de la corrección específica del conjunto de referencia
Para TruthfulQA, la respuesta final verificada se comparó con las referencias de respuestas validadas por humanos del benchmark y con las listas de respuestas incorrectas. Se consideró correcta una respuesta cuando sus afirmaciones fácticas eran coherentes con la información de la respuesta aceptada y no contenía contenido correspondiente a los patrones de respuestas incorrectas identificados. Para FEVER, cada afirmación en la salida final se evaluó en comparación con su evidencia asociada y la anotación original de FEVER; las afirmaciones respaldadas se consideraron verificadas fácticamente, mientras que las refutadas se contabilizaron como incorrectas. Los casos de No hay suficiente información se mantuvieron como indeterminados en lugar de considerarlos como evidencia fáctica positiva. Las decisiones resultantes a nivel de afirmación se agruparon en cada benchmark para calcular la Precisión y la Tasa de Alucinaciones informadas.
Ambiente experimental
El marco se implementó utilizando Python 3.9. Las operaciones de procesamiento de datos se realizaron usando bibliotecas de análisis numérico y tabular. El modelo NLI operó en modo de inferencia sin ajuste fino adicional. Los experimentos se ejecutaron en una estación de trabajo equipada con un procesador Intel Core i5, 16 GB de RAM y un sistema operativo de 64 bits. Todas las evaluaciones se realizaron utilizando una configuración de inferencia de un solo paso para garantizar un funcionamiento de baja latencia. Todos los experimentos se llevaron a cabo utilizando configuraciones idénticas de hardware y software para asegurar una evaluación consistente entre conjuntos de datos y métodos básicos.
Resultado esperado
El protocolo está diseñado para generar decisiones de verificación a nivel de afirmación identificando afirmaciones potencialmente no respaldadas y reenviando selectivamente las afirmaciones fuertemente contradictorias para su corrección. La salida esperada es una respuesta verificada con menos inconsistencias factuales y un sobrecoste de procesamiento adicional limitado, sujeto al rendimiento observado durante la evaluación experimental.