2h agoFormalQualBench Comparator Verifies Lean Proofs for Correctness and No Extra AxiomsSentimentSentimentPos100%Neg0%Users express optimism about Math Inc's FormalQualBench because it advances rigorous scaling of autoformalization.1 comment with sentiment. View comments.