Prakhar Dixit

pdx97's activity

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

liked a dataset 6 months ago

Tonic/MiniF2F

Viewer • Updated Feb 5 • 488 • 462 • 4

liked a Space 7 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

378

378

Huggy

🐶

Play with a stick-catching AI dog 🐶

Running on CPU Upgrade

371

371

Deep Reinforcement Learning Leaderboard

🚀

Display and search reinforcement learning leaderboard data