psaegert/simplipy-assets
simplipy assets Rule sets and engine configurations for simplipy, a fast, contract-sound simplification engine for symbolic mathematical expressions. The engine and these rule sets are described in: Saegert & Köthe 2026, Breaking the Simplification Bottleneck in Amortized Neural Symbolic Regression (ICML 2026), arXiv:2602.08885. Install an engine by name (downloads this repository's files on first use): pip install simplipy import simplipy as sp engine =… See the full description on the dataset page: https://huggingface.co/datasets/psaegert/simplipy-assets.
manifest: register acj-5-4-llm
engines/acj-5-4-llm: the verified run-5 triple
The serving asset leads the manifest
Manifest descriptions carry conclusions only
manifest: register acj-4 (the 0.14.0 serve cell) with sha256 digests
acj-4: first triple mined under the 0.14.0 instrument -- 5,338/5,434/5,499 rules, x3 byte-identical on solomon (md5 412e2e35a7e1e2615b661289e23e83d8), instrument 38e6e8a, measure digest 32302640b359a348; config names the triple
manifest: acj-4-3-llm census correction + sidecar digest + revision
acj-4-3-llm: correct the proposal census (73 -> 54 served + 19 certified-then-dropped, each attributed to the stage that removed it). rules.json is byte-identical; the artifact does not move.
The paper is accepted at ICML 2026
manifest: + acj-4-3-llm (pinned revision, R6 sha256 digests)
acj-4-3-llm: the certified LLM-proposals merge (73 certified of 169, 0 trusted); 6,647 rules, x3 byte-identical, minted under released simplipy 0.13.1; proposals.json + PROMPT_SPEC.md ship in-kit for end-to-end auditability
manifest: acj-4-3 -> G2 re-mine revision + sha256 digests (R6)
acj-4-3 G2 re-mine (0.13.0 train): 6,594 rules, x3 byte-identical, minted on solomon (glibc 2.39); first sidecar with the R5 environment block + libm_fingerprint
acj-4-3: adopt the post-F83 mine (6,661 -> 6,671 rules, +10, 0 removed; x3 byte-deterministic, full gate ladder green; provenance sidecar refreshed; manifest description names the miner build)
Republish acj engine family: complete re-mine on the deployed literal alphabet
README: compatibility matrix now ENFORCED at load (generation gate)
base: engine_generation pin (artifact-generation gate, simplipy 0.12)
acj-4-3: engine_generation pin (artifact-generation gate, simplipy 0.12)
acj-3-2: engine_generation pin (artifact-generation gate, simplipy 0.12)
acj-2-1: engine_generation pin (artifact-generation gate, simplipy 0.12)
README: table and refresh note current (25/104/1008, mu era, symbolic gate)
acj-4-3: fold-unification refresh (25/104/1176; symbolic gate; corpus total unchanged)
acj-4-3: fold-unification refresh (25/104/1176; symbolic gate; corpus total unchanged)
acj-3-2: fold-unification refresh (25/104/1176; symbolic gate; corpus total unchanged)
acj-2-1: fold-unification refresh (25/104/1176; symbolic gate; corpus total unchanged)
acj-4-3: fold-unification refresh (25/104/1176; symbolic gate; corpus total unchanged)
acj-4-3: fold-unification refresh (25/104/1176; symbolic gate; corpus total unchanged)
acj-3-2: fold-unification refresh (25/104/1176; symbolic gate; corpus total unchanged)
acj-3-2: fold-unification refresh (25/104/1176; symbolic gate; corpus total unchanged)
acj-2-1: fold-unification refresh (25/104/1176; symbolic gate; corpus total unchanged)
acj-2-1: fold-unification refresh (25/104/1176; symbolic gate; corpus total unchanged)
H1 pole fix: acj-4-3 (2026-08-02)
H1 pole fix: acj-4-3 (2026-08-02)
H1 pole fix: acj-3-2 (2026-08-02)
H1 pole fix: acj-2-1 (2026-08-02)
F4 audit: acj-4-3 at rtol 1e-11, dummy_variables 2 (2026-08-01)
F4 audit: acj-4-3 at rtol 1e-11, dummy_variables 2 (2026-08-01)
F4 audit: acj-4-3 at rtol 1e-11, dummy_variables 2 (2026-08-01)
F4 audit: acj-3-2 at rtol 1e-11, dummy_variables 2 (2026-08-01)
F4 audit: acj-3-2 at rtol 1e-11, dummy_variables 2 (2026-08-01)
F4 audit: acj-3-2 at rtol 1e-11, dummy_variables 2 (2026-08-01)
F4 audit: acj-2-1 at rtol 1e-11, dummy_variables 2 (2026-08-01)
F4 audit: acj-2-1 at rtol 1e-11, dummy_variables 2 (2026-08-01)
Manifest: acj family refreshed under the unified measure (2026-08-01)
Refresh acj-4-3: the mu-clean mine (unified simplicity measure, 2026-08-01)
Refresh acj-4-3: the mu-clean mine (unified simplicity measure, 2026-08-01)
Refresh acj-3-2: the mu-clean mine (unified simplicity measure, 2026-08-01)
Refresh acj-3-2: the mu-clean mine (unified simplicity measure, 2026-08-01)
Refresh acj-2-1: the mu-clean mine (unified simplicity measure, 2026-08-01)
Refresh acj-2-1: the mu-clean mine (unified simplicity measure, 2026-08-01)