datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
sketch-graph
openprocessing-sketches
OpenProcessing Creative Code Dataset
A curated collection of 11642 public creative coding sketches from
OpenProcessing, with full source code.
Sources
Sketches were discovered via:
Curations: [78544, 88104]
User portfolios: [128718, 110137, 363571, 183691, 410675, 314603, 18537, 67809, 244319, 281109, 327947, 314640, 162823, 326951, 387225, 471647, 327946, 411850, 231571, 468480, 211463]
User hearts: [128718, 110137, 363571, 183691, 410675, 314603, 18537, 67809, 244319… See the full description on the dataset page: https://huggingface.co/datasets/t14n/openprocessing-sketches.editable-sketch-repro-results-final
Scaled FormalMath-Lite reproduction for paper mI3K0e1KsN
This repository contains the machine-verification output from an independent,
scaled reproduction of Editable Proof Sketch for Automated Theorem Proving.
It is not a benchmark-scale estimate of the paper's reported 76.0% pass rate.
Valid run
Benchmark: SphereLab/FormalMATH-Lite (8 deterministic examples out of 425,
seed 2022)
Generator: deepseek-ai/DeepSeek-Prover-V2-7B
Verifier: Lean 4.11.0 with Mathlib… See the full description on the dataset page: https://huggingface.co/datasets/Sugutt/editable-sketch-repro-results-final.editable-sketch-repro-resultsExperiment-Design-Sketch-Image-Classification-Dataset
Experiment Design Sketch Image Classification Dataset
In the field of industrial manufacturing, the design process often relies on a large number of design sketches that need to be quickly converted into actual engineering designs during the subsequent manufacturing stages. However, manually processing these sketches is often time-consuming and prone to errors, currently relying mainly on manual labeling and conversion by designers, which is inefficient and unstable. Existing… See the full description on the dataset page: https://huggingface.co/datasets/Mobiusi/Experiment-Design-Sketch-Image-Classification-Dataset.screenbench-sketches-exam-v1
screenbench-sketches-exam-v1
76 unlabeled 504/7(a) sketches from ScreenBench exam-v1. Fields: id, split, program, as_of, sketch, family.
No gold. Occupancy, proceeds, SOP clock, size, franchise, affiliation are in the prose. This is not a passed model. Not an SBA product. Not borrower NPI.
Gold stays private. Grader is sba_screen.quality.
sketchfab-v3-openapiromani-sketches-dpoThis dataset consists of parallel text pairs for translating sentences from colloquial spoken Romani to Bulgarian. The style is conversational and the samples are taken from short dialogue videos. It is formatted as instruction-completion pairs suitable for training machine translation models.
editable-sketch-repro-canaryromani-sketches