Joshua Shay Kricheli NeuroSymbolic AI
v2 v1

Release · v3.5.0

Add TPP scaling-law example suite: data + goldens…

Add TPP scaling-law example suite: data + goldens from the original Python

feat v3.5.0 July 4, 2026 Joshua Shay Kricheli d1cce36

Details

A reproducible suite (mirroring pyedcr-examples/) that ships the paper's
published per-run loss CSVs and fits every case with the ORIGINAL fitting code
pinned at commit a63a008f, so nothing numeric is re-implemented in Python:
- fetch_data.py       sha256-pinned download of the 7 loss CSVs + the authors'
                      published per-seed parquet.
- common/paper_code.py locate/verify the pinned original code (env override or
                      on-demand clone); generation fails loudly off-commit.
- common/paper_numbers.py verbatim paper-quoted headline numbers, each tagged
                      with its .tex source.
- make_examples.py    orchestrates the original parsing / split / array-prep /
                      seed-aware fitters / coverage-step + bbox selection into
                      web/<dataset>.json (schema v1). Before trusting any golden
                      it re-fits every (law, mode, design) seed-0 combo and
                      requires BIT-EXACT agreement with the authors' published
                      results (100 combos verified); round-trips every case's
                      arrays back out of the JSON.
Shipped JSONs live at frontend/jekyll/assets/tpp-examples/ (served copy).
Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_014c7dbCGbQxtWedKRSx4sJi

Files changed (24)

.gitignore +5 −0
frontend/jekyll/assets/tpp-examples/c4.json +1 −0
frontend/jekyll/assets/tpp-examples/cosmopedia.json +1 −0
frontend/jekyll/assets/tpp-examples/pes2o.json +1 −0
frontend/jekyll/assets/tpp-examples/redpajama.json +1 −0
frontend/jekyll/assets/tpp-examples/wikipedia.json +1 −0
frontend/jekyll/assets/tpp-examples/wikipedia_bf16.json +1 −0
frontend/jekyll/assets/tpp-examples/wikipedia_bigtpp.json +1 −0
tpp-examples/README.md +65 −0
tpp-examples/common/__init__.py +0 −0
tpp-examples/common/paper_code.py +71 −0
tpp-examples/common/paper_numbers.py +110 −0
tpp-examples/common/schema.md +111 −0
tpp-examples/fetch_data.py +70 −0
tpp-examples/make_examples.py +859 −0
tpp-examples/requirements.txt +8 −0
tpp-examples/web/c4.json +1 −0
tpp-examples/web/cosmopedia.json +1 −0
tpp-examples/web/manifest.json +50 −0
tpp-examples/web/pes2o.json +1 −0
tpp-examples/web/redpajama.json +1 −0
tpp-examples/web/wikipedia.json +1 −0
tpp-examples/web/wikipedia_bf16.json +1 −0
tpp-examples/web/wikipedia_bigtpp.json +1 −0