Akhil Deo

adeo1's activity

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

liked 2 datasets 3 months ago

adeo1/mathlib_informal_v4.9.0

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

Goedel-LM/MathOlympiadBench

Viewer • Updated Aug 6, 2025 • 360 • 48 • 12

liked 2 models 3 months ago

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

8B • Updated Jul 20, 2025 • 701 • 4

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

33B • Updated Jul 22, 2025 • 167 • 7

liked a dataset 4 months ago

adeo1/SocialNLI

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