TY  - RPRT
TI  - Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
AU  - Hanyu Wang
AU  - Ruohan Xie
AU  - Yutong Wang
AU  - Guoxiong Gao
AU  - Xintao Yu
AU  - Bin Dong
PY  - 2026
UR  - https://arxiv.org/abs/2510.04520
ID  - 2510.04520
ER  -