{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:57DT2N7OEBHDP5ULKJPEVS3OUY","short_pith_number":"pith:57DT2N7O","canonical_record":{"source":{"id":"2210.12871","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2022-10-23T22:18:35Z","cross_cats_sorted":["cs.LO","cs.NE"],"title_canon_sha256":"7a928b7e12e207f417c9236e4d867375ebee740c89b5862f8b25d65ff940b49a","abstract_canon_sha256":"9723d88213ef49400dda39a18c1e8ed49c0a48138282aa1b402bf9f435474962"},"schema_version":"1.0"},"canonical_sha256":"efc73d37ee204e37f68b525e4acb6ea634426ac3da1758b7d1d72265d67716d6","source":{"kind":"arxiv","id":"2210.12871","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2210.12871","created_at":"2026-07-05T06:09:45Z"},{"alias_kind":"arxiv_version","alias_value":"2210.12871v2","created_at":"2026-07-05T06:09:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2210.12871","created_at":"2026-07-05T06:09:45Z"},{"alias_kind":"pith_short_12","alias_value":"57DT2N7OEBHD","created_at":"2026-07-05T06:09:45Z"},{"alias_kind":"pith_short_16","alias_value":"57DT2N7OEBHDP5UL","created_at":"2026-07-05T06:09:45Z"},{"alias_kind":"pith_short_8","alias_value":"57DT2N7O","created_at":"2026-07-05T06:09:45Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:57DT2N7OEBHDP5ULKJPEVS3OUY","target":"record","payload":{"canonical_record":{"source":{"id":"2210.12871","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2022-10-23T22:18:35Z","cross_cats_sorted":["cs.LO","cs.NE"],"title_canon_sha256":"7a928b7e12e207f417c9236e4d867375ebee740c89b5862f8b25d65ff940b49a","abstract_canon_sha256":"9723d88213ef49400dda39a18c1e8ed49c0a48138282aa1b402bf9f435474962"},"schema_version":"1.0"},"canonical_sha256":"efc73d37ee204e37f68b525e4acb6ea634426ac3da1758b7d1d72265d67716d6","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:09:45.689022Z","signature_b64":"RimZqevhjP7xVPWGwrFluJ6qsdVt5gvkQnH9wFyfkZOhSFxwH/Ny+a6CjPDTrVGq9Bas1sVkjK/MRbdRevKMCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"efc73d37ee204e37f68b525e4acb6ea634426ac3da1758b7d1d72265d67716d6","last_reissued_at":"2026-07-05T06:09:45.688503Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:09:45.688503Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2210.12871","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-05T06:09:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NK5flC926Fyf7FEwGSjaV7EEdZt1OriXW2bJcr1qJ2Y+y0stAZKyp+IlQxWVbRYelucuD8K+0amegMyoJiluAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T11:19:07.431516Z"},"content_sha256":"357e1982d95334eb4002b112c867856a76b2a9c8c02f1fc5664f1aaf9ccef56e","schema_version":"1.0","event_id":"sha256:357e1982d95334eb4002b112c867856a76b2a9c8c02f1fc5664f1aaf9ccef56e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:57DT2N7OEBHDP5ULKJPEVS3OUY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Tighter Abstract Queries in Neural Network Verification","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LO","cs.NE"],"primary_cat":"cs.LG","authors_text":"Clark Barrett, Elazar Cohen, Guy Katz, Yizhak Yisrael Elboher","submitted_at":"2022-10-23T22:18:35Z","abstract_excerpt":"Neural networks have become critical components of reactive systems in various domains within computer science. Despite their excellent performance, using neural networks entails numerous risks that stem from our lack of ability to understand and reason about their behavior. Due to these risks, various formal methods have been proposed for verifying neural networks; but unfortunately, these typically struggle with scalability barriers. Recent attempts have demonstrated that abstraction-refinement approaches could play a significant role in mitigating these limitations; but these approaches can"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2210.12871","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/2210.12871/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-05T06:09:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qd9ecGv8eshpyCCNwT06TrSyzaHgHY/rJOgqZjkfHJfMhXtRG+t1R0pwi5HTwRstbSPIwI955OesGZDtVgH4Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T11:19:07.432415Z"},"content_sha256":"4d777830df7556945dcda0627b821c49efa8c2386d433a1b7ee13037a4266ddc","schema_version":"1.0","event_id":"sha256:4d777830df7556945dcda0627b821c49efa8c2386d433a1b7ee13037a4266ddc"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/57DT2N7OEBHDP5ULKJPEVS3OUY/bundle.json","state_url":"https://pith.science/pith/57DT2N7OEBHDP5ULKJPEVS3OUY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/57DT2N7OEBHDP5ULKJPEVS3OUY/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-05T11:19:07Z","links":{"resolver":"https://pith.science/pith/57DT2N7OEBHDP5ULKJPEVS3OUY","bundle":"https://pith.science/pith/57DT2N7OEBHDP5ULKJPEVS3OUY/bundle.json","state":"https://pith.science/pith/57DT2N7OEBHDP5ULKJPEVS3OUY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/57DT2N7OEBHDP5ULKJPEVS3OUY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:57DT2N7OEBHDP5ULKJPEVS3OUY","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":"9723d88213ef49400dda39a18c1e8ed49c0a48138282aa1b402bf9f435474962","cross_cats_sorted":["cs.LO","cs.NE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2022-10-23T22:18:35Z","title_canon_sha256":"7a928b7e12e207f417c9236e4d867375ebee740c89b5862f8b25d65ff940b49a"},"schema_version":"1.0","source":{"id":"2210.12871","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2210.12871","created_at":"2026-07-05T06:09:45Z"},{"alias_kind":"arxiv_version","alias_value":"2210.12871v2","created_at":"2026-07-05T06:09:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2210.12871","created_at":"2026-07-05T06:09:45Z"},{"alias_kind":"pith_short_12","alias_value":"57DT2N7OEBHD","created_at":"2026-07-05T06:09:45Z"},{"alias_kind":"pith_short_16","alias_value":"57DT2N7OEBHDP5UL","created_at":"2026-07-05T06:09:45Z"},{"alias_kind":"pith_short_8","alias_value":"57DT2N7O","created_at":"2026-07-05T06:09:45Z"}],"graph_snapshots":[{"event_id":"sha256:4d777830df7556945dcda0627b821c49efa8c2386d433a1b7ee13037a4266ddc","target":"graph","created_at":"2026-07-05T06:09:45Z","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/2210.12871/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Neural networks have become critical components of reactive systems in various domains within computer science. Despite their excellent performance, using neural networks entails numerous risks that stem from our lack of ability to understand and reason about their behavior. Due to these risks, various formal methods have been proposed for verifying neural networks; but unfortunately, these typically struggle with scalability barriers. Recent attempts have demonstrated that abstraction-refinement approaches could play a significant role in mitigating these limitations; but these approaches can","authors_text":"Clark Barrett, Elazar Cohen, Guy Katz, Yizhak Yisrael Elboher","cross_cats":["cs.LO","cs.NE"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2022-10-23T22:18:35Z","title":"Tighter Abstract Queries in Neural Network Verification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2210.12871","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:357e1982d95334eb4002b112c867856a76b2a9c8c02f1fc5664f1aaf9ccef56e","target":"record","created_at":"2026-07-05T06:09:45Z","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":"9723d88213ef49400dda39a18c1e8ed49c0a48138282aa1b402bf9f435474962","cross_cats_sorted":["cs.LO","cs.NE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2022-10-23T22:18:35Z","title_canon_sha256":"7a928b7e12e207f417c9236e4d867375ebee740c89b5862f8b25d65ff940b49a"},"schema_version":"1.0","source":{"id":"2210.12871","kind":"arxiv","version":2}},"canonical_sha256":"efc73d37ee204e37f68b525e4acb6ea634426ac3da1758b7d1d72265d67716d6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"efc73d37ee204e37f68b525e4acb6ea634426ac3da1758b7d1d72265d67716d6","first_computed_at":"2026-07-05T06:09:45.688503Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:09:45.688503Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"RimZqevhjP7xVPWGwrFluJ6qsdVt5gvkQnH9wFyfkZOhSFxwH/Ny+a6CjPDTrVGq9Bas1sVkjK/MRbdRevKMCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T06:09:45.689022Z","signed_message":"canonical_sha256_bytes"},"source_id":"2210.12871","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:357e1982d95334eb4002b112c867856a76b2a9c8c02f1fc5664f1aaf9ccef56e","sha256:4d777830df7556945dcda0627b821c49efa8c2386d433a1b7ee13037a4266ddc"],"state_sha256":"4296b7e292eb2e173207de681ba02279f5e68ea8662ad4130621309fb07d3aaa"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sEE+d8YKxC0xT3lpPnk0ZMkPU8xzLFrx2+Cbm6uar2Rjs2xrQqthkXXfGMVL2hMbXUtQkA15gDsZGTcW5X7DDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T11:19:07.440213Z","bundle_sha256":"099cad0d9999143edb52a93623bc38bf5de15f115d2331c4ebcf8152e9a5ce18"}}