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 about 1 month ago

adeo1/autoprover-retrieval-assets

published a dataset about 1 month ago

adeo1/autoprover-retrieval-assets

updated a collection about 1 month ago

Mathlib Informal Datasets

View all activity

Organizations

None yet

liked 2 datasets 2 months ago

gydou/DeonticBench

Viewer • Updated 23 days ago • 6.48k • 430 • 6

adeo1/mathlib_informal_v4.28.0

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

liked 3 datasets 3 months ago

uw-math-ai/APRIL

Preview • Updated Feb 27 • 79 • 10

nvidia/Nemotron-Math-Proofs-v1

Viewer • Updated Jan 5 • 925k • 844 • 122

Goedel-LM/RL_dataset_V2

Viewer • Updated Mar 2 • 98.6k • 76 • 2

liked 2 datasets 8 months ago

adeo1/mathlib_informal_v4.9.0

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

Goedel-LM/MathOlympiadBench

Viewer • Updated Aug 6, 2025 • 360 • 200 • 17

liked 2 models 8 months ago

Goedel-LM/Goedel-Formalizer-V2-8B

8B • Updated Jul 20, 2025 • 320 • 7

Goedel-LM/Goedel-Formalizer-V2-32B

33B • Updated Jul 22, 2025 • 131 • 8

liked a dataset 9 months ago

adeo1/SocialNLI

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