AlphaUncommon
trishullab/PutnamBench
An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
- Owner
- trishullab (organization)
- Stars
- Stars: 270
- Forks
- Forks: 44
- Language
- Lean
- License
- None
- Created
- 2024
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by trishullab
All 2 repos by trishullab- trishullab/bayouStars: 279JavaAlpha
Nearby in Lean
All Lean repos- strata-org/StrataStars: 287LeanAlpha
- leanprover/theorem_proving_in_lean4Stars: 286LeanAlpha
- opencompl/lean-mlirStars: 273LeanAlpha
- digama0/lean4leanStars: 269LeanAlpha
- tristanbuckmaster/fluid_leanStars: 267LeanAlpha
- ImperialCollegeLondon/formalising-mathematics-2024Stars: 262LeanAlpha