Awesome Graph Learning

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

⋯More

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

← all datasets

Lean mathlib

Emerging

1papers using it

2026first seen

Stay Updated

Submit a paper · Privacy · Terms

© 2026 Awesome Papers.

Lean mathlib — datasets — graph-learning