Our new X account is live! Follow @wizwand_team for updates
Home
/
Benchmarks
Formal Theorem Proving on Putnam 2025
Loading...
-
Putnam 2025 A1 Success Rate
No plottable results for Putnam 2025 A1 Success Rate (PERCENT).
Metric
Putnam 2025 A1 Success Rate (PERCENT)
Putnam 2025 A2 Success Rate (PERCENT)
Putnam 2025 A3 Success Rate (PERCENT)
Putnam 2025 A4 Success Rate (PERCENT)
Putnam 2025 A5 Success Rate (PERCENT)
Putnam 2025 A6 Success Rate (PERCENT)
Putnam 2025 B1 Success Rate (PERCENT)
Putnam 2025 B2 Success Rate (PERCENT)
Putnam 2025 B3 Success Rate (PERCENT)
Putnam 2025 B4 Success Rate (PERCENT)
Putnam 2025 B5 Success Rate (PERCENT)
Putnam 2025 B6 Success Rate (PERCENT)
Updated 4d ago
Evaluation Results
Method
Method
Links
Putnam 2025 A1 Success Rate
Putnam 2025 A2 Success Rate
Putnam 2025 A3 Success Rate
Putnam 2025 A4 Success Rate
Putnam 2025 A5 Success Rate
Putnam 2025 A6 Success Rate
Putnam 2025 B1 Success Rate
Putnam 2025 B2 Success Rate
Putnam 2025 B3 Success Rate
Putnam 2025 B4 Success Rate
Putnam 2025 B5 Success Rate
Putnam 2025 B6 Success Rate
No evaluation results found.
Feedback
Search any
task
Search any
task
