[KongchangAI]
ModelSemantEq-Eval

SemantEq-Eval

A model-free search method for automatically detecting the equivalence of formal mathematical statements under the SemantEq relation, based on searching chains of permitted transformation steps.

Timeline (last 90 days)

Oct 26

SemantEq-Eval is a model-free search method that achieves 100% precision and 65.6% recall (based on human-adjudicated labels) on the ProofNetVerif test set.

Unverified50%
Oct 26

Increasing CPU time by 8.9 times adds at most three new equivalent statement pairs for SemantEq-Eval.

Unverified50%

All Facts (2)

Unverified

SemantEq-Eval is a model-free search method that achieves 100% precision and 65.6% recall (based on human-adjudicated labels) on the ProofNetVerif test set.

50%Unverified

Increasing CPU time by 8.9 times adds at most three new equivalent statement pairs for SemantEq-Eval.

50%

Source Articles

SemantEq: A New Bidirectional Equivalence Method for Formal Mathematical StatementsOct 26