# trishullab/PutnamBench

<https://repo.masters-masters.com/en/repos/trishullab/PutnamBench>

[Home](https://repo.masters-masters.com/en) › [trishullab](https://repo.masters-masters.com/en/owners/trishullab) › [PutnamBench](https://repo.masters-masters.com/en/repos/trishullab/PutnamBench)

trishullab/PutnamBench has 270 stars on GitHub. Its RepoMasters card: Alpha tier. An evaluation benchmark for undergraduate competition math in Lean4…

| Field | Value |
| --- | --- |
| Owner | [trishullab](https://repo.masters-masters.com/en/owners/trishullab) |
| Stars | 270 |
| Forks | 44 |
| Language | [Lean](https://repo.masters-masters.com/en/languages/lean) |
| License | None |
| Created | 2024 |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [trishullab/PutnamBench](https://github.com/trishullab/PutnamBench) |

## Repository

An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## More repos by trishullab

- [trishullab/bayou · ★ 279 · Java · Alpha](https://repo.masters-masters.com/en/repos/trishullab/bayou)

## Nearby in Lean

- [leanprover/theorem\_proving\_in\_lean4 · ★ 286 · Lean · Alpha](https://repo.masters-masters.com/en/repos/leanprover/theorem_proving_in_lean4)
- [opencompl/lean-mlir · ★ 274 · Lean · Alpha](https://repo.masters-masters.com/en/repos/opencompl/lean-mlir)
- [digama0/lean4lean · ★ 270 · Lean · Alpha](https://repo.masters-masters.com/en/repos/digama0/lean4lean)
- [tristanbuckmaster/fluid\_lean · ★ 267 · Lean · Alpha](https://repo.masters-masters.com/en/repos/tristanbuckmaster/fluid_lean)
- [TauCetiProject/TauCeti · ★ 265 · Lean · Alpha](https://repo.masters-masters.com/en/repos/TauCetiProject/TauCeti)
- [ImperialCollegeLondon/formalising-mathematics-2024 · ★ 264 · Lean · Alpha](https://repo.masters-masters.com/en/repos/ImperialCollegeLondon/formalising-mathematics-2024)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.