{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:7WUFBICCZCFAO66B5NTEEAUW7N","short_pith_number":"pith:7WUFBICC","canonical_record":{"source":{"id":"2606.07915","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-06-06T00:37:03Z","cross_cats_sorted":[],"title_canon_sha256":"2232e5dbd041c33b1e3db96ceabb27c56074182d003066cae1fcabd8c70b2505","abstract_canon_sha256":"85e1e680b2d3d1c92011a888fb49ad16f4c35dc37022b905d059636cdd72f9e6"},"schema_version":"1.0"},"canonical_sha256":"fda850a042c88a077bc1eb66420296fb6463ed10ee99b32a4ca597463455c625","source":{"kind":"arxiv","id":"2606.07915","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.07915","created_at":"2026-06-09T01:04:55Z"},{"alias_kind":"arxiv_version","alias_value":"2606.07915v1","created_at":"2026-06-09T01:04:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.07915","created_at":"2026-06-09T01:04:55Z"},{"alias_kind":"pith_short_12","alias_value":"7WUFBICCZCFA","created_at":"2026-06-09T01:04:55Z"},{"alias_kind":"pith_short_16","alias_value":"7WUFBICCZCFAO66B","created_at":"2026-06-09T01:04:55Z"},{"alias_kind":"pith_short_8","alias_value":"7WUFBICC","created_at":"2026-06-09T01:04:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:7WUFBICCZCFAO66B5NTEEAUW7N","target":"record","payload":{"canonical_record":{"source":{"id":"2606.07915","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-06-06T00:37:03Z","cross_cats_sorted":[],"title_canon_sha256":"2232e5dbd041c33b1e3db96ceabb27c56074182d003066cae1fcabd8c70b2505","abstract_canon_sha256":"85e1e680b2d3d1c92011a888fb49ad16f4c35dc37022b905d059636cdd72f9e6"},"schema_version":"1.0"},"canonical_sha256":"fda850a042c88a077bc1eb66420296fb6463ed10ee99b32a4ca597463455c625","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-09T01:04:55.292381Z","signature_b64":"Zd9Bye5gFcLz/2nxdWfhlRj8IwzP0MD0WXK1w8XIxwMWBnJB+/cwbIIWRlmfrNVy96yh7YVMNVPXBaxxK3fNDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fda850a042c88a077bc1eb66420296fb6463ed10ee99b32a4ca597463455c625","last_reissued_at":"2026-06-09T01:04:55.291963Z","signature_status":"signed_v1","first_computed_at":"2026-06-09T01:04:55.291963Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.07915","source_version":1,"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-09T01:04:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Jgjdld4DpFwt9T4rkXRXM3dWtdtWgBAnv/NP+8AhL3PYffP5gRzO9eRKVgfgfTGAp0M+zceMkAPzifNOhiGmDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T16:24:56.481747Z"},"content_sha256":"490a3bf2a9ebb070a55a70102b69d4089ebf924aed8cdaeaa34071eb0c36c82d","schema_version":"1.0","event_id":"sha256:490a3bf2a9ebb070a55a70102b69d4089ebf924aed8cdaeaa34071eb0c36c82d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:7WUFBICCZCFAO66B5NTEEAUW7N","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"EditSR: Enhancing Neural Symbolic Regression via Edit-based Rectification","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Da Li, Jin Xu, Juan Zhang, Junping Yin, Xingyu Cui, Xinxin Li","submitted_at":"2026-06-06T00:37:03Z","abstract_excerpt":"Neural symbolic regression models improve inference efficiency by shifting structural search to pretraining, but their one-pass autoregressive decoding is prone to error accumulation, which may lead to generating structurally incorrect expressions, especially in complex expression generation scenarios. Existing rectification strategies can alleviate this issue, but they often depend on restarting global search, thereby weakening the efficiency advantage of neural models, and remain susceptible to error accumulation. In this paper, we propose EditSR, a two-layer framework that combines a neural"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.07915","kind":"arxiv","version":1},"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/2606.07915/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-09T01:04:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"l/W8HwP4MpZPQ4de6fLNWIBUP9R/0zYAtNGNDasRIspwa/Kat6zb2/rOoxqSifBvKsFPh957IwsLQmwT2nVhBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T16:24:56.482125Z"},"content_sha256":"1e34609ae150e9b031b426b193a2dbc73f15102746c17f606d763757a8ebb1a6","schema_version":"1.0","event_id":"sha256:1e34609ae150e9b031b426b193a2dbc73f15102746c17f606d763757a8ebb1a6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7WUFBICCZCFAO66B5NTEEAUW7N/bundle.json","state_url":"https://pith.science/pith/7WUFBICCZCFAO66B5NTEEAUW7N/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7WUFBICCZCFAO66B5NTEEAUW7N/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-06-09T16:24:56Z","links":{"resolver":"https://pith.science/pith/7WUFBICCZCFAO66B5NTEEAUW7N","bundle":"https://pith.science/pith/7WUFBICCZCFAO66B5NTEEAUW7N/bundle.json","state":"https://pith.science/pith/7WUFBICCZCFAO66B5NTEEAUW7N/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7WUFBICCZCFAO66B5NTEEAUW7N/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:7WUFBICCZCFAO66B5NTEEAUW7N","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":"85e1e680b2d3d1c92011a888fb49ad16f4c35dc37022b905d059636cdd72f9e6","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-06-06T00:37:03Z","title_canon_sha256":"2232e5dbd041c33b1e3db96ceabb27c56074182d003066cae1fcabd8c70b2505"},"schema_version":"1.0","source":{"id":"2606.07915","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.07915","created_at":"2026-06-09T01:04:55Z"},{"alias_kind":"arxiv_version","alias_value":"2606.07915v1","created_at":"2026-06-09T01:04:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.07915","created_at":"2026-06-09T01:04:55Z"},{"alias_kind":"pith_short_12","alias_value":"7WUFBICCZCFA","created_at":"2026-06-09T01:04:55Z"},{"alias_kind":"pith_short_16","alias_value":"7WUFBICCZCFAO66B","created_at":"2026-06-09T01:04:55Z"},{"alias_kind":"pith_short_8","alias_value":"7WUFBICC","created_at":"2026-06-09T01:04:55Z"}],"graph_snapshots":[{"event_id":"sha256:1e34609ae150e9b031b426b193a2dbc73f15102746c17f606d763757a8ebb1a6","target":"graph","created_at":"2026-06-09T01:04:55Z","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/2606.07915/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Neural symbolic regression models improve inference efficiency by shifting structural search to pretraining, but their one-pass autoregressive decoding is prone to error accumulation, which may lead to generating structurally incorrect expressions, especially in complex expression generation scenarios. Existing rectification strategies can alleviate this issue, but they often depend on restarting global search, thereby weakening the efficiency advantage of neural models, and remain susceptible to error accumulation. In this paper, we propose EditSR, a two-layer framework that combines a neural","authors_text":"Da Li, Jin Xu, Juan Zhang, Junping Yin, Xingyu Cui, Xinxin Li","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-06-06T00:37:03Z","title":"EditSR: Enhancing Neural Symbolic Regression via Edit-based Rectification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.07915","kind":"arxiv","version":1},"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:490a3bf2a9ebb070a55a70102b69d4089ebf924aed8cdaeaa34071eb0c36c82d","target":"record","created_at":"2026-06-09T01:04:55Z","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":"85e1e680b2d3d1c92011a888fb49ad16f4c35dc37022b905d059636cdd72f9e6","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-06-06T00:37:03Z","title_canon_sha256":"2232e5dbd041c33b1e3db96ceabb27c56074182d003066cae1fcabd8c70b2505"},"schema_version":"1.0","source":{"id":"2606.07915","kind":"arxiv","version":1}},"canonical_sha256":"fda850a042c88a077bc1eb66420296fb6463ed10ee99b32a4ca597463455c625","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fda850a042c88a077bc1eb66420296fb6463ed10ee99b32a4ca597463455c625","first_computed_at":"2026-06-09T01:04:55.291963Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-09T01:04:55.291963Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Zd9Bye5gFcLz/2nxdWfhlRj8IwzP0MD0WXK1w8XIxwMWBnJB+/cwbIIWRlmfrNVy96yh7YVMNVPXBaxxK3fNDA==","signature_status":"signed_v1","signed_at":"2026-06-09T01:04:55.292381Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.07915","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:490a3bf2a9ebb070a55a70102b69d4089ebf924aed8cdaeaa34071eb0c36c82d","sha256:1e34609ae150e9b031b426b193a2dbc73f15102746c17f606d763757a8ebb1a6"],"state_sha256":"cdadf45aa49a05f25ca07c1bbb62556e8ca8dfdc1b1352d70efe581b667e286c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5goRa/CNiK0koFvSsBE1noBWjdIb5TO3lFcMZKI2VQWtO5gJw9klzAIU1YWrwZ0/F6cacCdjC+mPlwdS4rLwBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T16:24:56.484226Z","bundle_sha256":"1eb1fa4e325fa5ac4854d4abc231fc7426eae9d7fc4498d0735246dc366a9a43"}}