{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2022:57DT2N7OEBHDP5ULKJPEVS3OUY","short_pith_number":"pith:57DT2N7O","schema_version":"1.0","canonical_sha256":"efc73d37ee204e37f68b525e4acb6ea634426ac3da1758b7d1d72265d67716d6","source":{"kind":"arxiv","id":"2210.12871","version":2},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2210.12871","created_at":"2026-07-05T06:09:45.688572+00:00"},{"alias_kind":"arxiv_version","alias_value":"2210.12871v2","created_at":"2026-07-05T06:09:45.688572+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2210.12871","created_at":"2026-07-05T06:09:45.688572+00:00"},{"alias_kind":"pith_short_12","alias_value":"57DT2N7OEBHD","created_at":"2026-07-05T06:09:45.688572+00:00"},{"alias_kind":"pith_short_16","alias_value":"57DT2N7OEBHDP5UL","created_at":"2026-07-05T06:09:45.688572+00:00"},{"alias_kind":"pith_short_8","alias_value":"57DT2N7O","created_at":"2026-07-05T06:09:45.688572+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2607.28954","citing_title":"Mining Verdict Boundaries for Neural Network Verification","ref_index":6,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/57DT2N7OEBHDP5ULKJPEVS3OUY","json":"https://pith.science/pith/57DT2N7OEBHDP5ULKJPEVS3OUY.json","graph_json":"https://pith.science/api/pith-number/57DT2N7OEBHDP5ULKJPEVS3OUY/graph.json","events_json":"https://pith.science/api/pith-number/57DT2N7OEBHDP5ULKJPEVS3OUY/events.json","paper":"https://pith.science/paper/57DT2N7O"},"agent_actions":{"view_html":"https://pith.science/pith/57DT2N7OEBHDP5ULKJPEVS3OUY","download_json":"https://pith.science/pith/57DT2N7OEBHDP5ULKJPEVS3OUY.json","view_paper":"https://pith.science/paper/57DT2N7O","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2210.12871&json=true","fetch_graph":"https://pith.science/api/pith-number/57DT2N7OEBHDP5ULKJPEVS3OUY/graph.json","fetch_events":"https://pith.science/api/pith-number/57DT2N7OEBHDP5ULKJPEVS3OUY/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/57DT2N7OEBHDP5ULKJPEVS3OUY/action/timestamp_anchor","attest_storage":"https://pith.science/pith/57DT2N7OEBHDP5ULKJPEVS3OUY/action/storage_attestation","attest_author":"https://pith.science/pith/57DT2N7OEBHDP5ULKJPEVS3OUY/action/author_attestation","sign_citation":"https://pith.science/pith/57DT2N7OEBHDP5ULKJPEVS3OUY/action/citation_signature","submit_replication":"https://pith.science/pith/57DT2N7OEBHDP5ULKJPEVS3OUY/action/replication_record"}},"created_at":"2026-07-05T06:09:45.688572+00:00","updated_at":"2026-07-05T06:09:45.688572+00:00"}