CoolFace
20 results

steps

amzyst1 /cad-steps CAD-Steps: Intermediate CAD Construction States Dataset A large-scale dataset of intermediate CAD geometry states, capturing the step-by-step construction process of 3D models. Overview CAD-Steps provides paired data of CAD construction operations and their resulting geometry at each intermediate step. Unlike existing CAD datasets that only provide final geometry (ABC) or symbolic operations (DeepCAD), this dataset includes the actual 3D geometry at every construction… See the full description on the dataset page: https://huggingface.co/datasets/amzyst1/cad-steps.0 likes2.4k downloads5mo agoHugging Faceroozbeh-yz /IMO-Steps IMO-Steps Dataset This dataset is a benchmark that consists of building blocks for 13 IMO problems, and also the complete formal proofs for 20 IMO problems. The topics cover a variety of concepts ranging from divisibility to finite sets and functions. All proof steps are written in Lean 4. All files compile with no error in Lean v4.17.0. The purpose of the dataset is to expose current theorem provers' ability in solving IMO problems and highlight their strengths and weaknesses.… See the full description on the dataset page: https://huggingface.co/datasets/roozbeh-yz/IMO-Steps.textn<1K3 likes441 downloads2y agoHugging Facepufanyi /vbvrpro_sampler_trajectories-2200-steps VBVR-Pro sampler trajectory media This media archive backs the interactive pufanyi/vbvrpro_sampler_trajectories Space. It contains 12 matched evaluation cells: DiffSynth step-35500 baseline and DanceGRPO checkpoint 2200 Flow-CPS noise 0.1, 0.3, 0.7, and 0.9 deterministic FlowMatch Euler ODE and UniPC ODE 500 samples per cell across 100 VBVR-Pro tasks The deployment is split across three public media repositories so each Git-backed Dataset remains below Hugging Face's… See the full description on the dataset page: https://huggingface.co/datasets/pufanyi/vbvrpro_sampler_trajectories-2200-steps.video10K<n<100K0 likes255 downloads1mo agoHugging Facelbn32 /arc-steps ARC Intermediate Solving Steps (arc-steps) This dataset accompanies the paper TraceViT: Grounded Trace Supervision for Visual Abstract Reasoning. 1,286,952 procedurally generated ARC-style records — 1,062,561 of them with intermediate solving steps. Each record is an {input, steps, output} triple: steps is a sequence of intermediate grids tracing a semantically meaningful solution path from the input to the output, captured at human-annotated checkpoints of the program that… See the full description on the dataset page: https://huggingface.co/datasets/lbn32/arc-steps.tabularother1M<n<10M0 likes232 downloads2mo agoHugging Faceopen-llm-leaderboard-old /details_OpenAssistant__pythia-12b-pre-v8-12.5k-steps Dataset Card for Evaluation run of OpenAssistant/pythia-12b-pre-v8-12.5k-steps Dataset Summary Dataset automatically created during the evaluation run of model OpenAssistant/pythia-12b-pre-v8-12.5k-steps on the Open LLM Leaderboard. The dataset is composed of 3 configuration, each one coresponding to one of the evaluated task. The dataset has been created from 2 run(s). Each run can be found as a specific split in each configuration, the split being named using the… See the full description on the dataset page: https://huggingface.co/datasets/open-llm-leaderboard-old/details_OpenAssistant__pythia-12b-pre-v8-12.5k-steps.0 likes202 downloads3y agoHugging FaceCRUISEResearchGroup /Massive-STEPS-Istanbul Massive-STEPS-Istanbul Dataset Summary Massive-STEPSis a large-scale dataset of semantic trajectories intended for understanding POI check-ins. The dataset is derived from the Semantic Trails Dataset and Foursquare Open Source Places, and includes check-in data from 15 cities across 10 countries. The dataset is designed to facilitate research in various domains, including trajectory prediction, POI recommendation, and urban modeling. Massive-STEPS emphasizes the… See the full description on the dataset page: https://huggingface.co/datasets/CRUISEResearchGroup/Massive-STEPS-Istanbul.tabularother100K<n<1M0 likes186 downloads1y agoHugging Face