研究人员推出CertiFOX，一个旨在确保声明式求解过程可信度的新框架。该框架通过提供一个认证器来解决“信任差距”，该认证器将高层理论转换为无量词公式，保证求解器输出与原始问题规范的等价性。该系统包括一种新的接地推导证明格式、一个名为GroundFOX的认证器以及一个名为CheckFOX的独立证明检查器。实验结果表明，CertiFOX是一种可行的方案，GroundFOX的性能与现有接地器相当，而CheckFOX的开销极小。 AI
影响 增强依赖声明式求解和形式化验证的AI系统的信任度和可靠性。
排序理由 该集群描述了一篇关于理论计算机科学特定问题的创新框架和相关工具的新学术论文。[lever_c_demoted from research: ic=1 ai=1.0]
- arXiv
- CertiFOX
- CheckFOX
- Electronic Proceedings in Theoretical Computer Science
- first-order logic model expansion
- GroundFOX
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
