APA (7th ed.) Citation

Wang, H., Xie, R., Wang, Y., Gao, G., Yu, X., & Dong, B. (2025). Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph.

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

Wang, Hanyu, et al. Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph. 2025.