issues
search
trishullab
/
PutnamBench
An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
41
stars
5
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Modify 73-78 Coq -> Mathcomp, Update Isabelle formalizations pursuant to #203, #206.
#211
GeorgeTsoukalas
opened
1 day ago
0
Fix a few minor Lean misformalisations
#210
ocfnash
closed
3 days ago
0
Fix a few minor Lean misformalisations
#209
ocfnash
closed
1 week ago
1
Fix a few minor Lean misformalisations
#208
ocfnash
closed
1 week ago
0
lean: check the populated solutions in CI
#207
eric-wieser
closed
3 weeks ago
0
Fix a few minor Lean misformalisations
#206
ocfnash
closed
2 weeks ago
2
Unknown identifier fixes (Lean).
#205
MichaelHenryJennings
closed
3 weeks ago
1
Modify Isabelle & Coq formalizations pursuant to #203
#204
GeorgeTsoukalas
opened
3 weeks ago
4
Fix some minor Lean misformalisations
#203
ocfnash
closed
3 weeks ago
2
lean: Disable autoImplicits
#202
eric-wieser
closed
3 weeks ago
0
Included mathcomp-analysis and classical.
#201
GeorgeTsoukalas
closed
5 days ago
0
Coq and Isabelle 1987-1990 fixes
#200
JohnEdwardJennings
closed
1 month ago
0
Update to Lean 4.10.0
#199
eric-wieser
closed
3 weeks ago
0
Isabelle & Coq verifications: 1983-1986
#198
MichaelHenryJennings
closed
1 month ago
0
1999 to 2001 isabelle and coq fixes
#197
leejasper851
closed
3 weeks ago
0
Feature request: include the original problem descriptions in docstrings for the theorem statements
#196
eric-wieser
opened
1 month ago
4
Proposal: Use sigma types with partial proofs for solution witnesses
#195
LasseBlaauwbroek
opened
1 month ago
5
Coq revisions 1987-1990
#194
JohnEdwardJennings
closed
1 month ago
0
optParam and notational improvements.
#193
GeorgeTsoukalas
closed
1 month ago
0
MathComp Analysis and idiomatic Coq formalizations
#192
palmskog
opened
1 month ago
6
coq 1981-82 fixes
#191
jxin31415
closed
1 month ago
0
Inaccuracies related to Coq in 15 Jul 2024 arXiv paper
#190
palmskog
opened
1 month ago
3
Jasper
#189
leejasper851
closed
1 month ago
0
Fixed Euclidean dist issues w.t.t. Eric Wieser for his suggestion
#188
GeorgeTsoukalas
closed
1 month ago
0
Fix elaboration issues.
#187
GeorgeTsoukalas
closed
1 month ago
0
Sum elaboration issues on v4.7.0
#186
GeorgeTsoukalas
closed
1 month ago
3
Move off the release candidate to the closest release
#185
eric-wieser
closed
1 month ago
0
Putnam 2017 B2 issues
#184
LasseBlaauwbroek
closed
1 week ago
5
Putname 1980 A5 issues
#183
LasseBlaauwbroek
closed
1 week ago
5
Fixed failed compilation.
#182
GeorgeTsoukalas
closed
1 month ago
0
Update typos thanks to Pietro Monticone
#181
GeorgeTsoukalas
closed
1 month ago
0
Putnam 2009 B1 issues
#180
LasseBlaauwbroek
closed
1 week ago
3
Some lean files do not compile
#179
eric-wieser
closed
1 month ago
2
Fix typos in docs
#178
pitmonticone
closed
1 month ago
0
Isabelle & Coq verifications: 2004-2005 & 1991-1995
#177
MichaelHenryJennings
closed
1 month ago
0
Coq revisions 2006-2011
#176
JohnEdwardJennings
closed
1 month ago
0
Fix 2013 a5 isabelle
#175
jxin31415
closed
1 month ago
0
George
#174
GeorgeTsoukalas
closed
1 month ago
0
Run lean CI in the right directory
#173
eric-wieser
closed
1 month ago
0
Rebase branch
#172
michelled01
opened
1 month ago
0
MeasureTheory.volume is incorrectly used on 2d sets in 3D
#171
eric-wieser
closed
1 month ago
3
Fix lean build setup and add CI
#170
eric-wieser
closed
1 month ago
0
InternLM-Math solves 4 problems with answers in LEAN 4.
#169
objecti0n
closed
1 month ago
9
Evaluation of Formal Proofs
#168
sivakishoresk
closed
1 month ago
1
2002 and 2003 isabelle and coq fixes (except 2003_b5 for coq)
#167
leejasper851
closed
1 month ago
0
unsound usage of optParams in Lean problems
#166
dwrensha
closed
1 month ago
5
Euclidean.dist should probably be avoided
#165
eric-wieser
closed
1 month ago
5
Modified table headers to reflect problem count.
#164
GeorgeTsoukalas
closed
1 month ago
0
Fixing leaderboard order.
#163
GeorgeTsoukalas
closed
1 month ago
0
Fixed sorting by language in leaderboard.
#162
GeorgeTsoukalas
closed
1 month ago
0
Next