Akhil Deo

adeo1's activity

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

updated a dataset about 1 month ago

adeo1/autoprover-retrieval-assets

Preview • Updated May 25 • 18

published a dataset about 1 month ago

adeo1/autoprover-retrieval-assets

Preview • Updated May 25 • 18

updated a collection about 1 month ago

Mathlib Informal Datasets

Collection

Versioned Mathlib declaration datasets with informal descriptions. • 4 items • Updated May 25

updated a dataset about 1 month ago

adeo1/mathlib_informal_v4.24.0

Viewer • Updated May 25 • 190k • 23

published a dataset about 1 month ago

adeo1/mathlib_informal_v4.24.0

Viewer • Updated May 25 • 190k • 23

updated a dataset about 1 month ago

adeo1/mathlib_informal_v4.15.0

Viewer • Updated May 25 • 170k • 22

published a dataset about 1 month ago

adeo1/mathlib_informal_v4.15.0

Viewer • Updated May 25 • 170k • 22

liked 2 datasets 2 months ago

gydou/DeonticBench

Viewer • Updated 21 days ago • 6.48k • 407 • 6

adeo1/mathlib_informal_v4.28.0

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

updated a dataset 2 months ago

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 • 95 • 10

nvidia/Nemotron-Math-Proofs-v1

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

Goedel-LM/RL_dataset_V2

Viewer • Updated Mar 2 • 98.6k • 81 • 2

published a dataset 3 months ago

adeo1/mathlib_informal_v4.28.0

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

liked a dataset 8 months ago

adeo1/mathlib_informal_v4.9.0

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

updated a dataset 8 months ago

adeo1/mathlib_informal_v4.9.0

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

published a dataset 8 months ago

adeo1/mathlib_informal_v4.9.0

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