arXiv Artificial Intelligence· Ali Ansari, Farhana Ferdousi Liza·2026-10-20 12:00· 2 小时前AI 评分31

研究提出以参考为中心的方法验证人工撰写推理链的可靠性

Verifying Human-Written Reasoning References

AI 导读

一项以参考为中心的人工推导评估方法结合蕴含检查、全前提复核与失败归因，用 LLM 将步骤结论转为 FOL、由 Z3 SMT 求解器检查蕴含，在 P-FOLIO 上检验 386 条推导。