Benchmark
MiniF2F
A benchmark dataset designed specifically for testing the formal reasoning capabilities of AI, containing formalized mathematics problems.
Timeline (last 90 days)
Oct 17
The Lean community has built a large mathematics library, mathlib, and datasets such as MiniF2F and PutnamBench have emerged specifically to test AI's formal reasoning capabilities.
Unverified50%