datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
repro-ai4slt-empirical-processes-in-lean-4-for-formal-statistical-learning-theory-traces
Agent traces
Agent sessions published from a Trackio Logbook.
prerequisite-sequencing-regulated-processes
What must pass before the next step: mandated step order in regulated processes
Canonical, always-current version: https://referencesource.org/prerequisite-sequencing-regulated-processes/
Machine-readable: https://referencesource.org/prerequisite-sequencing-regulated-processes/data.json — this mirror is a point-in-time copy.
Last verified: 2026-08-11
Stale after: 2027-08-11 (past this date, prefer the canonical copy —
it re-verifies on a cadence this snapshot does not)
Records:… See the full description on the dataset page: https://huggingface.co/datasets/referencesource/prerequisite-sequencing-regulated-processes.dataset-LANS-processesed
Dataset Card for "dataset-LANS-processesed"
More Information needed
wikihow-processes-vicls-processes-embedding-678cls-processes-embedding-400kafrica-worldbank-wbl-supportive-framework-mobility-passport-application-processes-are-the-same-f
WBL: Supportive Framework, Mobility, Passport application processes are the same for a woman and a man | Africa (World Bank — Gender Statistics) | Africa (World Bank)
Size category: n<1K - Formats: parquet - Sector: demographics_social - Engineered by Electric Sheep Africa
TL;DR
This dataset is part of the Electric Sheep Africa catalog on Hugging Face. It is indexed for African data discovery with standardized metadata, loading guidance, provenance notes, and… See the full description on the dataset page: https://huggingface.co/datasets/electricsheepafrica/africa-worldbank-wbl-supportive-framework-mobility-passport-application-processes-are-the-same-f.generic_processes_v1africa-worldbank-wbl-supportive-framework-mobility-the-application-processes-for-official-identi
WBL: Supportive Framework, Mobility, The application processes for official identity documents are the same for a woman and a man | Africa (World Bank — Gender Statistics) | Africa (World Bank)
Size category: n<1K - Formats: parquet - Sector: demographics_social - Engineered by Electric Sheep Africa
TL;DR
This dataset is part of the Electric Sheep Africa catalog on Hugging Face. It is indexed for African data discovery with standardized metadata, loading… See the full description on the dataset page: https://huggingface.co/datasets/electricsheepafrica/africa-worldbank-wbl-supportive-framework-mobility-the-application-processes-for-official-identi.orcun_processesd_v2dcls-processes-embedding-t7ranking_options_processes
Dataset Card for "ranking_options_processes"
More Information needed
orca-processes
Dataset Card for "orca-processes"
More Information needed
cls-processes-embedding-0909OpenOrca-processes-QA-vi
Dataset Card for "OpenOrca-processes-QA-vi"
More Information needed
cls-processes-embedding-t8cls-processes-embedding-2608processes_orca_dataset_5k