trishullab/PutnamBench
An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
Isabelle
Stargazers
- yangky11New York, NY
- SinclairCoderChina
- GanjinZeroBeijing
- ToheartZhangBeijing, China
- hongtangshuishanghai
- zhaoyu-liToronto, Canada
- fly51flyBeiJing
- westtideGuangzhou
- michelled01Austin, TX, USA
- thelyad
- mynameismonBengaluru, India
- chenjulang
- iJavaDev
- Purewhite2019
- bastienlcParis
- ahuoguo
- alreadydoneHeidelberg / Shenzhen
- witranSingapore
- zijunchen68
- fzyzcjySolar system
- tigerneilEarth
- oxysoftQuebec, Montreal
- shengchaochen82Sydney, Australia
- CongAnhLe
- BartoszPiotrowskiWarsaw
- vivCoding
- swisstackleZurich, Switzerland <-> Buffalo, NY
- vincentfclercPalaiseau
- jiangsy
- chenson2018
- SDZZGNDRC
- shivamsark2001
- pranavntRedmond, WA
- Formal-Mathematics-Lab
- dapurv5NY
- James-OswaldTroy, New York, USA