本文综述了自动事实检查中的解释功能，分析了相关模型及其性能。研究表明，上下文建模和时间信息对事实检验至关重要。多种模型（如Claim-Dissector和FOLK）在验证复杂声明时表现优异，且具备良好的可解释性。EX-FEVER数据集和MAPLE方法的引入，进一步推动了声明验证的研究进展。