Prakhar Dixit

pdx97's activity

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

liked a dataset 9 months ago

Tonic/MiniF2F

Viewer • Updated Feb 5 • 488 • 240 • 5

liked a Space 10 months ago

Running on Zero

MCP

39

Moonshot Math

🌕

39

Formal reasoning model that can reason and prove theorems

liked 2 Spaces over 1 year ago

Running

Featured

402

Huggy

🐶

402

Play with a dog that learned to catch sticks

Running on CPU Upgrade

381

Deep Reinforcement Learning Leaderboard

🚀

381

Display and search reinforcement learning leaderboard data