search

openai / miniF2F

Formal to Formal Mathematics Benchmark
297 stars 42 forks source link

mathd_algebra_293 #114

Closed DyeKuu closed 1 year ago

DyeKuu commented 1 year ago 
mathd_algebra_293
It should be: sqrt (60 * x) * sqrt (12 * x) * sqrt (63 * x) = 36 * |x| * sqrt (35 * x)
DyeKuu commented 1 year ago

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