Akhil Deo

adeo1's activity

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

liked a dataset about 2 months ago

adeo1/mathlib_informal_v4.9.0

Viewer • Updated Nov 9 • 168k • 7 • 1

updated a dataset about 2 months ago

adeo1/mathlib_informal_v4.9.0

Viewer • Updated Nov 9 • 168k • 7 • 1

published a dataset about 2 months ago

adeo1/mathlib_informal_v4.9.0

Viewer • Updated Nov 9 • 168k • 7 • 1

liked a dataset 2 months ago

Goedel-LM/MathOlympiadBench

Viewer • Updated Aug 6 • 360 • 130 • 12

liked 2 models 2 months ago

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

8B • Updated Jul 20 • 1.21k • 4

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

33B • Updated Jul 22 • 263 • 8

updated a dataset 3 months ago

adeo1/SocialNLI

Viewer • Updated Oct 15 • 5.32k • 90 • 2

liked a dataset 3 months ago

adeo1/SocialNLI

Viewer • Updated Oct 15 • 5.32k • 90 • 2

published a dataset 3 months ago

adeo1/SocialNLI

Viewer • Updated Oct 15 • 5.32k • 90 • 2

updated 2 datasets 3 months ago

adeo1/SocialNLI

Viewer • Updated Oct 15 • 5.32k • 90 • 2

adeo1/SocialNLI

Viewer • Updated Oct 15 • 5.32k • 90 • 2