Geoclidean-Constraints dataset consists of 20 concepts and 40 tasks, created from permutations of line and circle construction rules with various constraints describing the relationship between objects. This dataset focuses on explicit constraints between geometric objects. We denote the objects as the following—lines as L, circles as C, and triangles (constructed from three lines) as T.
Source: Geoclidean: Few-Shot Generalization in Euclidean GeometryPaper | Code | Results | Date | Stars |
---|