Este estudo não envolveu participantes humanos, animais, espécimes biológicos ou dados de pacientes. Portanto, a aprovação ética institucional e o consentimento informado não foram necessários.
Visão geral do delineamento do estudo
Um framework de verificação em duas etapas foi implementado para melhorar a confiabilidade factual das saídas de modelos linguísticos grandes (LLM). O procedimento consistiu em geração de respostas, extração de afirmações, construção isolada de referências, verificação baseada em inferência de linguagem natural (NLI), tomada de decisão estatística adaptativa, correção seletiva e montagem final da resposta. O framework foi avaliado utilizando os conjuntos de dados de referência TruthfulQA e FEVER.
Fluxo de trabalho geral
Consulta do usuário → Geração da resposta inicial → Extração de afirmações → Geração independente de referências → Verificação por inferência natural → Cálculo do limiar estatístico → Correção de afirmações → Resposta final verificada. O fluxo geral do framework adaptativo de verificação de afirmações é ilustrado na Figura 1.
Preparação do conjunto de dados
O conjunto de dados TruthfulQA12, contendo 817 perguntas orientadas a fatos, foi baixado e preparado para avaliação. O conjunto de dados FEVER13 compreende 185.445 alegações anotadas rotuladas como Apoiadas, Refutadas ou Informação Insuficiente; a avaliação utilizou os dados de desenvolvimento rotulados com seus campos de alegação, evidência e rótulo de referência. Cada alegação foi avaliada com base em sua evidência fornecida, enquanto o rótulo original do FEVER foi mantido como resultado de referência para verificação. O conjunto de dados FEVER, que contém pares de alegação-evidência para verificação de fatos, foi obtido e pré-processado. As perguntas e alegações de entrada foram convertidas em um formato de texto padronizado. Entradas duplicadas e amostras incompletas foram removidas antes dos experimentos. O TruthfulQA foi dividido em subconjuntos de validação e teste. Aproximadamente 20% das amostras do TruthfulQA (164 perguntas) foram usadas para ajuste de limiar, enquanto as 653 perguntas restantes foram reservadas para avaliação de desempenho. Para o FEVER, as alegações fornecidas pelo benchmark foram usadas diretamente como unidades de verificação e não passaram pelo procedimento de geração de respostas e extração de alegações aplicado ao TruthfulQA. As características dos conjuntos de dados de referência utilizados no desenvolvimento e avaliação do framework são resumidas na Tabela 1.
Geração da resposta inicial
Cada consulta foi enviada ao modelo linguístico base. As respostas foram geradas utilizando amostragem por núcleo com uma temperatura de 0,7 e um top-p de 0,9. O comprimento máximo de saída foi limitado a 256 tokens. As respostas geradas foram armazenadas sem qualquer pós-processamento ou modificação manual. O texto gerado foi encaminhado diretamente para a etapa de extração de afirmações.
Extração de afirmações
Cada resposta gerada foi decomposta em declarações factuais independentemente verificáveis. Utilizou-se um prompt estruturado de decomposição para identificar afirmações atômicas. Declarações compostas foram separadas em unidades factuais mínimas. Opiniões subjetivas, expressões estilísticas e elementos conversacionais irrelevantes foram removidos. Cada afirmação extraída foi armazenada como uma unidade independente de verificação.
Exemplo:
Resposta original:
"Marie Curie foi uma física e química de origem polonesa que realizou pesquisas pioneiras sobre radioatividade."
Afirmações extraídas: (1) Marie Curie nasceu na Polônia; (2) Marie Curie era física e química; (3) Marie Curie realizou pesquisas sobre radioatividade.
Construção de referência isolada:
Para cada afirmação extraída, foi gerada uma referência factual independente. O modelo verificador recebeu apenas a consulta original do usuário. O acesso à resposta original gerada foi restrito para evitar viés de confirmação. Foi utilizado um estímulo de recordação factual para incentivar respostas concisas e baseadas em evidências. As referências geradas foram armazenadas para verificação subsequente.
Verificação da inferência de linguagem natural
Cada par alegação-referência foi submetido a um modelo NLI pré-treinado. O modelo NLI classificou a relação como: Implicação, Neutro ou Contradição. Foram registradas as probabilidades de confiança para as três classes. Uma pontuação de verificação com sinal foi atribuída: valor positivo para implicação, zero para neutro ou valor negativo para contradição. Todas as pontuações de verificação foram coletadas para o cálculo do limiar.
Cálculo adaptativo de limiar estatístico
A confiança na verificação produzida pelo modelo NLI varia substancialmente entre as respostas, pois diferentes consultas geram números distintos de afirmações, níveis de complexidade semântica e distribuições de confiança. Um limiar global fixo assume que todas as respostas seguem um perfil de confiança semelhante, o que raramente é observado na prática. Para acomodar essa variabilidade, o framework proposto estima o limite de decisão individualmente para cada resposta, utilizando a média e o desvio padrão de suas pontuações de verificação. A média reflete o nível geral de confiança da resposta, enquanto o desvio padrão captura a dispersão dos valores de confiança entre as afirmações extraídas. Essa formulação adaptativa permite que o critério de aceitação se ajuste à incerteza específica de cada resposta, em vez de depender de um único limiar para todas as entradas.
A média (µ) e o desvio padrão (σ) de todas as pontuações de verificação com sinal foram calculadas.
O limiar de decisão adaptativo foi calculado como:

