Akhil Deo

adeo1's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

updated a dataset 11 days ago

adeo1/autoprover-retrieval-assets

Preview • Updated 11 days ago • 139

published a dataset 11 days ago

adeo1/autoprover-retrieval-assets

Preview • Updated 11 days ago • 139

updated a collection 11 days ago

Mathlib Informal Datasets

Collection

Versioned Mathlib declaration datasets with informal descriptions. • 4 items • Updated 11 days ago

updated a dataset 11 days ago

adeo1/mathlib_informal_v4.24.0

Viewer • Updated 11 days ago • 190k • 34

published a dataset 11 days ago

adeo1/mathlib_informal_v4.24.0

Viewer • Updated 11 days ago • 190k • 34

updated a dataset 11 days ago

adeo1/mathlib_informal_v4.15.0

Viewer • Updated 11 days ago • 170k • 33

published a dataset 11 days ago

adeo1/mathlib_informal_v4.15.0

Viewer • Updated 11 days ago • 170k • 33

liked a dataset about 1 month ago

gydou/DeonticBench

Viewer • Updated about 6 hours ago • 6.48k • 301 • 6

liked a dataset about 2 months ago

adeo1/mathlib_informal_v4.28.0

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

updated a dataset about 2 months ago

adeo1/mathlib_informal_v4.28.0

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

liked 3 datasets 2 months ago

uw-math-ai/APRIL

Preview • Updated Feb 27 • 293 • 10

nvidia/Nemotron-Math-Proofs-v1

Viewer • Updated Jan 5 • 925k • 644 • 119

Goedel-LM/RL_dataset_V2

Viewer • Updated Mar 2 • 98.6k • 431 • 2

published a dataset 2 months ago

adeo1/mathlib_informal_v4.28.0

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

liked a dataset 7 months ago

adeo1/mathlib_informal_v4.9.0

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

updated a dataset 7 months ago

adeo1/mathlib_informal_v4.9.0

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

published a dataset 7 months ago

adeo1/mathlib_informal_v4.9.0

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