search

openai / miniF2F

Formal to Formal Mathematics Benchmark
309 stars 43 forks source link

[Fix] Statement name mathd_numbertheory_133 -> 188 #52

Closed DyeKuu closed 2 years ago

spolu commented 2 years ago

v1 updated as well