arXiv 自然语言处理· Jorryt de Jong, Stefan Moraca, Ettore Cesari, Lasha Abzianidze·2026-09-29 12:00· 1 天前AI 评分29

用词汇蕴涵解释文本蕴涵：利用 LLM 为形式化证明提供词汇关系

Explaining Textual Entailment with Lexical Entailments: Using LLMs to Supply Lexical Relations for Formal Proofs

AI 导读

研究人员评估了利用 LLM 提取结构化词汇蕴涵关系并辅助自然逻辑定理证明器 LangPro 进行推理证明的效果。实验结果显示，该任务即使对闭源专有 LLM 仍具挑战，对定理证明的贡献较为有限。LLM 生成的词汇关系往往仅具备部分可靠性，且多针对特定 NLI 问题生成，难以构成通用的有效词汇知识。