Akhil Deo

adeo1

10

·

https://www.akhildeo.com

AI & ML interests

LLM Reasoning and Planning, AI agents

Organizations

None yet

adeo1 's datasets 6

adeo1/autoprover-retrieval-assets

Preview • Updated May 25 • 12

adeo1/mathlib_informal_v4.24.0

Viewer • Updated May 25 • 190k • 30

adeo1/mathlib_informal_v4.15.0

Viewer • Updated May 25 • 170k • 43

adeo1/mathlib_informal_v4.28.0

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

adeo1/mathlib_informal_v4.9.0

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

adeo1/SocialNLI

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