Running on Zero MCP 42 Moonshot Math ๐ 42 Formal reasoning model that can reason and prove theorems
Running on CPU Upgrade Agents 418 Deep Reinforcement Learning Leaderboard ๐ 418 Search your models on the Deep RL leaderboard