{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:SXKXFBL2KDJGTKWO6O5IYGDGAZ","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":"349dc58cb5f19c2d3968c57fa3630b002526d554960358c3c00aa2cdcd2d64ee","cross_cats_sorted":["stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-03-26T04:37:54Z","title_canon_sha256":"e37a4a25922a041d71fde9f6a0098adeae477fca7be9fb34f4f816300110c159"},"schema_version":"1.0","source":{"id":"1903.10672","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1903.10672","created_at":"2026-05-17T23:50:18Z"},{"alias_kind":"arxiv_version","alias_value":"1903.10672v1","created_at":"2026-05-17T23:50:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.10672","created_at":"2026-05-17T23:50:18Z"},{"alias_kind":"pith_short_12","alias_value":"SXKXFBL2KDJG","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_16","alias_value":"SXKXFBL2KDJGTKWO","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_8","alias_value":"SXKXFBL2","created_at":"2026-05-18T12:33:27Z"}],"graph_snapshots":[{"event_id":"sha256:cbf60f7f78f213dcb8a5843f0e0df95c563271c6c505ce1d8c0dc804b84bfaf3","target":"graph","created_at":"2026-05-17T23:50:18Z","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"},"paper":{"abstract_excerpt":"Quantization, a commonly used technique to reduce the memory footprint of a neural network for edge computing, entails reducing the precision of the floating-point representation used for the parameters of the network. The impact of such rounding-off errors on the overall performance of the neural network is estimated using testing, which is not exhaustive and thus cannot be used to guarantee the safety of the model. We present a framework based on Satisfiability Modulo Theory (SMT) solvers to quantify the robustness of neural networks to parameter perturbation. To this end, we introduce notio","authors_text":"Abhishek Murthy, Himel Das, Md Ariful Islam","cross_cats":["stat.ML"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-03-26T04:37:54Z","title":"Robustness of Neural Networks to Parameter Quantization"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.10672","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:6203b3297eba9fe1e2fe4fee8b124a17b9004cf054668c2905d4c36783fb61a4","target":"record","created_at":"2026-05-17T23:50:18Z","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":"349dc58cb5f19c2d3968c57fa3630b002526d554960358c3c00aa2cdcd2d64ee","cross_cats_sorted":["stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-03-26T04:37:54Z","title_canon_sha256":"e37a4a25922a041d71fde9f6a0098adeae477fca7be9fb34f4f816300110c159"},"schema_version":"1.0","source":{"id":"1903.10672","kind":"arxiv","version":1}},"canonical_sha256":"95d572857a50d269aacef3ba8c18660677766278cd1a326f387353f4a4616568","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"95d572857a50d269aacef3ba8c18660677766278cd1a326f387353f4a4616568","first_computed_at":"2026-05-17T23:50:18.125292Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:50:18.125292Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"tpsJkmP8XPzlRefn9ahlixbzTADbVPX6rqRy2FJy1R36QCufEVPaOd8M8En1kI7TDjw8RLhku6gFtl9KR5QVBg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:50:18.126155Z","signed_message":"canonical_sha256_bytes"},"source_id":"1903.10672","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6203b3297eba9fe1e2fe4fee8b124a17b9004cf054668c2905d4c36783fb61a4","sha256:cbf60f7f78f213dcb8a5843f0e0df95c563271c6c505ce1d8c0dc804b84bfaf3"],"state_sha256":"03f1f485050ba4a12bf8e3d91fc5aae386c7559ed214534b06d3d81f2181f0e2"}