Akhil Deo's picture

10

Akhil Deo

adeo1

·

https://www.akhildeo.com

AI & ML interests

LLM Reasoning and Planning, AI agents

Recent Activity

updated a dataset 14 days ago

adeo1/autoprover-retrieval-assets

published a dataset 14 days ago

adeo1/autoprover-retrieval-assets

updated a collection 14 days ago

Mathlib Informal Datasets

View all activity

Organizations

None yet

adeo1 's datasets 6

adeo1/autoprover-retrieval-assets

Preview • Updated 14 days ago • 140

adeo1/mathlib_informal_v4.24.0

Viewer • Updated 14 days ago • 190k • 36

adeo1/mathlib_informal_v4.15.0

Viewer • Updated 14 days ago • 170k • 35

adeo1/mathlib_informal_v4.28.0

Viewer • Updated Apr 16 • 183k • 38 • 1

adeo1/mathlib_informal_v4.9.0

Viewer • Updated Nov 9, 2025 • 168k • 76 • 1

adeo1/SocialNLI

Viewer • Updated Oct 15, 2025 • 5.32k • 73 • 2