ML Anthology
Authors
Search
About
XintaoYu
1 publications
ICLR
2026
Aria: An Agent for Retrieval and Iterative Auto-Formalization via Dependency Graph
Hanyu Wang
,
Ruohan Xie
,
Yutong Wang
,
Guoxiong Gao
,
XintaoYu
,
Bin Dong