{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:D2XIOZX44I76QVEI5BKBVQKEIR","short_pith_number":"pith:D2XIOZX4","schema_version":"1.0","canonical_sha256":"1eae8766fce23fe85488e8541ac144444a6a158f61931634bfc142411d7f3939","source":{"kind":"arxiv","id":"1902.04744","version":3},"attestation_state":"computed","paper":{"title":"Proving Expected Sensitivity of Probabilistic Programs with Randomized Variable-Dependent Termination Time","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Hongfei Fu, Krishnendu Chatterjee, Ming Xu, Peixin Wang, Yuxin Deng","submitted_at":"2019-02-13T05:32:09Z","abstract_excerpt":"The notion of program sensitivity (aka Lipschitz continuity) specifies that changes in the program input result in proportional changes to the program output. For probabilistic programs the notion is naturally extended to expected sensitivity. A previous approach develops a relational program logic framework for proving expected sensitivity of probabilistic while loops, where the number of iterations is fixed and bounded. In this work, we consider probabilistic while loops where the number of iterations is not fixed, but randomized and depends on the initial input values. We present a sound ap"},"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":"1902.04744","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-02-13T05:32:09Z","cross_cats_sorted":[],"title_canon_sha256":"4c78e3ebb4e4f4ea00255b8baf2f9805a63ca47f34ecb3e14271496119555655","abstract_canon_sha256":"19d808bf9dca71eff008e3ea72592eca0ce44eac050d560943f1bcecbbf411e2"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:15:02.876347Z","signature_b64":"0ZsQv9vzMxSKDF3fA2KgSzM2iy2+//rJxlQ7kWCOt090qlxvaFfHptqabW61G0nIp4LR/ZsSjP+DXMJ7jXwvDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1eae8766fce23fe85488e8541ac144444a6a158f61931634bfc142411d7f3939","last_reissued_at":"2026-07-05T00:15:02.875677Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:15:02.875677Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Proving Expected Sensitivity of Probabilistic Programs with Randomized Variable-Dependent Termination Time","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Hongfei Fu, Krishnendu Chatterjee, Ming Xu, Peixin Wang, Yuxin Deng","submitted_at":"2019-02-13T05:32:09Z","abstract_excerpt":"The notion of program sensitivity (aka Lipschitz continuity) specifies that changes in the program input result in proportional changes to the program output. For probabilistic programs the notion is naturally extended to expected sensitivity. A previous approach develops a relational program logic framework for proving expected sensitivity of probabilistic while loops, where the number of iterations is fixed and bounded. In this work, we consider probabilistic while loops where the number of iterations is not fixed, but randomized and depends on the initial input values. We present a sound ap"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.04744","kind":"arxiv","version":3},"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/1902.04744/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":"1902.04744","created_at":"2026-07-05T00:15:02.875734+00:00"},{"alias_kind":"arxiv_version","alias_value":"1902.04744v3","created_at":"2026-07-05T00:15:02.875734+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.04744","created_at":"2026-07-05T00:15:02.875734+00:00"},{"alias_kind":"pith_short_12","alias_value":"D2XIOZX44I76","created_at":"2026-07-05T00:15:02.875734+00:00"},{"alias_kind":"pith_short_16","alias_value":"D2XIOZX44I76QVEI","created_at":"2026-07-05T00:15:02.875734+00:00"},{"alias_kind":"pith_short_8","alias_value":"D2XIOZX4","created_at":"2026-07-05T00:15:02.875734+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/D2XIOZX44I76QVEI5BKBVQKEIR","json":"https://pith.science/pith/D2XIOZX44I76QVEI5BKBVQKEIR.json","graph_json":"https://pith.science/api/pith-number/D2XIOZX44I76QVEI5BKBVQKEIR/graph.json","events_json":"https://pith.science/api/pith-number/D2XIOZX44I76QVEI5BKBVQKEIR/events.json","paper":"https://pith.science/paper/D2XIOZX4"},"agent_actions":{"view_html":"https://pith.science/pith/D2XIOZX44I76QVEI5BKBVQKEIR","download_json":"https://pith.science/pith/D2XIOZX44I76QVEI5BKBVQKEIR.json","view_paper":"https://pith.science/paper/D2XIOZX4","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1902.04744&json=true","fetch_graph":"https://pith.science/api/pith-number/D2XIOZX44I76QVEI5BKBVQKEIR/graph.json","fetch_events":"https://pith.science/api/pith-number/D2XIOZX44I76QVEI5BKBVQKEIR/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/D2XIOZX44I76QVEI5BKBVQKEIR/action/timestamp_anchor","attest_storage":"https://pith.science/pith/D2XIOZX44I76QVEI5BKBVQKEIR/action/storage_attestation","attest_author":"https://pith.science/pith/D2XIOZX44I76QVEI5BKBVQKEIR/action/author_attestation","sign_citation":"https://pith.science/pith/D2XIOZX44I76QVEI5BKBVQKEIR/action/citation_signature","submit_replication":"https://pith.science/pith/D2XIOZX44I76QVEI5BKBVQKEIR/action/replication_record"}},"created_at":"2026-07-05T00:15:02.875734+00:00","updated_at":"2026-07-05T00:15:02.875734+00:00"}