{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:NMXQXKXZV3K7ZWYAC2CH4KPX7J","short_pith_number":"pith:NMXQXKXZ","canonical_record":{"source":{"id":"2608.04384","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-08-05T02:41:23Z","cross_cats_sorted":[],"title_canon_sha256":"ee63f5424cdfcb09e21b8e4a5761a608f057e8f74723040658ce4774de7d6026","abstract_canon_sha256":"7bef8a71d4c152255ff7caf73c6d7fe3bdec07eef88d9d65dbc2d4f5ff6171e4"},"schema_version":"1.0"},"canonical_sha256":"6b2f0baaf9aed5fcdb0016847e29f7fa4379d996fee52abfb1ab801a01e21991","source":{"kind":"arxiv","id":"2608.04384","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2608.04384","created_at":"2026-08-06T01:34:35Z"},{"alias_kind":"arxiv_version","alias_value":"2608.04384v1","created_at":"2026-08-06T01:34:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2608.04384","created_at":"2026-08-06T01:34:35Z"},{"alias_kind":"pith_short_12","alias_value":"NMXQXKXZV3K7","created_at":"2026-08-06T01:34:35Z"},{"alias_kind":"pith_short_16","alias_value":"NMXQXKXZV3K7ZWYA","created_at":"2026-08-06T01:34:35Z"},{"alias_kind":"pith_short_8","alias_value":"NMXQXKXZ","created_at":"2026-08-06T01:34:35Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:NMXQXKXZV3K7ZWYAC2CH4KPX7J","target":"record","payload":{"canonical_record":{"source":{"id":"2608.04384","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-08-05T02:41:23Z","cross_cats_sorted":[],"title_canon_sha256":"ee63f5424cdfcb09e21b8e4a5761a608f057e8f74723040658ce4774de7d6026","abstract_canon_sha256":"7bef8a71d4c152255ff7caf73c6d7fe3bdec07eef88d9d65dbc2d4f5ff6171e4"},"schema_version":"1.0"},"canonical_sha256":"6b2f0baaf9aed5fcdb0016847e29f7fa4379d996fee52abfb1ab801a01e21991","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-08-06T01:34:35.837639Z","signature_b64":"NUkbbsuxcG3DG/CVAZ0EdClCgFY3mUDzuIVRhKD+NC1tXwh9Eutt9OiosN3t9b2UvOBR34JZjec/5AkrxyxrCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6b2f0baaf9aed5fcdb0016847e29f7fa4379d996fee52abfb1ab801a01e21991","last_reissued_at":"2026-08-06T01:34:35.836210Z","signature_status":"signed_v1","first_computed_at":"2026-08-06T01:34:35.836210Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2608.04384","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-08-06T01:34:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"65icsDi1UlpgPWquvhwjhsd3gVwO+PNQp66wHPa4lZUP8FFuxLGkAMISWOW7fXZ0W8x4KrVPw+x9oVsSTpiTCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T08:45:04.671200Z"},"content_sha256":"b58f1047310be9bfa5c37ba4089e3342419d627f9674208d0c07da5c66227f72","schema_version":"1.0","event_id":"sha256:b58f1047310be9bfa5c37ba4089e3342419d627f9674208d0c07da5c66227f72"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:NMXQXKXZV3K7ZWYAC2CH4KPX7J","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Improving Auto-Design of Neural PDE Solvers with a Domain-Specific Language","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Jingwen Fu, Liwen Xu, Shengxin Kong","submitted_at":"2026-08-05T02:41:23Z","abstract_excerpt":"Neural PDE solver auto-design is fundamentally a search-space representation problem. In the space of unrestricted Python programs, valid solvers form an extremely sparse subset: most candidate programs are syntactically incorrect, semantically incompatible, or numerically unstable. Direct code generation therefore forces an LLM to spend most of its search capacity navigating implementation failures rather than reasoning about solver quality. ADSL-PDE addresses this challenge by introducing a structured search state between solver concepts and executable code. It represents the functional deci"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2608.04384","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/2608.04384/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-08-06T01:34:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NMujPRyGlrpamM29p6gi2yJ1oGEE+lC3s+gGxGoUpeuu28GePKwykVQsxtXBYRKocH1HYQC3Eo3Ut8vXYmY0DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T08:45:04.671723Z"},"content_sha256":"3e7a632df002dcc9977dde30c9fccb88d0555d289d8dbe790cd7a8bc4280e56c","schema_version":"1.0","event_id":"sha256:3e7a632df002dcc9977dde30c9fccb88d0555d289d8dbe790cd7a8bc4280e56c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NMXQXKXZV3K7ZWYAC2CH4KPX7J/bundle.json","state_url":"https://pith.science/pith/NMXQXKXZV3K7ZWYAC2CH4KPX7J/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NMXQXKXZV3K7ZWYAC2CH4KPX7J/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-10T08:45:04Z","links":{"resolver":"https://pith.science/pith/NMXQXKXZV3K7ZWYAC2CH4KPX7J","bundle":"https://pith.science/pith/NMXQXKXZV3K7ZWYAC2CH4KPX7J/bundle.json","state":"https://pith.science/pith/NMXQXKXZV3K7ZWYAC2CH4KPX7J/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NMXQXKXZV3K7ZWYAC2CH4KPX7J/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:NMXQXKXZV3K7ZWYAC2CH4KPX7J","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":"7bef8a71d4c152255ff7caf73c6d7fe3bdec07eef88d9d65dbc2d4f5ff6171e4","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-08-05T02:41:23Z","title_canon_sha256":"ee63f5424cdfcb09e21b8e4a5761a608f057e8f74723040658ce4774de7d6026"},"schema_version":"1.0","source":{"id":"2608.04384","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2608.04384","created_at":"2026-08-06T01:34:35Z"},{"alias_kind":"arxiv_version","alias_value":"2608.04384v1","created_at":"2026-08-06T01:34:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2608.04384","created_at":"2026-08-06T01:34:35Z"},{"alias_kind":"pith_short_12","alias_value":"NMXQXKXZV3K7","created_at":"2026-08-06T01:34:35Z"},{"alias_kind":"pith_short_16","alias_value":"NMXQXKXZV3K7ZWYA","created_at":"2026-08-06T01:34:35Z"},{"alias_kind":"pith_short_8","alias_value":"NMXQXKXZ","created_at":"2026-08-06T01:34:35Z"}],"graph_snapshots":[{"event_id":"sha256:3e7a632df002dcc9977dde30c9fccb88d0555d289d8dbe790cd7a8bc4280e56c","target":"graph","created_at":"2026-08-06T01:34:35Z","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/2608.04384/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Neural PDE solver auto-design is fundamentally a search-space representation problem. In the space of unrestricted Python programs, valid solvers form an extremely sparse subset: most candidate programs are syntactically incorrect, semantically incompatible, or numerically unstable. Direct code generation therefore forces an LLM to spend most of its search capacity navigating implementation failures rather than reasoning about solver quality. ADSL-PDE addresses this challenge by introducing a structured search state between solver concepts and executable code. It represents the functional deci","authors_text":"Jingwen Fu, Liwen Xu, Shengxin Kong","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-08-05T02:41:23Z","title":"Improving Auto-Design of Neural PDE Solvers with a Domain-Specific Language"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2608.04384","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:b58f1047310be9bfa5c37ba4089e3342419d627f9674208d0c07da5c66227f72","target":"record","created_at":"2026-08-06T01:34:35Z","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":"7bef8a71d4c152255ff7caf73c6d7fe3bdec07eef88d9d65dbc2d4f5ff6171e4","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-08-05T02:41:23Z","title_canon_sha256":"ee63f5424cdfcb09e21b8e4a5761a608f057e8f74723040658ce4774de7d6026"},"schema_version":"1.0","source":{"id":"2608.04384","kind":"arxiv","version":1}},"canonical_sha256":"6b2f0baaf9aed5fcdb0016847e29f7fa4379d996fee52abfb1ab801a01e21991","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6b2f0baaf9aed5fcdb0016847e29f7fa4379d996fee52abfb1ab801a01e21991","first_computed_at":"2026-08-06T01:34:35.836210Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-08-06T01:34:35.836210Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"NUkbbsuxcG3DG/CVAZ0EdClCgFY3mUDzuIVRhKD+NC1tXwh9Eutt9OiosN3t9b2UvOBR34JZjec/5AkrxyxrCQ==","signature_status":"signed_v1","signed_at":"2026-08-06T01:34:35.837639Z","signed_message":"canonical_sha256_bytes"},"source_id":"2608.04384","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b58f1047310be9bfa5c37ba4089e3342419d627f9674208d0c07da5c66227f72","sha256:3e7a632df002dcc9977dde30c9fccb88d0555d289d8dbe790cd7a8bc4280e56c"],"state_sha256":"abe9c71c6c72c881af180954a5a59cb7a9d3870fb51de2b1b5cd6945ff83442b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vMkp4TAqQ/iChWGA5OkaKg5WUXE5lwL6PIR9yyaS0k5nbQboixl20Z5tPfCPVdqEb8T3c0kNVu2p8QJu7huwCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T08:45:04.675486Z","bundle_sha256":"b479c611fd7615f3de7f9567594de2fe24a77c27c74ee8eecccec6a519f96f61"}}