pinned Running Agents OPT-MCM Agent System Leaderboard 🏆 Math-modeling agent leaderboard (34 CUMCM/CPMCM tasks)