AlphaPeu commune
trishullab/PutnamBench
An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
- Propriétaire
- trishullab (organisation)
- Étoiles
- Étoiles : 270
- Forks
- Forks : 44
- Langage
- Lean
- Licence
- Aucune
- Création
- 2024
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de trishullab
Les 2 dépôts de trishullab- trishullab/bayouÉtoiles : 279JavaAlpha
D’autres dépôts Lean
Tous les dépôts Lean- strata-org/StrataÉtoiles : 287LeanAlpha
- leanprover/theorem_proving_in_lean4Étoiles : 286LeanAlpha
- opencompl/lean-mlirÉtoiles : 273LeanAlpha
- digama0/lean4leanÉtoiles : 269LeanAlpha
- tristanbuckmaster/fluid_leanÉtoiles : 267LeanAlpha
- ImperialCollegeLondon/formalising-mathematics-2024Étoiles : 262LeanAlpha