Akhil Deo

adeo1's activity

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

liked a dataset 6 days ago

gydou/DeonticBench

Viewer • Updated 3 days ago • 6.48k • 369 • 5

liked a dataset 13 days ago

adeo1/mathlib_informal_v4.28.0

Viewer • Updated 13 days ago • 183k • 73 • 1

updated a dataset 13 days ago

adeo1/mathlib_informal_v4.28.0

Viewer • Updated 13 days ago • 183k • 73 • 1

liked 3 datasets about 1 month ago

uw-math-ai/APRIL

Preview • Updated Feb 27 • 281 • 10

nvidia/Nemotron-Math-Proofs-v1

Viewer • Updated Jan 5 • 925k • 664 • 117

Goedel-LM/RL_dataset_V2

Viewer • Updated Mar 2 • 98.6k • 87 • 2

published a dataset about 1 month ago

adeo1/mathlib_informal_v4.28.0

Viewer • Updated 13 days ago • 183k • 73 • 1

liked a dataset 6 months ago

adeo1/mathlib_informal_v4.9.0

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

updated a dataset 6 months ago

adeo1/mathlib_informal_v4.9.0

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

published a dataset 6 months ago

adeo1/mathlib_informal_v4.9.0

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

liked a dataset 7 months ago

Goedel-LM/MathOlympiadBench

Viewer • Updated Aug 6, 2025 • 360 • 100 • 14

liked 2 models 7 months ago

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

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

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

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

updated a dataset 7 months ago

adeo1/SocialNLI

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

liked a dataset 7 months ago

adeo1/SocialNLI

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

published a dataset 7 months ago

adeo1/SocialNLI

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

updated a dataset 7 months ago

adeo1/SocialNLI

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