{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:LFZYOCGCW343MU4RNZBCASMB5R","short_pith_number":"pith:LFZYOCGC","canonical_record":{"source":{"id":"1805.06962","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2018-05-17T20:42:07Z","cross_cats_sorted":["cs.AI","stat.ML"],"title_canon_sha256":"f5f57a78499afc95cd6ba0dcdd0f123985f9a2e7615cebbc05d752c7ecbbf6f8","abstract_canon_sha256":"0ff4f69ed868cb5cf60846a9b296774c8af7861b842d18c738ccd216f1385cd3"},"schema_version":"1.0"},"canonical_sha256":"59738708c2b6f9b653916e42204981ec496be39cfa686ff0666cc6c160649190","source":{"kind":"arxiv","id":"1805.06962","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1805.06962","created_at":"2026-05-18T00:15:42Z"},{"alias_kind":"arxiv_version","alias_value":"1805.06962v1","created_at":"2026-05-18T00:15:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.06962","created_at":"2026-05-18T00:15:42Z"},{"alias_kind":"pith_short_12","alias_value":"LFZYOCGCW343","created_at":"2026-05-18T12:32:37Z"},{"alias_kind":"pith_short_16","alias_value":"LFZYOCGCW343MU4R","created_at":"2026-05-18T12:32:37Z"},{"alias_kind":"pith_short_8","alias_value":"LFZYOCGC","created_at":"2026-05-18T12:32:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:LFZYOCGCW343MU4RNZBCASMB5R","target":"record","payload":{"canonical_record":{"source":{"id":"1805.06962","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2018-05-17T20:42:07Z","cross_cats_sorted":["cs.AI","stat.ML"],"title_canon_sha256":"f5f57a78499afc95cd6ba0dcdd0f123985f9a2e7615cebbc05d752c7ecbbf6f8","abstract_canon_sha256":"0ff4f69ed868cb5cf60846a9b296774c8af7861b842d18c738ccd216f1385cd3"},"schema_version":"1.0"},"canonical_sha256":"59738708c2b6f9b653916e42204981ec496be39cfa686ff0666cc6c160649190","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:15:42.645306Z","signature_b64":"HFEPz49ZWH0liPOsd/Vue07iEME1Pekbms4Ig6HSXuIcwpxT5KXfpRcbHwTpjWsX+Mt382MK/0Z+m1CTpl5FDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"59738708c2b6f9b653916e42204981ec496be39cfa686ff0666cc6c160649190","last_reissued_at":"2026-05-18T00:15:42.644689Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:15:42.644689Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1805.06962","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-05-18T00:15:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0NJcM5cWRwPFL7gMSUA1AS5Wld21PoSzhnTWqGDQ0mK2sTht0CyeuheuQW3dP3+jV9ufRTqGtH9eLadNMjbBBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T14:54:57.859302Z"},"content_sha256":"06c47ebd35275a2cf3f7f515e4bf780674b0f693820c3808c9674a6cd474a6fd","schema_version":"1.0","event_id":"sha256:06c47ebd35275a2cf3f7f515e4bf780674b0f693820c3808c9674a6cd474a6fd"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:LFZYOCGCW343MU4RNZBCASMB5R","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Counterexample-Guided Data Augmentation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","stat.ML"],"primary_cat":"cs.LG","authors_text":"Alberto Sangiovanni-Vincentelli, Kurt Keutzer, Sanjit A. Seshia, Shromona Ghosh, Tommaso Dreossi, Xiangyu Yue","submitted_at":"2018-05-17T20:42:07Z","abstract_excerpt":"We present a novel framework for augmenting data sets for machine learning based on counterexamples. Counterexamples are misclassified examples that have important properties for retraining and improving the model. Key components of our framework include a counterexample generator, which produces data items that are misclassified by the model and error tables, a novel data structure that stores information pertaining to misclassifications. Error tables can be used to explain the model's vulnerabilities and are used to efficiently generate counterexamples for augmentation. We show the efficacy "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.06962","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":""},"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-05-18T00:15:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mojP6Ow0PN3j6Fos91Khoy24/cpl2mL8VdU/DXIQtzrya446zdt8VMyzYDIxpNUlqlfyk7RPT5B7CFi/B8lkDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T14:54:57.859860Z"},"content_sha256":"e49551697a6d7a43af8562fa51f60bdff7fd2d0243a61772fb3536c50b71ef52","schema_version":"1.0","event_id":"sha256:e49551697a6d7a43af8562fa51f60bdff7fd2d0243a61772fb3536c50b71ef52"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LFZYOCGCW343MU4RNZBCASMB5R/bundle.json","state_url":"https://pith.science/pith/LFZYOCGCW343MU4RNZBCASMB5R/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LFZYOCGCW343MU4RNZBCASMB5R/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-05-28T14:54:57Z","links":{"resolver":"https://pith.science/pith/LFZYOCGCW343MU4RNZBCASMB5R","bundle":"https://pith.science/pith/LFZYOCGCW343MU4RNZBCASMB5R/bundle.json","state":"https://pith.science/pith/LFZYOCGCW343MU4RNZBCASMB5R/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LFZYOCGCW343MU4RNZBCASMB5R/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:LFZYOCGCW343MU4RNZBCASMB5R","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":"0ff4f69ed868cb5cf60846a9b296774c8af7861b842d18c738ccd216f1385cd3","cross_cats_sorted":["cs.AI","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2018-05-17T20:42:07Z","title_canon_sha256":"f5f57a78499afc95cd6ba0dcdd0f123985f9a2e7615cebbc05d752c7ecbbf6f8"},"schema_version":"1.0","source":{"id":"1805.06962","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1805.06962","created_at":"2026-05-18T00:15:42Z"},{"alias_kind":"arxiv_version","alias_value":"1805.06962v1","created_at":"2026-05-18T00:15:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.06962","created_at":"2026-05-18T00:15:42Z"},{"alias_kind":"pith_short_12","alias_value":"LFZYOCGCW343","created_at":"2026-05-18T12:32:37Z"},{"alias_kind":"pith_short_16","alias_value":"LFZYOCGCW343MU4R","created_at":"2026-05-18T12:32:37Z"},{"alias_kind":"pith_short_8","alias_value":"LFZYOCGC","created_at":"2026-05-18T12:32:37Z"}],"graph_snapshots":[{"event_id":"sha256:e49551697a6d7a43af8562fa51f60bdff7fd2d0243a61772fb3536c50b71ef52","target":"graph","created_at":"2026-05-18T00:15:42Z","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":"We present a novel framework for augmenting data sets for machine learning based on counterexamples. Counterexamples are misclassified examples that have important properties for retraining and improving the model. Key components of our framework include a counterexample generator, which produces data items that are misclassified by the model and error tables, a novel data structure that stores information pertaining to misclassifications. Error tables can be used to explain the model's vulnerabilities and are used to efficiently generate counterexamples for augmentation. We show the efficacy ","authors_text":"Alberto Sangiovanni-Vincentelli, Kurt Keutzer, Sanjit A. Seshia, Shromona Ghosh, Tommaso Dreossi, Xiangyu Yue","cross_cats":["cs.AI","stat.ML"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2018-05-17T20:42:07Z","title":"Counterexample-Guided Data Augmentation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.06962","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:06c47ebd35275a2cf3f7f515e4bf780674b0f693820c3808c9674a6cd474a6fd","target":"record","created_at":"2026-05-18T00:15:42Z","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":"0ff4f69ed868cb5cf60846a9b296774c8af7861b842d18c738ccd216f1385cd3","cross_cats_sorted":["cs.AI","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2018-05-17T20:42:07Z","title_canon_sha256":"f5f57a78499afc95cd6ba0dcdd0f123985f9a2e7615cebbc05d752c7ecbbf6f8"},"schema_version":"1.0","source":{"id":"1805.06962","kind":"arxiv","version":1}},"canonical_sha256":"59738708c2b6f9b653916e42204981ec496be39cfa686ff0666cc6c160649190","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"59738708c2b6f9b653916e42204981ec496be39cfa686ff0666cc6c160649190","first_computed_at":"2026-05-18T00:15:42.644689Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:15:42.644689Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"HFEPz49ZWH0liPOsd/Vue07iEME1Pekbms4Ig6HSXuIcwpxT5KXfpRcbHwTpjWsX+Mt382MK/0Z+m1CTpl5FDw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:15:42.645306Z","signed_message":"canonical_sha256_bytes"},"source_id":"1805.06962","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:06c47ebd35275a2cf3f7f515e4bf780674b0f693820c3808c9674a6cd474a6fd","sha256:e49551697a6d7a43af8562fa51f60bdff7fd2d0243a61772fb3536c50b71ef52"],"state_sha256":"6fd1c2046f3d561ae53b5df7457babc5eb29a0fe2346a51121d7832ce866b869"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9re47vwXd65i3Vk4R6rzbG+j1Mefvq2oRrmLGa8/Vd8N0karoFHWccgr26osJ6+E/Zz2ESv9ZXy5aJ601+bXBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T14:54:57.862078Z","bundle_sha256":"5ac70f8c8a6fb2fbd3a8f28b83b42b40db8e0fcaa80c4db8089d34f36698c9e3"}}