🏆 PutnamBench Leaderboard 🏆

Benchmarking formal mathematical reasoning on the Putnam Mathematical Competition.

github paper

📝 Notes

  1. As no existing methods have been benchmarked on PutnamBench without numerical answers in the theorem statement, the leaderboard for that variant contains no entries. Please share you results with us and we will promptly update the leaderboard!
  2. We are open to suggestions for better indicating the differing compute budgets of approaches on the leaderboard. Please reach out to us with your ideas!
  3. We thank the EvalPlus team for providing the leaderboard template.