{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:5C255ARF6DD55KQ5OMKNTX4CYB","short_pith_number":"pith:5C255ARF","canonical_record":{"source":{"id":"2309.13705","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-09-24T17:37:45Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"db5fbb250a03f58593668071255362c5fb7fde785ab6f9f4304ce4915a296401","abstract_canon_sha256":"2b60f838f2d37baec6153be045333360ce43474dfe6c409e69d7c5ff9f6e3fdd"},"schema_version":"1.0"},"canonical_sha256":"e8b5de8225f0c7deaa1d7314d9df82c06ad9c5550565657d9ab19b5d838a28fa","source":{"kind":"arxiv","id":"2309.13705","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2309.13705","created_at":"2026-07-05T08:25:50Z"},{"alias_kind":"arxiv_version","alias_value":"2309.13705v2","created_at":"2026-07-05T08:25:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2309.13705","created_at":"2026-07-05T08:25:50Z"},{"alias_kind":"pith_short_12","alias_value":"5C255ARF6DD5","created_at":"2026-07-05T08:25:50Z"},{"alias_kind":"pith_short_16","alias_value":"5C255ARF6DD55KQ5","created_at":"2026-07-05T08:25:50Z"},{"alias_kind":"pith_short_8","alias_value":"5C255ARF","created_at":"2026-07-05T08:25:50Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:5C255ARF6DD55KQ5OMKNTX4CYB","target":"record","payload":{"canonical_record":{"source":{"id":"2309.13705","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-09-24T17:37:45Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"db5fbb250a03f58593668071255362c5fb7fde785ab6f9f4304ce4915a296401","abstract_canon_sha256":"2b60f838f2d37baec6153be045333360ce43474dfe6c409e69d7c5ff9f6e3fdd"},"schema_version":"1.0"},"canonical_sha256":"e8b5de8225f0c7deaa1d7314d9df82c06ad9c5550565657d9ab19b5d838a28fa","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:25:50.035263Z","signature_b64":"UAn9QkMjZTuAnuYNEYJHoce6BocxTUKlxEWdIo+7cor1Elr88ItcNfQ358y/7cRKZuJDmIGeTA7uhhi+xCXJAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e8b5de8225f0c7deaa1d7314d9df82c06ad9c5550565657d9ab19b5d838a28fa","last_reissued_at":"2026-07-05T08:25:50.034706Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:25:50.034706Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2309.13705","source_version":2,"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-07-05T08:25:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TLacaKyZskqG+3EIb0X8IxSbIJ4xVbvqjhq6jsw6AFGQ5yGAKYHWfUBISy2STeNsgE7G60NsIAU/SlTl8NGpCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T17:56:19.632210Z"},"content_sha256":"c5eb67d0240bbf0f47df0ce5da776d12d561bdb8265c57a5c784e9daf9dce81d","schema_version":"1.0","event_id":"sha256:c5eb67d0240bbf0f47df0ce5da776d12d561bdb8265c57a5c784e9daf9dce81d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:5C255ARF6DD55KQ5OMKNTX4CYB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Neural-Guided Dynamic Symbolic Network for Exploring Mathematical Expressions from Data","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LG","authors_text":"Jingyi Liu, Lina Yu, Linjun Sun, Meilan Hao, Min Wu, Shu Wei, Weijun Li, Wenqiang Li, Yanjie Li, Yusong Deng","submitted_at":"2023-09-24T17:37:45Z","abstract_excerpt":"Symbolic regression (SR) is a powerful technique for discovering the underlying mathematical expressions from observed data. Inspired by the success of deep learning, recent deep generative SR methods have shown promising results. However, these methods face difficulties in processing high-dimensional problems and learning constants due to the large search space, and they don't scale well to unseen problems. In this work, we propose DySymNet, a novel neural-guided Dynamic Symbolic Network for SR. Instead of searching for expressions within a large search space, we explore symbolic networks wit"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2309.13705","kind":"arxiv","version":2},"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/2309.13705/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-07-05T08:25:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FV886MgUCTCXe6k2ikJOc/W89fsVXba8lAu7HGiJHvmh3tUsXxxOjzdvQ1G1YMJ03xmVdCuqeeb8f6MDKKN6Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T17:56:19.632729Z"},"content_sha256":"466c359fad4fd5252d66546700afc2ce556e61cb6463f6f2349b8b70812a34d9","schema_version":"1.0","event_id":"sha256:466c359fad4fd5252d66546700afc2ce556e61cb6463f6f2349b8b70812a34d9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5C255ARF6DD55KQ5OMKNTX4CYB/bundle.json","state_url":"https://pith.science/pith/5C255ARF6DD55KQ5OMKNTX4CYB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5C255ARF6DD55KQ5OMKNTX4CYB/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-10T17:56:19Z","links":{"resolver":"https://pith.science/pith/5C255ARF6DD55KQ5OMKNTX4CYB","bundle":"https://pith.science/pith/5C255ARF6DD55KQ5OMKNTX4CYB/bundle.json","state":"https://pith.science/pith/5C255ARF6DD55KQ5OMKNTX4CYB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5C255ARF6DD55KQ5OMKNTX4CYB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:5C255ARF6DD55KQ5OMKNTX4CYB","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":"2b60f838f2d37baec6153be045333360ce43474dfe6c409e69d7c5ff9f6e3fdd","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-09-24T17:37:45Z","title_canon_sha256":"db5fbb250a03f58593668071255362c5fb7fde785ab6f9f4304ce4915a296401"},"schema_version":"1.0","source":{"id":"2309.13705","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2309.13705","created_at":"2026-07-05T08:25:50Z"},{"alias_kind":"arxiv_version","alias_value":"2309.13705v2","created_at":"2026-07-05T08:25:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2309.13705","created_at":"2026-07-05T08:25:50Z"},{"alias_kind":"pith_short_12","alias_value":"5C255ARF6DD5","created_at":"2026-07-05T08:25:50Z"},{"alias_kind":"pith_short_16","alias_value":"5C255ARF6DD55KQ5","created_at":"2026-07-05T08:25:50Z"},{"alias_kind":"pith_short_8","alias_value":"5C255ARF","created_at":"2026-07-05T08:25:50Z"}],"graph_snapshots":[{"event_id":"sha256:466c359fad4fd5252d66546700afc2ce556e61cb6463f6f2349b8b70812a34d9","target":"graph","created_at":"2026-07-05T08:25:50Z","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/2309.13705/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Symbolic regression (SR) is a powerful technique for discovering the underlying mathematical expressions from observed data. Inspired by the success of deep learning, recent deep generative SR methods have shown promising results. However, these methods face difficulties in processing high-dimensional problems and learning constants due to the large search space, and they don't scale well to unseen problems. In this work, we propose DySymNet, a novel neural-guided Dynamic Symbolic Network for SR. Instead of searching for expressions within a large search space, we explore symbolic networks wit","authors_text":"Jingyi Liu, Lina Yu, Linjun Sun, Meilan Hao, Min Wu, Shu Wei, Weijun Li, Wenqiang Li, Yanjie Li, Yusong Deng","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-09-24T17:37:45Z","title":"A Neural-Guided Dynamic Symbolic Network for Exploring Mathematical Expressions from Data"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2309.13705","kind":"arxiv","version":2},"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:c5eb67d0240bbf0f47df0ce5da776d12d561bdb8265c57a5c784e9daf9dce81d","target":"record","created_at":"2026-07-05T08:25:50Z","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":"2b60f838f2d37baec6153be045333360ce43474dfe6c409e69d7c5ff9f6e3fdd","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-09-24T17:37:45Z","title_canon_sha256":"db5fbb250a03f58593668071255362c5fb7fde785ab6f9f4304ce4915a296401"},"schema_version":"1.0","source":{"id":"2309.13705","kind":"arxiv","version":2}},"canonical_sha256":"e8b5de8225f0c7deaa1d7314d9df82c06ad9c5550565657d9ab19b5d838a28fa","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e8b5de8225f0c7deaa1d7314d9df82c06ad9c5550565657d9ab19b5d838a28fa","first_computed_at":"2026-07-05T08:25:50.034706Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:25:50.034706Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"UAn9QkMjZTuAnuYNEYJHoce6BocxTUKlxEWdIo+7cor1Elr88ItcNfQ358y/7cRKZuJDmIGeTA7uhhi+xCXJAg==","signature_status":"signed_v1","signed_at":"2026-07-05T08:25:50.035263Z","signed_message":"canonical_sha256_bytes"},"source_id":"2309.13705","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c5eb67d0240bbf0f47df0ce5da776d12d561bdb8265c57a5c784e9daf9dce81d","sha256:466c359fad4fd5252d66546700afc2ce556e61cb6463f6f2349b8b70812a34d9"],"state_sha256":"5c6fa3fb3bc9f57e25802fc3cf745d442ea7cd84fc4aae4f288802374dd4c284"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6tCKRHYY33LUScp/8UopYwoeHqeEW1VxKIdNHv3Q3DEmpggrun9k1CbN4wlNkA8FzAu8pz/AzlvZX4s7orHdBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T17:56:19.637814Z","bundle_sha256":"88b0f8ef37cbebe788334809c9faecdca3a4921941bc3fa020d7d71864467b0a"}}