datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
geometry-dash-levels
Geometry Dash Level Dataset
Subsets
2024_300k
Dump of ~300k levels from the Geometry Dash servers, sorted by the number of likes. 66 JSONL shards (~660MB each, ~43GB total).
Files: 2024_300k/levels-v1-00000.jsonl through 2024_300k/levels-v1-00065.jsonl
2026_50k_rated
~50k rated/featured levels scraped from the Geometry Dash servers in February 2026. 39 JSONL shards (~500MB each, ~19GB total).
Files: 2026_50k_rated/levels-v2-00000.jsonl through… See the full description on the dataset page: https://huggingface.co/datasets/yusp48/geometry-dash-levels.geometry3k
geometry3k
A slice of geometry problems with diagram images and structured annotations.
Example Preview
problem_text: In \odot K, M N = 16 and m \widehat M N = 98. Find the measure of L N. Round to the nearest hundredth.
answer: C (≙ 8.94)
code
import matplotlib.pyplot as plt
import numpy as np
# Define points
points = {"J": [160.0, 24.0], "K": [93.0, 97.0], "L": [33.0, 166.0], "M": [1.0, 96.0], "N": [98.0, 186.0], "P": [52.0, 144.0]}
# Define lines
lines… See the full description on the dataset page: https://huggingface.co/datasets/LibraTree/geometry3k.geometry-dash-retro-levelsFork of https://huggingface.co/datasets/yusp48/geometry-dash-levels.
Contains only retro levels with id < 11000000.
Use my gdparse library: pip install gdparse
euclean-numina-geometry
Euclean Numina-Geometry
Euclean Numina-Geometry is a generated Lean 4 / Mathlib geometry
formalization dataset released with the ICML 2026 paper:
Euclean: Automated Geometry Problem Formalization with Unified Verification in Lean
GitHub repository: https://github.com/tlb-22/Euclean
Dataset Description
This release contains 183,796 Numina-derived geometry problems with generated
Lean theorem statements. The formalizations were regenerated with Codex GPT-5.4
using… See the full description on the dataset page: https://huggingface.co/datasets/tlb-22/euclean-numina-geometry.euclean-omni-geometry
Euclean Omni-Geometry
Euclean Omni-Geometry is a generated Lean 4 / Mathlib geometry formalization
dataset released with the ICML 2026 paper:
Euclean: Automated Geometry Problem Formalization with Unified Verification in Lean
GitHub repository: https://github.com/tlb-22/Euclean
Dataset Description
This release contains 780 Omni-MATH-derived plane geometry problems with
generated Lean theorem statements and one-pass Lean proof attempts. The
formalizations and proof… See the full description on the dataset page: https://huggingface.co/datasets/tlb-22/euclean-omni-geometry.airframe-sios-hidden-geometry
Airframe SIOS Hidden Geometry Benchmark
Overview
Airframe SIOS Hidden Geometry is a synthetic relational-reasoning benchmark designed to test whether a system can recover a globally coherent labelled graph when local observations are incomplete, overlapping, conflicting, or actively misleading.
The benchmark is built around two central distinctions:
Metric Evidence ≠ Relational Structure
Local Plausibility ≠ Global Coherence
Each example contains four labelled… See the full description on the dataset page: https://huggingface.co/datasets/ClarusC64/airframe-sios-hidden-geometry.Geometryspec-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.geometry3keh-correctness-geometry-scale-ladder
correctness-geometry-scale-ladder -- aggregate exhaust
Aggregate-only: every file committed under this experiment's analysis-committed/ tree (dose-response tables, direction fits, gate AUROCs, manifests, and any other analysis artifact), copied byte-for-byte. No source question text, aliases, or per-row generation text -- analysis-committed/ never carries those.
HF repo: professorsynapse/eh-correctness-geometry-scale-ladder
Provenance
Experiment:… See the full description on the dataset page: https://huggingface.co/datasets/professorsynapse/eh-correctness-geometry-scale-ladder.GeometryLeanBenchagenttool-principality-geometry
Principality Geometry reference companion
This is a deterministic, synthetic reference companion for the public
@agenttool/principality-geometry developer preview. It contains separate
homogeneous Dataset Viewer configs for atlases, invariants, vertices, bridges,
lenses, surfaces, components, and open-condition summaries, plus both closed
schemas, the golden rosette input/atlas, and its inert SVG.
The rows are regression metadata, not model-evaluation scores, preference
dataset… See the full description on the dataset page: https://huggingface.co/datasets/Yu-and-Ai/agenttool-principality-geometry.math_geometry_polygon_7B_test_inmath_geometry_polygon_7B_traingeometry-datasetgeometry-cotagenttool-relational-geometry
AgentTool Relational Geometry — synthetic public companion
When generated, this deterministic artifact was repository-source-only and had
not been uploaded to Hugging Face. Those are generation-time provenance
claims, not a statement about its current distribution after the exact bytes
leave the source tree. Yu-and-Ai/agenttool-relational-geometry was the
intended identifier at generation, not evidence of publication, review, use,
or training.
It accompanies… See the full description on the dataset page: https://huggingface.co/datasets/Yu-and-Ai/agenttool-relational-geometry.math_geometry_polygon_rotation_7B_trainmath_geometry_polygon_7B_test_outmath_geometry_polygon_color_level_3math_geometry_polygon_color_level_1math_geometry_circle_7B_trainmath_geometry_polygon_rotation_7B_test_outmath_geometry_polygon_chords_level_1math_geometry_polygon_color_7B_test_inkhan-math-geometry
Khan Math – Geometry
Geometry problems from Khan Academy in ChatML format. Covers triangles, circles, coordinate geometry, and more.
Quick Start
from datasets import load_dataset
dataset = load_dataset("NecroMOnk/khan-math-geometry")
print(dataset["train"][0])
Example record:
{
"messages": [
{"role": "system", "content": "You are a mathematics tutor. Answer the following math problem."},
{"role": "user", "content": "Find the arclength of the function $f(x) =… See the full description on the dataset page: https://huggingface.co/datasets/NecroMOnk/khan-math-geometry.relational-geometry
AgentTool Relational Geometry — synthetic public companion
When generated, this deterministic artifact was repository-source-only and had
not been uploaded to Hugging Face. Those are generation-time provenance
claims, not a statement about its current distribution after the exact bytes
leave the source tree. Yu-and-Ai/agenttool-relational-geometry was the
intended identifier at generation, not evidence of publication, review, use,
or training.
It accompanies… See the full description on the dataset page: https://huggingface.co/datasets/Yu-and-Ai/relational-geometry.math_geometry_circle_7B_test_inmath_geometry_basic_7B_trainmath_geometry_polygon_rotation_7B_test_in