{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:7T2LIVQFOWMVZJOL2XZATQ2MLZ","short_pith_number":"pith:7T2LIVQF","canonical_record":{"source":{"id":"2412.02940","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2024-12-04T01:13:44Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"ee3b8a51fbad98ea5da35a3d91220a042cda290970b3327a4fcea0f6eb1d19c0","abstract_canon_sha256":"69482576b1d2625af2aa6d427ee69f41d0cea575e525a20479ec3575ad713c17"},"schema_version":"1.0"},"canonical_sha256":"fcf4b4560575995ca5cbd5f209c34c5e419144477794e46e3a46b2fdc3da35b3","source":{"kind":"arxiv","id":"2412.02940","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2412.02940","created_at":"2026-07-05T09:44:22Z"},{"alias_kind":"arxiv_version","alias_value":"2412.02940v1","created_at":"2026-07-05T09:44:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.02940","created_at":"2026-07-05T09:44:22Z"},{"alias_kind":"pith_short_12","alias_value":"7T2LIVQFOWMV","created_at":"2026-07-05T09:44:22Z"},{"alias_kind":"pith_short_16","alias_value":"7T2LIVQFOWMVZJOL","created_at":"2026-07-05T09:44:22Z"},{"alias_kind":"pith_short_8","alias_value":"7T2LIVQF","created_at":"2026-07-05T09:44:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:7T2LIVQFOWMVZJOL2XZATQ2MLZ","target":"record","payload":{"canonical_record":{"source":{"id":"2412.02940","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2024-12-04T01:13:44Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"ee3b8a51fbad98ea5da35a3d91220a042cda290970b3327a4fcea0f6eb1d19c0","abstract_canon_sha256":"69482576b1d2625af2aa6d427ee69f41d0cea575e525a20479ec3575ad713c17"},"schema_version":"1.0"},"canonical_sha256":"fcf4b4560575995ca5cbd5f209c34c5e419144477794e46e3a46b2fdc3da35b3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:44:22.318732Z","signature_b64":"GskociugtptgBxMgdzv04A4smr7U8o2tSIxJDdvTFSCVbvMQDFpMpuN710ktD9G8nR4PeKZO3a9KDJW9S+TeBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fcf4b4560575995ca5cbd5f209c34c5e419144477794e46e3a46b2fdc3da35b3","last_reissued_at":"2026-07-05T09:44:22.318239Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:44:22.318239Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2412.02940","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-07-05T09:44:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rX2Npb0ttivhlIBZO/YGn7QA+aMZiC8GRuEfSscfXpMZc+dj349mOY3mmyYA687Bn7kUeBAJcNE7mjrQK4PODw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T22:01:18.534384Z"},"content_sha256":"fcbe8a12e3311b4d747b174ad92bba89780715b7ec87b5d80da8686b35d0b749","schema_version":"1.0","event_id":"sha256:fcbe8a12e3311b4d747b174ad92bba89780715b7ec87b5d80da8686b35d0b749"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:7T2LIVQFOWMVZJOL2XZATQ2MLZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LG","authors_text":"Joshua Pilipovsky, Krishna C. Kalagarla, Meeko Oishi, Panagiotis Tsiotras, Rosalyn Devonport, Vignesh Sivaramakrishnan","submitted_at":"2024-12-04T01:13:44Z","abstract_excerpt":"We present a neural network verification toolbox to 1) assess the probability of satisfaction of a constraint, and 2) synthesize a set expansion factor to achieve the probability of satisfaction. Specifically, the tool box establishes with a user-specified level of confidence whether the output of the neural network for a given input distribution is likely to be contained within a given set. Should the tool determine that the given set cannot satisfy the likelihood constraint, the tool also implements an approach outlined in this paper to alter the constraint set to ensure that the user-define"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2412.02940","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/2412.02940/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-05T09:44:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AFozNuMRBDV9UCP8MMWONPAZp65tsvMG8FGMEAlDkX99/1V5yz458XO25t9xTuAVsWKPkdaFUx+MJAfNztbRBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T22:01:18.534891Z"},"content_sha256":"18c5b558dcd9bd49a7479214d0dc901613ee48bb6b0ea024be8dfedab80c1b90","schema_version":"1.0","event_id":"sha256:18c5b558dcd9bd49a7479214d0dc901613ee48bb6b0ea024be8dfedab80c1b90"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7T2LIVQFOWMVZJOL2XZATQ2MLZ/bundle.json","state_url":"https://pith.science/pith/7T2LIVQFOWMVZJOL2XZATQ2MLZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7T2LIVQFOWMVZJOL2XZATQ2MLZ/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-09T22:01:18Z","links":{"resolver":"https://pith.science/pith/7T2LIVQFOWMVZJOL2XZATQ2MLZ","bundle":"https://pith.science/pith/7T2LIVQFOWMVZJOL2XZATQ2MLZ/bundle.json","state":"https://pith.science/pith/7T2LIVQFOWMVZJOL2XZATQ2MLZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7T2LIVQFOWMVZJOL2XZATQ2MLZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:7T2LIVQFOWMVZJOL2XZATQ2MLZ","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":"69482576b1d2625af2aa6d427ee69f41d0cea575e525a20479ec3575ad713c17","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2024-12-04T01:13:44Z","title_canon_sha256":"ee3b8a51fbad98ea5da35a3d91220a042cda290970b3327a4fcea0f6eb1d19c0"},"schema_version":"1.0","source":{"id":"2412.02940","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2412.02940","created_at":"2026-07-05T09:44:22Z"},{"alias_kind":"arxiv_version","alias_value":"2412.02940v1","created_at":"2026-07-05T09:44:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.02940","created_at":"2026-07-05T09:44:22Z"},{"alias_kind":"pith_short_12","alias_value":"7T2LIVQFOWMV","created_at":"2026-07-05T09:44:22Z"},{"alias_kind":"pith_short_16","alias_value":"7T2LIVQFOWMVZJOL","created_at":"2026-07-05T09:44:22Z"},{"alias_kind":"pith_short_8","alias_value":"7T2LIVQF","created_at":"2026-07-05T09:44:22Z"}],"graph_snapshots":[{"event_id":"sha256:18c5b558dcd9bd49a7479214d0dc901613ee48bb6b0ea024be8dfedab80c1b90","target":"graph","created_at":"2026-07-05T09:44:22Z","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/2412.02940/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We present a neural network verification toolbox to 1) assess the probability of satisfaction of a constraint, and 2) synthesize a set expansion factor to achieve the probability of satisfaction. Specifically, the tool box establishes with a user-specified level of confidence whether the output of the neural network for a given input distribution is likely to be contained within a given set. Should the tool determine that the given set cannot satisfy the likelihood constraint, the tool also implements an approach outlined in this paper to alter the constraint set to ensure that the user-define","authors_text":"Joshua Pilipovsky, Krishna C. Kalagarla, Meeko Oishi, Panagiotis Tsiotras, Rosalyn Devonport, Vignesh Sivaramakrishnan","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2024-12-04T01:13:44Z","title":"SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2412.02940","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:fcbe8a12e3311b4d747b174ad92bba89780715b7ec87b5d80da8686b35d0b749","target":"record","created_at":"2026-07-05T09:44:22Z","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":"69482576b1d2625af2aa6d427ee69f41d0cea575e525a20479ec3575ad713c17","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2024-12-04T01:13:44Z","title_canon_sha256":"ee3b8a51fbad98ea5da35a3d91220a042cda290970b3327a4fcea0f6eb1d19c0"},"schema_version":"1.0","source":{"id":"2412.02940","kind":"arxiv","version":1}},"canonical_sha256":"fcf4b4560575995ca5cbd5f209c34c5e419144477794e46e3a46b2fdc3da35b3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fcf4b4560575995ca5cbd5f209c34c5e419144477794e46e3a46b2fdc3da35b3","first_computed_at":"2026-07-05T09:44:22.318239Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:44:22.318239Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"GskociugtptgBxMgdzv04A4smr7U8o2tSIxJDdvTFSCVbvMQDFpMpuN710ktD9G8nR4PeKZO3a9KDJW9S+TeBQ==","signature_status":"signed_v1","signed_at":"2026-07-05T09:44:22.318732Z","signed_message":"canonical_sha256_bytes"},"source_id":"2412.02940","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fcbe8a12e3311b4d747b174ad92bba89780715b7ec87b5d80da8686b35d0b749","sha256:18c5b558dcd9bd49a7479214d0dc901613ee48bb6b0ea024be8dfedab80c1b90"],"state_sha256":"4e10f53c6efa8a821e60fb1ad039df67e6ff379b9e62950f606c56734b55faf6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kXLjCprG/1+syl2EHvCKwyUGXNQb+kF3sHHueo9fTq67e9kaK8tw8S30OZG6S0ipL2QtTJrmxaEIohb4W0H8BA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T22:01:18.538248Z","bundle_sha256":"906e4390f4b9c3c991f09c5e5f817f757657711b02ab1a8b7e28965e1ac81fb4"}}