Ruohan Xie

Identifiers

• name variant Ruohan Xie 0.60 · backfill

Papers (1)

1. Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph cs.AI · 2025 · author #2

Mentions

• 2510.04520 #2 · arxiv_oai · confidence 0.70 Ruohan Xie

Frequent Coauthors

• Bin Dong 1 shared papers
• Guoxiong Gao 1 shared papers
• Hanyu Wang 1 shared papers
• Xintao Yu 1 shared papers
• Yutong Wang 1 shared papers