em que τ representa o limiar adaptativo, µ denota a pontuação média de verificação, σ denota o desvio padrão e k representa o parâmetro de sensibilidade.
O parâmetro de sensibilidade foi inicializado em 0,7. As alegações classificadas como Implicação com pontuações maiores ou iguais a +τ foram aceitas. As alegações classificadas como Contradição com pontuações menores ou iguais a −τ foram marcadas para correção. As alegações com pontuações dentro do intervalo (−τ, +τ) foram mantidas como neutras.
Correção seletiva de alegações
Uma alegação foi encaminhada para correção apenas quando o modelo NLI classificou o par alegação-referência como Contradição, e sua pontuação de verificação com sinal correspondente atendeu ao critério adaptativo de limite si ≤ -τ. Assim, a decisão de correção foi determinada conjuntamente pelo rótulo da classe NLI e pelo limite estatístico específico da resposta. Alegações classificadas como Implicação com si ≥ τ foram aceitas, enquanto as alegações que caíram no intervalo -τ < si < τ foram tratadas como neutras e mantidas sem correção. Esse critério combinado garantiu que a correção fosse aplicada apenas a alegações que exibissem tanto contradição semântica quanto evidência negativa de verificação suficientemente forte.
Reconstrução da resposta
As reivindicações aceitas e corrigidas foram organizadas em sua sequência original. Os limites das sentenças foram restaurados para manter a legibilidade. Ajustes gramaticais menores foram aplicados quando necessário. A saída montada foi armazenada como a resposta final verificada.
Avaliação de desempenho
A estrutura foi avaliada utilizando quatro métricas: (1) Precisão: a proporção de respostas que permaneceram factualmente corretas após a verificação; (2) Pontuação F1: a média harmônica da precisão e da sensibilidade na detecção de alucinações; (3) Latência da Resposta: o tempo total de processamento desde o envio da consulta até a geração da resposta verificada; (4) Taxa de Alucinação

A latência foi relatada como o tempo médio de execução ao longo de medições repetidas. Como os valores individuais de latência por execução não foram mantidos, desvios padrão e intervalos de confiança não foram calculados.
Avaliação da correção específica do conjunto de referência
Para o TruthfulQA, a resposta final verificada foi comparada com as referências de respostas validadas por humanos do benchmark e com listas de respostas incorretas. Uma resposta foi considerada correta quando suas afirmações factuais eram consistentes com as informações da resposta aceita e não continham conteúdo correspondente aos padrões identificados de respostas incorretas. Para o FEVER, cada alegação na saída final foi avaliada com base em sua evidência associada e na anotação original do FEVER; alegações suportadas foram consideradas como verificadas factualmente, enquanto alegações refutadas foram contabilizadas como incorretas. Os casos de Informação Insuficiente foram mantidos como indeterminados, em vez de serem tratados como evidência factual positiva. As decisões resultantes em nível de alegação foram agregadas em cada benchmark para calcular a Acurácia e a Taxa de Alucinação informadas.
Ambiente experimental
O framework foi implementado usando Python 3.9. As operações de processamento de dados foram realizadas usando bibliotecas de análise numérica e tabular. O modelo NLI operou em modo de inferência sem ajuste fino adicional. Os experimentos foram executados em uma estação de trabalho equipada com um processador Intel Core i5, 16 GB de RAM e um sistema operacional de 64 bits. Todas as avaliações foram conduzidas usando uma configuração de inferência de passagem única para garantir operação com baixa latência. Todos os experimentos foram realizados usando configurações idênticas de hardware e software para assegurar avaliação consistente entre conjuntos de dados e métodos de referência.
Resultado esperado
O protocolo foi projetado para gerar decisões de verificação em nível de afirmação, identificando afirmações potencialmente não comprovadas e encaminhando seletivamente as afirmações fortemente contradizidas para correção. A saída esperada é uma resposta verificada com inconsistências factuais reduzidas e sobrecarga de processamento adicional limitada, sujeita ao desempenho observado durante a avaliação experimental.