Sage: Formalization with semantic correction
Read the original at arxiv.org→arXiv:2609.35790v2 Announce Type: new Abstract: While neural theorem provers have achieved impressive milestones in formal mathematics, they largely operate on the assumption that faithful Lean 4 formal statements...
Original headline: "Sage: Formalization with Semantic Correction"
Coverage timeline
- Sep 30, 04:00 UTC arXiv cs.LG lead source Sage: Formalization with Semantic Correction