Giters

openai / miniF2F

Formal to Formal Mathematics Benchmark

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

amc12a_2021_p12

DyeKuu opened this issue · comments

commented 
amc12a_2021_p12
The thesis should be b = -88.