模型SemantEq-ProofAudit / ProofAudit
SemantEq-ProofAudit
一种基于SemantEq关系的证明审计方法，用于验证语言模型生成的形式化语句等价性证明，通过审计证明步骤是否遵循允许的变换链来拒绝不正确的等价证明。
时间轴 (近 90 天)
10月26日
SemantEq-ProofAudit在104个非等价语句对中拒绝了所有模型编写的证明。
待验证50%
10月26日
在最佳提示下，SemantEq-ProofAudit将407个等价语句对的召回率从65.4%提升到81.1%。
待验证50%