模型SemantEq-Eval
SemantEq-Eval
一种无需模型的搜索方法，用于在SemantEq关系下自动检测形式化数学语句的等价性，基于允许的变换步骤链进行搜索。
时间轴 (近 90 天)
10月26日
SemantEq-Eval是一个无需模型的搜索方法，在ProofNetVerif测试集上达到100%的精确率和65.6%的召回率（基于人工裁决标签）。
待验证50%
10月26日
将CPU时间增加8.9倍，SemantEq-Eval最多只增加三对新的等价语句。
待验证50%
一种无需模型的搜索方法，用于在SemantEq关系下自动检测形式化数学语句的等价性，基于允许的变换步骤链进行搜索。
SemantEq-Eval是一个无需模型的搜索方法，在ProofNetVerif测试集上达到100%的精确率和65.6%的召回率（基于人工裁决标签）。
将CPU时间增加8.9倍，SemantEq-Eval最多只增加三对新的等价语句。