AI-MO
Geometry theorem proving problems formalised in Lean 4, covering Euclidean, affine, and metric geometry for automated reasoning evaluation.
Last 30 days
Explore
Read the real rows without downloading anything
Reading rows…
LiveRead from AI-MO/GeometryLeanBench at the moment you asked. Nothing is cached or stored — every row above came from that request.
Column statistics
Over 122 rows of default/train
