search

openai / miniF2F

Formal to Formal Mathematics Benchmark
297 stars 42 forks source link

mathd_algebra_452 #117

Closed DyeKuu closed 1 year ago

DyeKuu commented 1 year ago 
mathd_algebra_452
Value a_5 should be 6/5
DyeKuu commented 1 year ago

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