EleutherAI/math-lm

MiniF2F Autoformalization (Eval Task)

haileyschoelkopf opened this issue · 1 comments

haileyschoelkopf commented
MiniF2F Autoformalization (Eval Task)
zhangir-azerbayev commented

Merging this issue with ProofNet autoformalization