The paper advocates complete four-part benchmarks (formal/informal statements and proofs) for formal reasoning and reports that a published 97% autoformalization accuracy is actually 67% on expert review.
Mathematical reasoning and the computer
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
background 1
citation-polarity summary
fields
cs.AI 1years
2025 1verdicts
CONDITIONAL 1roles
background 1polarities
background 1representative citing papers
citing papers explorer
-
Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs
The paper advocates complete four-part benchmarks (formal/informal statements and proofs) for formal reasoning and reports that a published 97% autoformalization accuracy is actually 67% on expert review.