ConceptBEq+
BEq+
A method for detecting equivalence of formal mathematical statements that decides equivalence by constraining the prover and checking whether a proof references the other statement.
Timeline (last 90 days)
Oct 26
BEq+ achieves 95.8% precision and 61.8% recall on the ProofNetVerif test set.
Unverified50%