FormalQualBench Comparator Verifies Lean Proofs for Correctness and No Extra Axioms

Users express optimism about Math Inc's FormalQualBench because it advances rigorous scaling of autoformalization.

1 comment with sentiment. View comments.