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 GeometryPaper | Code | Results | Date | Stars |
---|