search

openai / miniF2F

Formal to Formal Mathematics Benchmark
297 stars 42 forks source link

imo_2019_p1 #110

Closed DyeKuu closed 1 year ago

DyeKuu commented 1 year ago 
imo_2019_p1
Missing brackets around the first quantifier
DyeKuu commented 1 year ago

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