{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:4OZ2RGK2AHHNE73HHMMEUFNNVQ","short_pith_number":"pith:4OZ2RGK2","canonical_record":{"source":{"id":"2607.18582","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-20T23:41:24Z","cross_cats_sorted":[],"title_canon_sha256":"93080cdf26fd67fe5feb7586eed3a2aa2cc72827b2cd99db55f5dba4317e338e","abstract_canon_sha256":"a59020d7b2e4b7d05667b7fe76afd164504bbffd6fcc9c3e583fd259cb0e7a51"},"schema_version":"1.0"},"canonical_sha256":"e3b3a8995a01ced27f673b184a15adac3915f76fec6b1cd259eaff45563cb81a","source":{"kind":"arxiv","id":"2607.18582","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.18582","created_at":"2026-07-22T00:22:55Z"},{"alias_kind":"arxiv_version","alias_value":"2607.18582v1","created_at":"2026-07-22T00:22:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.18582","created_at":"2026-07-22T00:22:55Z"},{"alias_kind":"pith_short_12","alias_value":"4OZ2RGK2AHHN","created_at":"2026-07-22T00:22:55Z"},{"alias_kind":"pith_short_16","alias_value":"4OZ2RGK2AHHNE73H","created_at":"2026-07-22T00:22:55Z"},{"alias_kind":"pith_short_8","alias_value":"4OZ2RGK2","created_at":"2026-07-22T00:22:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:4OZ2RGK2AHHNE73HHMMEUFNNVQ","target":"record","payload":{"canonical_record":{"source":{"id":"2607.18582","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-20T23:41:24Z","cross_cats_sorted":[],"title_canon_sha256":"93080cdf26fd67fe5feb7586eed3a2aa2cc72827b2cd99db55f5dba4317e338e","abstract_canon_sha256":"a59020d7b2e4b7d05667b7fe76afd164504bbffd6fcc9c3e583fd259cb0e7a51"},"schema_version":"1.0"},"canonical_sha256":"e3b3a8995a01ced27f673b184a15adac3915f76fec6b1cd259eaff45563cb81a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-22T00:22:55.326904Z","signature_b64":"5Z2m5E5nUs7Bz3csa6cy6xgi4agJiywXnxoYRj6v48gzZDEkuvjBL1sdF6cqMFQU2L83X3DQBP9Tto72jfqnCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e3b3a8995a01ced27f673b184a15adac3915f76fec6b1cd259eaff45563cb81a","last_reissued_at":"2026-07-22T00:22:55.326100Z","signature_status":"signed_v1","first_computed_at":"2026-07-22T00:22:55.326100Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.18582","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-07-22T00:22:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zFIg3EoY9iTrPjHx3CcUNf/D7a/263STH/2Qv2unNC4FMv7eEMKa1Psx2fesL+NpnB7k9t4Q6A7gBysnw6t5Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T22:53:33.037857Z"},"content_sha256":"7af71c4e79f9fe878aa9ee313ab70b049631ebe4b12739f9f5ff29a729c46e1f","schema_version":"1.0","event_id":"sha256:7af71c4e79f9fe878aa9ee313ab70b049631ebe4b12739f9f5ff29a729c46e1f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:4OZ2RGK2AHHNE73HHMMEUFNNVQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Provably Lossless Acceleration of DNN Mutation Testing via Memoization","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Ali Ghanbari, Ben Greenman, Sasan Tavakkol, Shibbir Ahmed","submitted_at":"2026-07-20T23:41:24Z","abstract_excerpt":"Mutation analysis has recently reemerged in the context of deep neural networks (DNNs) as a promising, but notoriously costly, approach for assessing test dataset adequacy. Existing techniques speed up DNN mutation testing through lossy approximations that trade efficiency for mutation score accuracy. This paper introduces Mure, the first provably lossless framework for accelerating DNN mutation testing via memoization. Mure is based on the idea that DNN mutants and the original model share substantial redundant computation, so during mutation testing, it executes only the mutated suffixes of "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.18582","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/2607.18582/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-22T00:22:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qOxsJLHr2VGRMZ0o11pF/poL7dhSB41nglAnFMrB9dQrH0bO9un/LLVO6nbgz1puln0+xqtEA73jrDWrPNR5Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T22:53:33.038352Z"},"content_sha256":"a86be62e2450bfa2074598949539d4f7fe66b8853a5acb983ba428e0422c0210","schema_version":"1.0","event_id":"sha256:a86be62e2450bfa2074598949539d4f7fe66b8853a5acb983ba428e0422c0210"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:4OZ2RGK2AHHNE73HHMMEUFNNVQ","target":"integrity","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1109/ISSRE.2018.00021) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Lei Ma, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Felix Juefei-Xu, Chao Xie, Li Li, Yang Liu, Jianjun Zhao, and Yadong Wang. 2018. DeepMutation: Mutation Testing of Deep Learning Systems. In29th IEEE International Symposium on Software R","arxiv_id":"2607.18582","detector":"doi_compliance","evidence":{"ref_index":37,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.1109/issre.2018","reconstructed_doi":"10.1109/ISSRE.2018.00021"},"severity":"advisory","ref_index":37,"audited_at":"2026-08-01T15:18:58.971840Z","event_type":"pith.integrity.v1","detected_doi":"10.1109/ISSRE.2018.00021","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"022b0a54cc08905ebc38ea3c0c823a631a2ff919bf013f65a097ba204f9d8147","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null,"integrity_event_id":16040,"payload_sha256":"aa191159ce84cb1d0209c21a6ea789a62f4348c8d2c430e541cf7194f96eaa36","signature_b64":"ZH3rotMfqLKx/mzxucbOYOyVvoFkB9egYYMO6VFse87/uth5osNsVR7WaMgkxDClzyiqOMBUhOqODHL3kzhaCg==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-08-01T15:23:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cr/pLTmrjh6AO+yN3mLUAplciQwe/stdRGwb6/ddpa7jz90YC3UfKv2BJBVjwqXfQz9JL7DOulQ6wcKGrI1VCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T22:53:33.041531Z"},"content_sha256":"4bc0d91761c9a3fc24e93054de4a96e598ac037e7edce4a43d22fa7f16332763","schema_version":"1.0","event_id":"sha256:4bc0d91761c9a3fc24e93054de4a96e598ac037e7edce4a43d22fa7f16332763"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:4OZ2RGK2AHHNE73HHMMEUFNNVQ","target":"integrity","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1109/CVPR.2006.68) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Svetlana Lazebnik, Cordelia Schmid, and Jean Ponce. 2006. Beyond Bags of Features: Spatial Pyramid Matching for Recognizing Natural Scene Categories. In2006 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2","arxiv_id":"2607.18582","detector":"doi_compliance","evidence":{"ref_index":27,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.1109/cvpr","reconstructed_doi":"10.1109/CVPR.2006.68"},"severity":"advisory","ref_index":27,"audited_at":"2026-08-01T15:18:58.971840Z","event_type":"pith.integrity.v1","detected_doi":"10.1109/CVPR.2006.68","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"8cf89193c728b2b19feec83cd6900190db63898a4a0ff6ee340efae7c659523c","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null,"integrity_event_id":16039,"payload_sha256":"6706c05940d7e11f25641ec6d5c7c4fbcb68ced823c4da6672375ee3eec3ba3a","signature_b64":"cBVMwN3gTY2JmftMYJDyvMSgFgfpZuXgtogprrCnHJczsOotSdsF/e+a4td2Pn7dTEWPY/NIqPAoWzOsxVDIBw==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-08-01T15:23:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"T8WVVbT+fnpCXvjFHm+ebqzphqA8fILMp1FzEoAtGtfGl2xboQSDCrO5FBjcnPQrTTwZqT8JBUf8bv+mZczFAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T22:53:33.041902Z"},"content_sha256":"0bd2b5360290f04da6e1eb285fc246f3b61435666e2ca731e93cccf2b553a405","schema_version":"1.0","event_id":"sha256:0bd2b5360290f04da6e1eb285fc246f3b61435666e2ca731e93cccf2b553a405"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4OZ2RGK2AHHNE73HHMMEUFNNVQ/bundle.json","state_url":"https://pith.science/pith/4OZ2RGK2AHHNE73HHMMEUFNNVQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4OZ2RGK2AHHNE73HHMMEUFNNVQ/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-06T22:53:33Z","links":{"resolver":"https://pith.science/pith/4OZ2RGK2AHHNE73HHMMEUFNNVQ","bundle":"https://pith.science/pith/4OZ2RGK2AHHNE73HHMMEUFNNVQ/bundle.json","state":"https://pith.science/pith/4OZ2RGK2AHHNE73HHMMEUFNNVQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4OZ2RGK2AHHNE73HHMMEUFNNVQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:4OZ2RGK2AHHNE73HHMMEUFNNVQ","merge_version":"pith-open-graph-merge-v1","event_count":4,"valid_event_count":4,"invalid_event_count":0,"equivocation_count":1,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"a59020d7b2e4b7d05667b7fe76afd164504bbffd6fcc9c3e583fd259cb0e7a51","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-20T23:41:24Z","title_canon_sha256":"93080cdf26fd67fe5feb7586eed3a2aa2cc72827b2cd99db55f5dba4317e338e"},"schema_version":"1.0","source":{"id":"2607.18582","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.18582","created_at":"2026-07-22T00:22:55Z"},{"alias_kind":"arxiv_version","alias_value":"2607.18582v1","created_at":"2026-07-22T00:22:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.18582","created_at":"2026-07-22T00:22:55Z"},{"alias_kind":"pith_short_12","alias_value":"4OZ2RGK2AHHN","created_at":"2026-07-22T00:22:55Z"},{"alias_kind":"pith_short_16","alias_value":"4OZ2RGK2AHHNE73H","created_at":"2026-07-22T00:22:55Z"},{"alias_kind":"pith_short_8","alias_value":"4OZ2RGK2","created_at":"2026-07-22T00:22:55Z"}],"graph_snapshots":[{"event_id":"sha256:a86be62e2450bfa2074598949539d4f7fe66b8853a5acb983ba428e0422c0210","target":"graph","created_at":"2026-07-22T00:22:55Z","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/2607.18582/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Mutation analysis has recently reemerged in the context of deep neural networks (DNNs) as a promising, but notoriously costly, approach for assessing test dataset adequacy. Existing techniques speed up DNN mutation testing through lossy approximations that trade efficiency for mutation score accuracy. This paper introduces Mure, the first provably lossless framework for accelerating DNN mutation testing via memoization. Mure is based on the idea that DNN mutants and the original model share substantial redundant computation, so during mutation testing, it executes only the mutated suffixes of ","authors_text":"Ali Ghanbari, Ben Greenman, Sasan Tavakkol, Shibbir Ahmed","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-20T23:41:24Z","title":"Provably Lossless Acceleration of DNN Mutation Testing via Memoization"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.18582","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:7af71c4e79f9fe878aa9ee313ab70b049631ebe4b12739f9f5ff29a729c46e1f","target":"record","created_at":"2026-07-22T00:22:55Z","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":"a59020d7b2e4b7d05667b7fe76afd164504bbffd6fcc9c3e583fd259cb0e7a51","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-20T23:41:24Z","title_canon_sha256":"93080cdf26fd67fe5feb7586eed3a2aa2cc72827b2cd99db55f5dba4317e338e"},"schema_version":"1.0","source":{"id":"2607.18582","kind":"arxiv","version":1}},"canonical_sha256":"e3b3a8995a01ced27f673b184a15adac3915f76fec6b1cd259eaff45563cb81a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e3b3a8995a01ced27f673b184a15adac3915f76fec6b1cd259eaff45563cb81a","first_computed_at":"2026-07-22T00:22:55.326100Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-22T00:22:55.326100Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5Z2m5E5nUs7Bz3csa6cy6xgi4agJiywXnxoYRj6v48gzZDEkuvjBL1sdF6cqMFQU2L83X3DQBP9Tto72jfqnCg==","signature_status":"signed_v1","signed_at":"2026-07-22T00:22:55.326904Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.18582","source_kind":"arxiv","source_version":1}}},"equivocations":[{"signer_id":"pith.science","event_type":"integrity_finding","target":"integrity","event_ids":["sha256:0bd2b5360290f04da6e1eb285fc246f3b61435666e2ca731e93cccf2b553a405","sha256:4bc0d91761c9a3fc24e93054de4a96e598ac037e7edce4a43d22fa7f16332763"]}],"invalid_events":[],"applied_event_ids":["sha256:7af71c4e79f9fe878aa9ee313ab70b049631ebe4b12739f9f5ff29a729c46e1f","sha256:a86be62e2450bfa2074598949539d4f7fe66b8853a5acb983ba428e0422c0210"],"state_sha256":"e36e05665a69f6cf2a9a285cf5ea37f3c76c5260d362667f14f07952db552b90"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fSwyIhqiZJK2Q8QLN1hPLUpRFKuDwg9pCBRFAPkMAxkHrBLiVGB7l+pYdP0yghv5xciPvWXSm+IQ2H4xmE2aCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T22:53:33.044306Z","bundle_sha256":"3757958472cf4d72e88e951cdb81456d6bbd0846c99b8cd5fa22ff0f0d9ebd38"}}