IA e os Problemas Difíceis do Mundo · Ciência da computação teórica · arXiv · 2026-10-20
Verificando referências de raciocínio escritas por humanos
Título original: Verifying Human-Written Reasoning References
Cadeias de raciocínio escritas por humanos costumam ser usadas como referência para julgar o raciocínio de IA, mas o suporte lógico de seus passos raramente é verificado. Os autores usam um LLM para traduzir as conclusões dos passos em lógica de primeira ordem e o solucionador Z3 para verificar a implicação, aplicando isso a 386 derivações do P-FOLIO. Dessas, 202 (52,3%) atenderam a todos os critérios, e 191 dos 230 passos não implicados por seu suporte declarado passaram a ser implicados quando verificados em relação às premissas completas.