Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
DGX agentarXiv:2510.04520v2 Announce Type: replace Abstract: Accurate auto-formalization of theorem statements is essential for advancing automated discovery and verification of research-level mathematics, yet