Prakhar Dixit

pdx97's activity

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

liked a dataset 8 months ago

Tonic/MiniF2F

Viewer • Updated Feb 5 • 488 • 255 • 5

liked a Space 9 months ago

Running on Zero

MCP

39

39

Moonshot Math

🌕

Formal reasoning model that can reason and prove theorems

liked 2 Spaces over 1 year ago

Running

396

396

Huggy

🐶

Play with a dog that learned to catch sticks

Running on CPU Upgrade

379

379

Deep Reinforcement Learning Leaderboard

🚀

Display and search reinforcement learning leaderboard data