Geoclidean-Elements

Geoclidean-Elements dataset is derived from definitions in the first book of Euclid’s Elements, which focuses on plane geometry. Geoclidean-Elements includes 17 target concepts and 34 tasks.

Source: Geoclidean: Few-Shot Generalization in Euclidean Geometry

Image Source: https://arxiv.org/pdf/2211.16663v1.pdf