arXiv ID:
2606.24414
arXiv 提交日期: 2026-06-23
形式验证证书的循环一致神经解释 / Cycle-Consistent Neural Explanation of Formal Verification Certificates
1️⃣ 一句话总结
本文提出了一种基于循环一致神经网络的架构,能够自动将形式验证证书(如证明或反例)转化为准确、可读的自然语言解释,并通过符号验证器确保解释与原始证书的一致性,在金融合规领域的测试中,该方法在准确率、速度和成本上均显著优于使用大型语言模型的通用方法。