View of Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph

##article.return## Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph Download Download PDF