purewhite42/formal_math500
Viewer
•
Updated
•
387
•
80
Formal Problem-Solving
This collection is part of the official implementation of Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving.
-
-
purewhite42/minif2f_solving
Viewer • Updated • 375 • 96 -
purewhite42/putnambench_solving
Viewer • Updated • 324 • 98 -
purewhite42/formal_problem_solving_main
Viewer • Updated • 1.09k • 84 • 1 -
Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving
Paper • 2505.04528 • Published • 11