Standardize dataset storage on JSONL manifests - #19

Merged

tadamcz merged 14 commits into

mainfrom

jsonl-manifests

Aug 11, 2026

Commits on Aug 8, 2026

Rewrite dataset loading around JSONL manifests and JSON subsets
tadamcz
committed
8d1a805
Convert the OEIS dataset to the manifest format
tadamcz
committed
22673f7
Convert the fc100open dataset to the manifest format
tadamcz
committed
a1c6c86
Expand the erdos dataset to the full FC ErdosProblems universe
tadamcz
committed
45367c5
Align the remaining tests and analysis scripts with the manifest format
tadamcz
committed
6cc0204
Reorganize auxiliary dataset files under metadata/{snapshots,derived}
tadamcz
committed
f0dc3f7
Hand-isolate the seven specs the generic cut cannot handle
tadamcz
committed
af18018
Revert "Hand-isolate the seven specs the generic cut cannot handle"
tadamcz
committed
47a5673

Commits on Aug 11, 2026

Curate the erdos dataset down to the paper's attempted set
tadamcz
committed
5d782b2
Merge origin/main: relocate proposer metadata into the manifest layout
tadamcz
committed
1d3a277
reduce documentation slop
tadamcz
committed
a8d2894
reduce documentation slop
tadamcz
committed
ed7b1e6
reduce documentation slop
tadamcz
committed
9b9c2ae
reduce documentation slop
tadamcz
committed
be8e8a4