May, 2022

基于逆向推理的合理性的自然语言推理中具体例子的逻辑可满足性

TL;DR本文提出 Faithfulness-through-Counterfactuals 方法并验证了其在模型验证及故障诊断中的有效性。该方法通过对逻辑谓词表达的对立假设进行模型预测一致性验证,无需额外的训练验证模型。