04:00
2026-09-30
arxiv.org
artificial-intelligence
Sage: Formalization with Semantic Correction
Sage, an agentic formalization framework described in arXiv paper 2609.35790v1, suppresses answer leakage to 2.7% while reaching 73.3% pass@4 joint compilation and semantic fidelity on Omni-MATH witho…