Running on Zero MCP 40 Moonshot Math ๐ 40 Formal reasoning model that can reason and prove theorems
Running on CPU Upgrade Agents 394 Deep Reinforcement Learning Leaderboard ๐ 394 Display and search reinforcement learning leaderboard data