formalgeo7k
Introduced by Zhang et al. in FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving
6981 SAT-level geometry problem with complete natural language description, geometric shapes, formal language annotations, and theorem sequences annotations.
Papers
| Paper | Code | Results | Date | Stars |
|---|
Dataset Loaders
No data loaders found. You can
submit your data loader here.
No data loaders found. You can
submit your data loader here.
