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.wikihow-processes-vi