{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:FD4XMO7YUZ3JRPMWDB5JJ2F5RQ","short_pith_number":"pith:FD4XMO7Y","canonical_record":{"source":{"id":"2501.05867","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2025-01-10T11:08:40Z","cross_cats_sorted":["cs.LG","cs.LO"],"title_canon_sha256":"9e7aa24447bab95c9e82da8b71682647a8960e87b532d0600465a109dba209cf","abstract_canon_sha256":"abf2626b3b601a9263747e9ab02bff94719917f0dacc2262a9f9b1228e025713"},"schema_version":"1.0"},"canonical_sha256":"28f9763bf8a67698bd96187a94e8bd8c1381da50c9d0c60749765494baef564e","source":{"kind":"arxiv","id":"2501.05867","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2501.05867","created_at":"2026-07-05T10:07:29Z"},{"alias_kind":"arxiv_version","alias_value":"2501.05867v2","created_at":"2026-07-05T10:07:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2501.05867","created_at":"2026-07-05T10:07:29Z"},{"alias_kind":"pith_short_12","alias_value":"FD4XMO7YUZ3J","created_at":"2026-07-05T10:07:29Z"},{"alias_kind":"pith_short_16","alias_value":"FD4XMO7YUZ3JRPMW","created_at":"2026-07-05T10:07:29Z"},{"alias_kind":"pith_short_8","alias_value":"FD4XMO7Y","created_at":"2026-07-05T10:07:29Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:FD4XMO7YUZ3JRPMWDB5JJ2F5RQ","target":"record","payload":{"canonical_record":{"source":{"id":"2501.05867","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2025-01-10T11:08:40Z","cross_cats_sorted":["cs.LG","cs.LO"],"title_canon_sha256":"9e7aa24447bab95c9e82da8b71682647a8960e87b532d0600465a109dba209cf","abstract_canon_sha256":"abf2626b3b601a9263747e9ab02bff94719917f0dacc2262a9f9b1228e025713"},"schema_version":"1.0"},"canonical_sha256":"28f9763bf8a67698bd96187a94e8bd8c1381da50c9d0c60749765494baef564e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:07:29.422001Z","signature_b64":"JS/pYr6B8/m8BMexTdZPWKT/Falx/4tSPwyarc7I04q/zviMxW8eIFsPn1IQ0FnYUqbENJ9jjc3TwQH8lp7xDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"28f9763bf8a67698bd96187a94e8bd8c1381da50c9d0c60749765494baef564e","last_reissued_at":"2026-07-05T10:07:29.421552Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:07:29.421552Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2501.05867","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-05T10:07:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"K5HtucPm3UhJ7Ek22RNrQ/HhhsL4ODu70BRQr4RaTce5ZiL0P8RB3qwsKKD6X0yHCyFB6dy82jJCfdvSysHLBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T10:58:27.348388Z"},"content_sha256":"ea803d1064deb9406f600dfbe9bf03f4768fb0338f47e6e511847c586d1b5700","schema_version":"1.0","event_id":"sha256:ea803d1064deb9406f600dfbe9bf03f4768fb0338f47e6e511847c586d1b5700"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:FD4XMO7YUZ3JRPMWDB5JJ2F5RQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Neural Network Verification is a Programming Language Challenge","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","cs.LO"],"primary_cat":"cs.PL","authors_text":"Artjoms \\v{S}inkarovs, Augustin Lemesle, Edoardo Manino, Ekaterina Komendantskaya, Guy Katz, Haoze Wu, Julien Girard-Satabin, Lucas C. Cordeiro, Matthew L. Daggitt, Omri Isac, Taylor T. Johnson","submitted_at":"2025-01-10T11:08:40Z","abstract_excerpt":"Neural network verification is a new and rapidly developing field of research. So far, the main priority has been establishing efficient verification algorithms and tools, while proper support from the programming language perspective has been considered secondary or unimportant. Yet, there is mounting evidence that insights from the programming language community may make a difference in the future development of this domain. In this paper, we formulate neural network verification challenges as programming language challenges and suggest possible future solutions."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2501.05867","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/2501.05867/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-05T10:07:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EhWXCsIHQdVZs2cTQqbrA2efT93Om+TEl+zvqpLRx/F8hG5g9i2U5E1xOxwnvcRVYf1anhYxjH1DNafD0GBmAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T10:58:27.348896Z"},"content_sha256":"491bcb19cbf203c067c6a4450dbc6288aa348d6f9629a9e97aeff6013a8e7894","schema_version":"1.0","event_id":"sha256:491bcb19cbf203c067c6a4450dbc6288aa348d6f9629a9e97aeff6013a8e7894"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FD4XMO7YUZ3JRPMWDB5JJ2F5RQ/bundle.json","state_url":"https://pith.science/pith/FD4XMO7YUZ3JRPMWDB5JJ2F5RQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FD4XMO7YUZ3JRPMWDB5JJ2F5RQ/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-16T10:58:27Z","links":{"resolver":"https://pith.science/pith/FD4XMO7YUZ3JRPMWDB5JJ2F5RQ","bundle":"https://pith.science/pith/FD4XMO7YUZ3JRPMWDB5JJ2F5RQ/bundle.json","state":"https://pith.science/pith/FD4XMO7YUZ3JRPMWDB5JJ2F5RQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FD4XMO7YUZ3JRPMWDB5JJ2F5RQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:FD4XMO7YUZ3JRPMWDB5JJ2F5RQ","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":"abf2626b3b601a9263747e9ab02bff94719917f0dacc2262a9f9b1228e025713","cross_cats_sorted":["cs.LG","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2025-01-10T11:08:40Z","title_canon_sha256":"9e7aa24447bab95c9e82da8b71682647a8960e87b532d0600465a109dba209cf"},"schema_version":"1.0","source":{"id":"2501.05867","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2501.05867","created_at":"2026-07-05T10:07:29Z"},{"alias_kind":"arxiv_version","alias_value":"2501.05867v2","created_at":"2026-07-05T10:07:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2501.05867","created_at":"2026-07-05T10:07:29Z"},{"alias_kind":"pith_short_12","alias_value":"FD4XMO7YUZ3J","created_at":"2026-07-05T10:07:29Z"},{"alias_kind":"pith_short_16","alias_value":"FD4XMO7YUZ3JRPMW","created_at":"2026-07-05T10:07:29Z"},{"alias_kind":"pith_short_8","alias_value":"FD4XMO7Y","created_at":"2026-07-05T10:07:29Z"}],"graph_snapshots":[{"event_id":"sha256:491bcb19cbf203c067c6a4450dbc6288aa348d6f9629a9e97aeff6013a8e7894","target":"graph","created_at":"2026-07-05T10:07:29Z","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/2501.05867/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Neural network verification is a new and rapidly developing field of research. So far, the main priority has been establishing efficient verification algorithms and tools, while proper support from the programming language perspective has been considered secondary or unimportant. Yet, there is mounting evidence that insights from the programming language community may make a difference in the future development of this domain. In this paper, we formulate neural network verification challenges as programming language challenges and suggest possible future solutions.","authors_text":"Artjoms \\v{S}inkarovs, Augustin Lemesle, Edoardo Manino, Ekaterina Komendantskaya, Guy Katz, Haoze Wu, Julien Girard-Satabin, Lucas C. Cordeiro, Matthew L. Daggitt, Omri Isac, Taylor T. Johnson","cross_cats":["cs.LG","cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2025-01-10T11:08:40Z","title":"Neural Network Verification is a Programming Language Challenge"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2501.05867","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:ea803d1064deb9406f600dfbe9bf03f4768fb0338f47e6e511847c586d1b5700","target":"record","created_at":"2026-07-05T10:07:29Z","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":"abf2626b3b601a9263747e9ab02bff94719917f0dacc2262a9f9b1228e025713","cross_cats_sorted":["cs.LG","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2025-01-10T11:08:40Z","title_canon_sha256":"9e7aa24447bab95c9e82da8b71682647a8960e87b532d0600465a109dba209cf"},"schema_version":"1.0","source":{"id":"2501.05867","kind":"arxiv","version":2}},"canonical_sha256":"28f9763bf8a67698bd96187a94e8bd8c1381da50c9d0c60749765494baef564e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"28f9763bf8a67698bd96187a94e8bd8c1381da50c9d0c60749765494baef564e","first_computed_at":"2026-07-05T10:07:29.421552Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:07:29.421552Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"JS/pYr6B8/m8BMexTdZPWKT/Falx/4tSPwyarc7I04q/zviMxW8eIFsPn1IQ0FnYUqbENJ9jjc3TwQH8lp7xDg==","signature_status":"signed_v1","signed_at":"2026-07-05T10:07:29.422001Z","signed_message":"canonical_sha256_bytes"},"source_id":"2501.05867","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ea803d1064deb9406f600dfbe9bf03f4768fb0338f47e6e511847c586d1b5700","sha256:491bcb19cbf203c067c6a4450dbc6288aa348d6f9629a9e97aeff6013a8e7894"],"state_sha256":"1d4eb96ca9378bf41dbe4abd23e2f691171e2e07d9bf152a5dd5deebf7f0e653"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lwdVO+r1B4vA0iDWTMcIfwzyaJg9oGS8eELpnoIGhsAytCOSfidIyRGy4FyuStF6TNE/RNLUay+05hA0WAFODw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-16T10:58:27.352423Z","bundle_sha256":"3f361f76a5ede6f85504d8170e9285bccff731d14d25c95aa3e3b02eedec2850"}}