Awesome AI Agents

📄Papers 🧭Topics 🔥Trending 🗺️Map 🏆Leaderboards 🎓Learn 🤖Ask AI

⋯More

👥Authors 📚Reading Packs 📊Datasets 🛠️Tools 📰News 📝Blogs ✉️Newsletter 🎯Research Radar 🔖Saved

← authors · overview

Loading author…

Stay Updated

E-Mail Digest 🎯 Research Radar

Submit a paper · Privacy · Terms

© 2026 Awesome Papers.

Xintao Yu — most-cited papers & profile · AI Agents

← authors · overview

Xintao Yu

1 papers · 0 citations · 5 h-index

Liaoning University of Technology

Google Scholar ↗Semantic Scholar ↗OpenAlex ↗

Most-cited papers

Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
2025

Top co-authors

Bin Dong · 1 Guoxiong Gao · 1 Hanyu Wang · 1 Ruohan Xie · 1 Yutong Wang · 1

Topics

Tool Use Evaluation Benchmarks