A novel method for detecting failures in formal verification systems, demonstrated on a curated dataset with strong offline metrics but limited real-world deployment evidence and no peer review.
Reported
Reference-equivalence verificatio…0.961
Downstream accuracy gain11.3 points