padieul/nl-lean-demo-data
NL-Lean CSN-v2 demo: data bundle The data needed to run the interactive demo of padieul/nl-lean (DEMO_README.md) outside the machine it was built on. Do not download files by hand; the fetch script picks the files, places them and checks every sha256: python scripts/demo/fetch_data.py snapshot # recorded answers only, no GPU python scripts/demo/fetch_data.py full # everything for the live demo tier files size snapshot 843 24.0 MB data 123 1.4 GB index 33… See the full description on the dataset page: https://huggingface.co/datasets/padieul/nl-lean-demo-data.
NL-Lean CSN-v2 demo: data bundle
The data needed to run the interactive demo of padieul/nl-lean (DEMO_README.md) outside the machine it was built on. Do not download files by hand; the fetch script picks the files, places them and checks every sha256:
python scripts/demo/fetch_data.py snapshot # recorded answers only, no GPU
python scripts/demo/fetch_data.py full # everything for the live demoPaths are relative to the demo data root; bundle-manifest.json lists every file with its tier, size and sha256. The base models are not in this repository; fetch_data.py full downloads them from their own repositories at these revisions:
Qwen/Qwen3-Embedding-0.6B@97b0c614be4d77ee51c0cef4e5f07c00f9eb65b3(for A-42, B-42, C-42, D-42, zs-0.6b)Qwen/Qwen3-Embedding-8B@1d8ad4ca9b3dd8059ad90a75d4983776a23d44af(for zs-8b)Qwen/Qwen3-Reranker-0.6B@e61197ed45024b0ed8a2d74b80b4d909f1255473(for two-stage)
Provenance. Staged 2026-09-27T00:53:21+00:00 from nl-lean commit 33c9a0586c1af635f0c563bc5b5c152cc7d3eedd-dirty.
Held-out data. This bundle contains the sealed held-out CSN-v2 panel and its certified near misses and views.
Licences. The bundle redistributes data derived from Herald (FrenzyMath) and adapters trained on Qwen3 models. The upstream licences apply; set license above accordingly.