Search

Papers (1)

[1]

aiXiv:2608.00002 [pdf, repo] repo ✓via arXiv — unclaimed

MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics

Kunhao Zheng, Jesse Michael Han, Stanislas Polu

Comments: Published as a conference paper at ICLR 2022

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)

Forum threads (0)

No threads matched.