{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:FUZF4YIKV2HFCGRJHNHVJQJSWJ","short_pith_number":"pith:FUZF4YIK","canonical_record":{"source":{"id":"2602.08885","kind":"arxiv","version":5},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.LG","submitted_at":"2026-02-09T16:47:00Z","cross_cats_sorted":["cs.AI","cs.SC"],"title_canon_sha256":"6d0fd9f71ba4ffa6f5a725e8e9abd89c2fdaa3962351b8dab96937cb1ea0ca2d","abstract_canon_sha256":"47e10b2ea4c682e555e6e12e1e820f99b15bd9e0fda8a6b190190b763724ea0e"},"schema_version":"1.0"},"canonical_sha256":"2d325e610aae8e511a293b4f54c132b2757ad6d26130a4fd501289c774020f9b","source":{"kind":"arxiv","id":"2602.08885","version":5},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2602.08885","created_at":"2026-06-01T01:02:33Z"},{"alias_kind":"arxiv_version","alias_value":"2602.08885v5","created_at":"2026-06-01T01:02:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2602.08885","created_at":"2026-06-01T01:02:33Z"},{"alias_kind":"pith_short_12","alias_value":"FUZF4YIKV2HF","created_at":"2026-06-01T01:02:33Z"},{"alias_kind":"pith_short_16","alias_value":"FUZF4YIKV2HFCGRJ","created_at":"2026-06-01T01:02:33Z"},{"alias_kind":"pith_short_8","alias_value":"FUZF4YIK","created_at":"2026-06-01T01:02:33Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:FUZF4YIKV2HFCGRJHNHVJQJSWJ","target":"record","payload":{"canonical_record":{"source":{"id":"2602.08885","kind":"arxiv","version":5},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.LG","submitted_at":"2026-02-09T16:47:00Z","cross_cats_sorted":["cs.AI","cs.SC"],"title_canon_sha256":"6d0fd9f71ba4ffa6f5a725e8e9abd89c2fdaa3962351b8dab96937cb1ea0ca2d","abstract_canon_sha256":"47e10b2ea4c682e555e6e12e1e820f99b15bd9e0fda8a6b190190b763724ea0e"},"schema_version":"1.0"},"canonical_sha256":"2d325e610aae8e511a293b4f54c132b2757ad6d26130a4fd501289c774020f9b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-01T01:02:33.341643Z","signature_b64":"My72ioW2FSuYMqwnBNOPtmuEP2pur964/xFy9gN+A1rERLKIpKL82WQida8wxr8geK4Ccrfj9EfGKNa/H4KoDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2d325e610aae8e511a293b4f54c132b2757ad6d26130a4fd501289c774020f9b","last_reissued_at":"2026-06-01T01:02:33.340431Z","signature_status":"signed_v1","first_computed_at":"2026-06-01T01:02:33.340431Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2602.08885","source_version":5,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-06-01T01:02:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"a6bKs6xuixZsarIIM6oLE8HYXBozcz0eDtQP3+2PWjvO0A/hBLUfRQwNP/HgxpmPD0ksMzNARtzfqvFVLUH9CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T07:11:03.025018Z"},"content_sha256":"c8f53a685f9b47d5174fac6c8391e7abe9f42a76c85b1a78cf95a7f6a9143fc0","schema_version":"1.0","event_id":"sha256:c8f53a685f9b47d5174fac6c8391e7abe9f42a76c85b1a78cf95a7f6a9143fc0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:FUZF4YIKV2HFCGRJHNHVJQJSWJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Breaking the Simplification Bottleneck in Amortized Neural Symbolic Regression","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["cs.AI","cs.SC"],"primary_cat":"cs.LG","authors_text":"Paul Saegert, Ullrich K\\\"othe","submitted_at":"2026-02-09T16:47:00Z","abstract_excerpt":"Symbolic regression (SR) aims to discover interpretable analytical expressions that accurately describe observed data. Amortized SR promises to be much more efficient than the predominant genetic programming SR methods, but currently struggles to scale to realistic scientific complexity. We find that a key obstacle is the lack of a fast reduction of equivalent expressions to a concise normalized form. Amortized SR has addressed this with general-purpose Computer Algebra Systems (CAS) like SymPy, but the high computational cost severely limits training and inference speed. We propose SimpliPy, "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2602.08885","kind":"arxiv","version":5},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2602.08885/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-06-01T01:02:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TPL0fdLYWi2OX/xMMnOM+Cqnjgly9sOCm7DLUg65TKoAbnrrzgPyBq47VmOcivedVYJ2BD3X4WIkQZVdVPdiAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T07:11:03.025691Z"},"content_sha256":"e9b4af03be258cc7ce8598b01ade460aa4a8be9553f8bbd617b1f47977a7581d","schema_version":"1.0","event_id":"sha256:e9b4af03be258cc7ce8598b01ade460aa4a8be9553f8bbd617b1f47977a7581d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FUZF4YIKV2HFCGRJHNHVJQJSWJ/bundle.json","state_url":"https://pith.science/pith/FUZF4YIKV2HFCGRJHNHVJQJSWJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FUZF4YIKV2HFCGRJHNHVJQJSWJ/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-05T07:11:03Z","links":{"resolver":"https://pith.science/pith/FUZF4YIKV2HFCGRJHNHVJQJSWJ","bundle":"https://pith.science/pith/FUZF4YIKV2HFCGRJHNHVJQJSWJ/bundle.json","state":"https://pith.science/pith/FUZF4YIKV2HFCGRJHNHVJQJSWJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FUZF4YIKV2HFCGRJHNHVJQJSWJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:FUZF4YIKV2HFCGRJHNHVJQJSWJ","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"47e10b2ea4c682e555e6e12e1e820f99b15bd9e0fda8a6b190190b763724ea0e","cross_cats_sorted":["cs.AI","cs.SC"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.LG","submitted_at":"2026-02-09T16:47:00Z","title_canon_sha256":"6d0fd9f71ba4ffa6f5a725e8e9abd89c2fdaa3962351b8dab96937cb1ea0ca2d"},"schema_version":"1.0","source":{"id":"2602.08885","kind":"arxiv","version":5}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2602.08885","created_at":"2026-06-01T01:02:33Z"},{"alias_kind":"arxiv_version","alias_value":"2602.08885v5","created_at":"2026-06-01T01:02:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2602.08885","created_at":"2026-06-01T01:02:33Z"},{"alias_kind":"pith_short_12","alias_value":"FUZF4YIKV2HF","created_at":"2026-06-01T01:02:33Z"},{"alias_kind":"pith_short_16","alias_value":"FUZF4YIKV2HFCGRJ","created_at":"2026-06-01T01:02:33Z"},{"alias_kind":"pith_short_8","alias_value":"FUZF4YIK","created_at":"2026-06-01T01:02:33Z"}],"graph_snapshots":[{"event_id":"sha256:e9b4af03be258cc7ce8598b01ade460aa4a8be9553f8bbd617b1f47977a7581d","target":"graph","created_at":"2026-06-01T01:02:33Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2602.08885/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Symbolic regression (SR) aims to discover interpretable analytical expressions that accurately describe observed data. Amortized SR promises to be much more efficient than the predominant genetic programming SR methods, but currently struggles to scale to realistic scientific complexity. We find that a key obstacle is the lack of a fast reduction of equivalent expressions to a concise normalized form. Amortized SR has addressed this with general-purpose Computer Algebra Systems (CAS) like SymPy, but the high computational cost severely limits training and inference speed. We propose SimpliPy, ","authors_text":"Paul Saegert, Ullrich K\\\"othe","cross_cats":["cs.AI","cs.SC"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.LG","submitted_at":"2026-02-09T16:47:00Z","title":"Breaking the Simplification Bottleneck in Amortized Neural Symbolic Regression"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2602.08885","kind":"arxiv","version":5},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:c8f53a685f9b47d5174fac6c8391e7abe9f42a76c85b1a78cf95a7f6a9143fc0","target":"record","created_at":"2026-06-01T01:02:33Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"47e10b2ea4c682e555e6e12e1e820f99b15bd9e0fda8a6b190190b763724ea0e","cross_cats_sorted":["cs.AI","cs.SC"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.LG","submitted_at":"2026-02-09T16:47:00Z","title_canon_sha256":"6d0fd9f71ba4ffa6f5a725e8e9abd89c2fdaa3962351b8dab96937cb1ea0ca2d"},"schema_version":"1.0","source":{"id":"2602.08885","kind":"arxiv","version":5}},"canonical_sha256":"2d325e610aae8e511a293b4f54c132b2757ad6d26130a4fd501289c774020f9b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2d325e610aae8e511a293b4f54c132b2757ad6d26130a4fd501289c774020f9b","first_computed_at":"2026-06-01T01:02:33.340431Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-01T01:02:33.340431Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"My72ioW2FSuYMqwnBNOPtmuEP2pur964/xFy9gN+A1rERLKIpKL82WQida8wxr8geK4Ccrfj9EfGKNa/H4KoDw==","signature_status":"signed_v1","signed_at":"2026-06-01T01:02:33.341643Z","signed_message":"canonical_sha256_bytes"},"source_id":"2602.08885","source_kind":"arxiv","source_version":5}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c8f53a685f9b47d5174fac6c8391e7abe9f42a76c85b1a78cf95a7f6a9143fc0","sha256:e9b4af03be258cc7ce8598b01ade460aa4a8be9553f8bbd617b1f47977a7581d"],"state_sha256":"8ab85df7bd12d0e11d24e94c1b631078da16262d07ed7869dd15c0d9c648548d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Jy+uzL32GMMZmmmwe21gmbqCsoaEQMhzB/yt+SeZEAgr4S0d/EMXm/yg3EKbY0AUvnUQmyxQtbK1wrWG6Q0PCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T07:11:03.031073Z","bundle_sha256":"d88849b89b735af6784b220fed6f9605ce29b0c0d5bd5d6c63255900a9267cdf"}}