{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2021:PJLB24XD6DBIS7BQ5TM5P5X27U","short_pith_number":"pith:PJLB24XD","schema_version":"1.0","canonical_sha256":"7a561d72e3f0c2897c30ecd9d7f6fafd271da88b9242b0f53d6c162868e90f29","source":{"kind":"arxiv","id":"2105.12841","version":1},"attestation_state":"computed","paper":{"title":"DNNV: A Framework for Deep Neural Network Verification","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.LG","authors_text":"David Shriver, Matthew B. Dwyer, Sebastian Elbaum","submitted_at":"2021-05-26T21:08:17Z","abstract_excerpt":"Despite the large number of sophisticated deep neural network (DNN) verification algorithms, DNN verifier developers, users, and researchers still face several challenges. First, verifier developers must contend with the rapidly changing DNN field to support new DNN operations and property types. Second, verifier users have the burden of selecting a verifier input format to specify their problem. Due to the many input formats, this decision can greatly restrict the verifiers that a user may run. Finally, researchers face difficulties in re-using benchmarks to evaluate and compare verifiers, du"},"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":"2105.12841","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2021-05-26T21:08:17Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"219c059bb53e4e5ad110eae5db2df242566d16631f220291c8ce0c1e9c7fa88a","abstract_canon_sha256":"e1de220b62c3f26dc30ca564f4d777e9df4549960347601450bcb75012fdc962"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:45:09.386664Z","signature_b64":"LIvAVGa4GITf5nPs7/JH7plfNL5mPJ91Lgpfqh4tEYG5u2pv/diir1pW2CRn+Jd3zcRCPFVz7W/NXZlUnehjCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7a561d72e3f0c2897c30ecd9d7f6fafd271da88b9242b0f53d6c162868e90f29","last_reissued_at":"2026-07-05T06:45:09.386143Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:45:09.386143Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"DNNV: A Framework for Deep Neural Network Verification","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.LG","authors_text":"David Shriver, Matthew B. Dwyer, Sebastian Elbaum","submitted_at":"2021-05-26T21:08:17Z","abstract_excerpt":"Despite the large number of sophisticated deep neural network (DNN) verification algorithms, DNN verifier developers, users, and researchers still face several challenges. First, verifier developers must contend with the rapidly changing DNN field to support new DNN operations and property types. Second, verifier users have the burden of selecting a verifier input format to specify their problem. Due to the many input formats, this decision can greatly restrict the verifiers that a user may run. Finally, researchers face difficulties in re-using benchmarks to evaluate and compare verifiers, du"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2105.12841","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/2105.12841/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":"2105.12841","created_at":"2026-07-05T06:45:09.386202+00:00"},{"alias_kind":"arxiv_version","alias_value":"2105.12841v1","created_at":"2026-07-05T06:45:09.386202+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2105.12841","created_at":"2026-07-05T06:45:09.386202+00:00"},{"alias_kind":"pith_short_12","alias_value":"PJLB24XD6DBI","created_at":"2026-07-05T06:45:09.386202+00:00"},{"alias_kind":"pith_short_16","alias_value":"PJLB24XD6DBIS7BQ","created_at":"2026-07-05T06:45:09.386202+00:00"},{"alias_kind":"pith_short_8","alias_value":"PJLB24XD","created_at":"2026-07-05T06:45:09.386202+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/PJLB24XD6DBIS7BQ5TM5P5X27U","json":"https://pith.science/pith/PJLB24XD6DBIS7BQ5TM5P5X27U.json","graph_json":"https://pith.science/api/pith-number/PJLB24XD6DBIS7BQ5TM5P5X27U/graph.json","events_json":"https://pith.science/api/pith-number/PJLB24XD6DBIS7BQ5TM5P5X27U/events.json","paper":"https://pith.science/paper/PJLB24XD"},"agent_actions":{"view_html":"https://pith.science/pith/PJLB24XD6DBIS7BQ5TM5P5X27U","download_json":"https://pith.science/pith/PJLB24XD6DBIS7BQ5TM5P5X27U.json","view_paper":"https://pith.science/paper/PJLB24XD","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2105.12841&json=true","fetch_graph":"https://pith.science/api/pith-number/PJLB24XD6DBIS7BQ5TM5P5X27U/graph.json","fetch_events":"https://pith.science/api/pith-number/PJLB24XD6DBIS7BQ5TM5P5X27U/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/PJLB24XD6DBIS7BQ5TM5P5X27U/action/timestamp_anchor","attest_storage":"https://pith.science/pith/PJLB24XD6DBIS7BQ5TM5P5X27U/action/storage_attestation","attest_author":"https://pith.science/pith/PJLB24XD6DBIS7BQ5TM5P5X27U/action/author_attestation","sign_citation":"https://pith.science/pith/PJLB24XD6DBIS7BQ5TM5P5X27U/action/citation_signature","submit_replication":"https://pith.science/pith/PJLB24XD6DBIS7BQ5TM5P5X27U/action/replication_record"}},"created_at":"2026-07-05T06:45:09.386202+00:00","updated_at":"2026-07-05T06:45:09.386202+00:00"}