{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:INNBXSWR7QGG44P2QDLBAM254D","short_pith_number":"pith:INNBXSWR","canonical_record":{"source":{"id":"2606.20467","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2026-06-18T16:46:42Z","cross_cats_sorted":["cs.NA","math.NA","physics.comp-ph"],"title_canon_sha256":"0e6a27ad9a4273c89ed4af44ef7a140cf663f20226f6a5102649b296f7740506","abstract_canon_sha256":"040f5319a24871c8708095acbff0ae0cf5fced1a75aac6766d570c3c36e1585f"},"schema_version":"1.0"},"canonical_sha256":"435a1bcad1fc0c6e71fa80d610335de0cb378beb97c0ab6c729bcf16de2d0888","source":{"kind":"arxiv","id":"2606.20467","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.20467","created_at":"2026-06-19T16:13:13Z"},{"alias_kind":"arxiv_version","alias_value":"2606.20467v1","created_at":"2026-06-19T16:13:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.20467","created_at":"2026-06-19T16:13:13Z"},{"alias_kind":"pith_short_12","alias_value":"INNBXSWR7QGG","created_at":"2026-06-19T16:13:13Z"},{"alias_kind":"pith_short_16","alias_value":"INNBXSWR7QGG44P2","created_at":"2026-06-19T16:13:13Z"},{"alias_kind":"pith_short_8","alias_value":"INNBXSWR","created_at":"2026-06-19T16:13:13Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:INNBXSWR7QGG44P2QDLBAM254D","target":"record","payload":{"canonical_record":{"source":{"id":"2606.20467","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2026-06-18T16:46:42Z","cross_cats_sorted":["cs.NA","math.NA","physics.comp-ph"],"title_canon_sha256":"0e6a27ad9a4273c89ed4af44ef7a140cf663f20226f6a5102649b296f7740506","abstract_canon_sha256":"040f5319a24871c8708095acbff0ae0cf5fced1a75aac6766d570c3c36e1585f"},"schema_version":"1.0"},"canonical_sha256":"435a1bcad1fc0c6e71fa80d610335de0cb378beb97c0ab6c729bcf16de2d0888","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-19T16:13:13.095977Z","signature_b64":"tzqEn8U3u+wT7EZM6UFXcWBhBNg6/uVFGWowE8Jjee5nJcWm5GfqezRdPcSL9BzXPY8hJvys6LtC/+12nlDCAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"435a1bcad1fc0c6e71fa80d610335de0cb378beb97c0ab6c729bcf16de2d0888","last_reissued_at":"2026-06-19T16:13:13.095503Z","signature_status":"signed_v1","first_computed_at":"2026-06-19T16:13:13.095503Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.20467","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-19T16:13:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gFhqYaigEmDzfj8J77jt8AZjES1NfuoXz104zDROjc6BBVfFXB1SbUvV61ipVRBWc5l7ZMjdEfUXTM6oZ7llDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-28T11:46:43.018038Z"},"content_sha256":"4fb66a87cd3d8b53fa4866f372f6bbc3e662661054724f0083b8a1992fa60a91","schema_version":"1.0","event_id":"sha256:4fb66a87cd3d8b53fa4866f372f6bbc3e662661054724f0083b8a1992fa60a91"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:INNBXSWR7QGG44P2QDLBAM254D","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Agentic Symbolic Search: Characterizing PDEs Beyond Hand-crafted Expressions, Meshes, and Neural Networks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.NA","math.NA","physics.comp-ph"],"primary_cat":"cs.LG","authors_text":"Liu Yang, Zongmin Yu","submitted_at":"2026-06-18T16:46:42Z","abstract_excerpt":"Mathematicians understand a PDE solution through mathematical structures rather than tables of computed values. Historically, this has been the product of mathematical analysis, carried out by hand for each problem individually. Neither numerical simulation nor neural networks produce those structures directly. We propose Agentic Symbolic Search (ASYS), a prior-guided framework in which an agent translates PDE theory, public problem constraints, and accumulated search experience into testable differentiable symbolic programs. The mathematical forms are refined under evolutionary search, while "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.20467","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.20467/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-19T16:13:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EI7COxPNHC0CmlCg5YQVxKgp4F6T/tS8J5Z/Bgz5CpBTgfBMmwNDbX14iWtEaKixTeNqdbu1FbshnZfOs82aBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-28T11:46:43.018433Z"},"content_sha256":"62a32fd7676587951c2f22ac2670aa231569efaf27ffdc1988cf3191dd9fbe7c","schema_version":"1.0","event_id":"sha256:62a32fd7676587951c2f22ac2670aa231569efaf27ffdc1988cf3191dd9fbe7c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/INNBXSWR7QGG44P2QDLBAM254D/bundle.json","state_url":"https://pith.science/pith/INNBXSWR7QGG44P2QDLBAM254D/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/INNBXSWR7QGG44P2QDLBAM254D/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-28T11:46:43Z","links":{"resolver":"https://pith.science/pith/INNBXSWR7QGG44P2QDLBAM254D","bundle":"https://pith.science/pith/INNBXSWR7QGG44P2QDLBAM254D/bundle.json","state":"https://pith.science/pith/INNBXSWR7QGG44P2QDLBAM254D/state.json","well_known_bundle":"https://pith.science/.well-known/pith/INNBXSWR7QGG44P2QDLBAM254D/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:INNBXSWR7QGG44P2QDLBAM254D","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":"040f5319a24871c8708095acbff0ae0cf5fced1a75aac6766d570c3c36e1585f","cross_cats_sorted":["cs.NA","math.NA","physics.comp-ph"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2026-06-18T16:46:42Z","title_canon_sha256":"0e6a27ad9a4273c89ed4af44ef7a140cf663f20226f6a5102649b296f7740506"},"schema_version":"1.0","source":{"id":"2606.20467","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.20467","created_at":"2026-06-19T16:13:13Z"},{"alias_kind":"arxiv_version","alias_value":"2606.20467v1","created_at":"2026-06-19T16:13:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.20467","created_at":"2026-06-19T16:13:13Z"},{"alias_kind":"pith_short_12","alias_value":"INNBXSWR7QGG","created_at":"2026-06-19T16:13:13Z"},{"alias_kind":"pith_short_16","alias_value":"INNBXSWR7QGG44P2","created_at":"2026-06-19T16:13:13Z"},{"alias_kind":"pith_short_8","alias_value":"INNBXSWR","created_at":"2026-06-19T16:13:13Z"}],"graph_snapshots":[{"event_id":"sha256:62a32fd7676587951c2f22ac2670aa231569efaf27ffdc1988cf3191dd9fbe7c","target":"graph","created_at":"2026-06-19T16:13:13Z","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.20467/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Mathematicians understand a PDE solution through mathematical structures rather than tables of computed values. Historically, this has been the product of mathematical analysis, carried out by hand for each problem individually. Neither numerical simulation nor neural networks produce those structures directly. We propose Agentic Symbolic Search (ASYS), a prior-guided framework in which an agent translates PDE theory, public problem constraints, and accumulated search experience into testable differentiable symbolic programs. The mathematical forms are refined under evolutionary search, while ","authors_text":"Liu Yang, Zongmin Yu","cross_cats":["cs.NA","math.NA","physics.comp-ph"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2026-06-18T16:46:42Z","title":"Agentic Symbolic Search: Characterizing PDEs Beyond Hand-crafted Expressions, Meshes, and Neural Networks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.20467","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:4fb66a87cd3d8b53fa4866f372f6bbc3e662661054724f0083b8a1992fa60a91","target":"record","created_at":"2026-06-19T16:13:13Z","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":"040f5319a24871c8708095acbff0ae0cf5fced1a75aac6766d570c3c36e1585f","cross_cats_sorted":["cs.NA","math.NA","physics.comp-ph"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2026-06-18T16:46:42Z","title_canon_sha256":"0e6a27ad9a4273c89ed4af44ef7a140cf663f20226f6a5102649b296f7740506"},"schema_version":"1.0","source":{"id":"2606.20467","kind":"arxiv","version":1}},"canonical_sha256":"435a1bcad1fc0c6e71fa80d610335de0cb378beb97c0ab6c729bcf16de2d0888","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"435a1bcad1fc0c6e71fa80d610335de0cb378beb97c0ab6c729bcf16de2d0888","first_computed_at":"2026-06-19T16:13:13.095503Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-19T16:13:13.095503Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"tzqEn8U3u+wT7EZM6UFXcWBhBNg6/uVFGWowE8Jjee5nJcWm5GfqezRdPcSL9BzXPY8hJvys6LtC/+12nlDCAQ==","signature_status":"signed_v1","signed_at":"2026-06-19T16:13:13.095977Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.20467","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4fb66a87cd3d8b53fa4866f372f6bbc3e662661054724f0083b8a1992fa60a91","sha256:62a32fd7676587951c2f22ac2670aa231569efaf27ffdc1988cf3191dd9fbe7c"],"state_sha256":"952238ab6cdc9a945329b1d289a8b88d7b4f6b22b4a5baf9fd16f1f702f4cc69"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3wIFLk1Z5fvrBwL4V9AiNxYFsKHK2VEJOLyGr5itA9UcZFqCrBkgdbfGdhenmE14TwXGUWpjvYHBUI6NGlHnBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-28T11:46:43.020433Z","bundle_sha256":"f7fc0430de7dfc2829d984055ca15c0333687798cabb4e8630433e35d1a39fca"}}