Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph. - Hanyu Wang; Ruohan Xie; Yutong Wang; Guoxiong Gao; Xintao Yu; Bin Dong (CoRR, 2025)