基准ProofNetVerif
ProofNetVerif
用于评估形式化数学语句等价性检测方法的测试集，包含人工裁决的等价与非等价语句对标签。
时间轴 (近 90 天)
10月26日
SemantEq-Eval是一个无需模型的搜索方法，在ProofNetVerif测试集上达到100%的精确率和65.6%的召回率（基于人工裁决标签）。
待验证50%
10月26日
BEq+在ProofNetVerif测试集上的精确率为95.8%，召回率为61.8%。
待验证50%
用于评估形式化数学语句等价性检测方法的测试集，包含人工裁决的等价与非等价语句对标签。
SemantEq-Eval是一个无需模型的搜索方法，在ProofNetVerif测试集上达到100%的精确率和65.6%的召回率（基于人工裁决标签）。
BEq+在ProofNetVerif测试集上的精确率为95.8%，召回率为61.8%。