search

openai / miniF2F

Formal to Formal Mathematics Benchmark
297 stars 42 forks source link

amc12a_2021_p12 #107

Closed DyeKuu closed 1 year ago

DyeKuu commented 1 year ago 
amc12a_2021_p12
The thesis should be b = -88.
DyeKuu commented 1 year ago

fixed in https://github.com/facebookresearch/miniF2F