CheckFOX

新的CertiFOX框架确保声明式求解的可信AI接地

研究人员推出CertiFOX，一个旨在确保声明式求解过程可信度的新框架。该框架通过提供一个认证器来解决“信任差距”，该认证器将高层理论转换为无量词公式，保证求解器输出与原始问题规范的等价性。该系统包括一种新的接地推导证明格式、一个名为GroundFOX的认证器以及一个名为CheckFOX的独立证明检查器。实验结果表明，CertiFOX是一种可行的方案，GroundFOX的性能与现有接地器相当，而CheckFOX的开销极小。