{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:CHFYXBXA65G744D5D5AML26OOE","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":"92b23c0dbeedaf9dafaf3ce96396f48f58f29442291e255623c34d11956c0903","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-08-08T15:58:45Z","title_canon_sha256":"f01bf76a1c4c5424b1ee6e4a877c9a280900d84e828e4c5d4a3f5a4ede79017a"},"schema_version":"1.0","source":{"id":"1708.02537","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1708.02537","created_at":"2026-05-18T00:30:57Z"},{"alias_kind":"arxiv_version","alias_value":"1708.02537v2","created_at":"2026-05-18T00:30:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.02537","created_at":"2026-05-18T00:30:57Z"},{"alias_kind":"pith_short_12","alias_value":"CHFYXBXA65G7","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_16","alias_value":"CHFYXBXA65G744D5","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_8","alias_value":"CHFYXBXA","created_at":"2026-05-18T12:31:10Z"}],"graph_snapshots":[{"event_id":"sha256:cbe097946e542f609737ee077b74c6345e70058411b446dd4148399e730dae0e","target":"graph","created_at":"2026-05-18T00:30:57Z","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":"Program sensitivity, also known as Lipschitz continuity, describes how small changes in a program's input lead to bounded changes in the output. We propose an average notion of program sensitivity for probabilistic programs---expected sensitivity---that averages a distance function over a probabilistic coupling of two output distributions from two similar inputs. By varying the distance, expected sensitivity recovers useful notions of probabilistic function sensitivity, including stability of machine learning algorithms and convergence of Markov chains.\n  Furthermore, expected sensitivity sati","authors_text":"Benjamin Gr\\'egoire, Gilles Barthe, Justin Hsu, Pierre-Yves Strub, Thomas Espitau","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-08-08T15:58:45Z","title":"Proving Expected Sensitivity of Probabilistic Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1708.02537","kind":"arxiv","version":2},"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:01d4fb518807c400f26a5248a193d62e0b1e4fe11881884176e66e2ff4bc91f4","target":"record","created_at":"2026-05-18T00:30:57Z","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":"92b23c0dbeedaf9dafaf3ce96396f48f58f29442291e255623c34d11956c0903","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-08-08T15:58:45Z","title_canon_sha256":"f01bf76a1c4c5424b1ee6e4a877c9a280900d84e828e4c5d4a3f5a4ede79017a"},"schema_version":"1.0","source":{"id":"1708.02537","kind":"arxiv","version":2}},"canonical_sha256":"11cb8b86e0f74dfe707d1f40c5ebce710ea907bfc29daa51c749ca1f1925dee6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"11cb8b86e0f74dfe707d1f40c5ebce710ea907bfc29daa51c749ca1f1925dee6","first_computed_at":"2026-05-18T00:30:57.506054Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:30:57.506054Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"kR42/MMyc793Jjvug4CPnNi3m46K50e0Sk74qKdPFC/zZDLn/TtufR5gg4DAIv25EE9yogfK+DoQyzcwbbpzDA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:30:57.506613Z","signed_message":"canonical_sha256_bytes"},"source_id":"1708.02537","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:01d4fb518807c400f26a5248a193d62e0b1e4fe11881884176e66e2ff4bc91f4","sha256:cbe097946e542f609737ee077b74c6345e70058411b446dd4148399e730dae0e"],"state_sha256":"8d09f1447fcaee2d8c159f3160894d0b5c9e4aa14e916a2946a1f202676388a6"}