miniF2F

github.comtool

Cross-system benchmark of formalized olympiad, high-school, and undergraduate problems for evaluating automated theorem provers.

from

Math

added

2026-10-10

likes

0

Math › Mathematical Practice > AI for Mathematics: “Cross-system benchmark of formalized olympiad, high-school, and undergraduate problems for evaluating automated theorem provers.”