datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
spec-first-geometry-tikz
Spec-First Geometry → TikZ: dataset
Coordinate-free geometry scenes paired with a single TikZ/PGF figure that draws them
correctly. Each scene is described by relationships only (no explicit coordinates); the
label is a figure whose every named point is correct within atol=0.05 of the ground-truth
construction. The data is self-verifying synthetic: scenes are generated forward from
exact coordinates, the coordinates are then stripped to form the model input, so every
label is… See the full description on the dataset page: https://huggingface.co/datasets/kyhe/spec-first-geometry-tikz.tikz-largetikz