{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2022:JUVAYI5WRMCXNT526TOOLJNG47","short_pith_number":"pith:JUVAYI5W","schema_version":"1.0","canonical_sha256":"4d2a0c23b68b0576cfbaf4dce5a5a6e7fc752f9115546ebb0cbc4a5f77458c1d","source":{"kind":"arxiv","id":"2204.07185","version":2},"attestation_state":"computed","paper":{"title":"This Is the Moment for Probabilistic Loops","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Ezio Bartocci, Laura Kov\\'acs, Marcel Moosbrugger, Miroslav Stankovi\\v{c}","submitted_at":"2022-04-14T18:33:45Z","abstract_excerpt":"We present a novel static analysis technique to derive higher moments for program variables for a large class of probabilistic loops with potentially uncountable state spaces. Our approach is fully automatic, meaning it does not rely on externally provided invariants or templates. We employ algebraic techniques based on linear recurrences and introduce program transformations to simplify probabilistic programs while preserving their statistical properties. We develop power reduction techniques to further simplify the polynomial arithmetic of probabilistic programs and define the theory of mome"},"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":"2204.07185","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2022-04-14T18:33:45Z","cross_cats_sorted":[],"title_canon_sha256":"e184e9725f54fcc5ecf046272b89252d64e15d37c300d4fd6eadd102f45199b3","abstract_canon_sha256":"15ea936c0021949e4ab8166a2136d64a43d7f0170b3766f724080721698cc306"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:26:40.031097Z","signature_b64":"WGfBh+dU/u+l0TUlFVCRG3VI+neIX8MNr+KU+FEH/CTIJni1xdC5ywrKhFEYkdxu4C7ZtO/iUkqn5H3uyI1LDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4d2a0c23b68b0576cfbaf4dce5a5a6e7fc752f9115546ebb0cbc4a5f77458c1d","last_reissued_at":"2026-07-05T05:26:40.030626Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:26:40.030626Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"This Is the Moment for Probabilistic Loops","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Ezio Bartocci, Laura Kov\\'acs, Marcel Moosbrugger, Miroslav Stankovi\\v{c}","submitted_at":"2022-04-14T18:33:45Z","abstract_excerpt":"We present a novel static analysis technique to derive higher moments for program variables for a large class of probabilistic loops with potentially uncountable state spaces. Our approach is fully automatic, meaning it does not rely on externally provided invariants or templates. We employ algebraic techniques based on linear recurrences and introduce program transformations to simplify probabilistic programs while preserving their statistical properties. We develop power reduction techniques to further simplify the polynomial arithmetic of probabilistic programs and define the theory of mome"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2204.07185","kind":"arxiv","version":2},"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/2204.07185/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":"2204.07185","created_at":"2026-07-05T05:26:40.030685+00:00"},{"alias_kind":"arxiv_version","alias_value":"2204.07185v2","created_at":"2026-07-05T05:26:40.030685+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2204.07185","created_at":"2026-07-05T05:26:40.030685+00:00"},{"alias_kind":"pith_short_12","alias_value":"JUVAYI5WRMCX","created_at":"2026-07-05T05:26:40.030685+00:00"},{"alias_kind":"pith_short_16","alias_value":"JUVAYI5WRMCXNT52","created_at":"2026-07-05T05:26:40.030685+00:00"},{"alias_kind":"pith_short_8","alias_value":"JUVAYI5W","created_at":"2026-07-05T05:26:40.030685+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/JUVAYI5WRMCXNT526TOOLJNG47","json":"https://pith.science/pith/JUVAYI5WRMCXNT526TOOLJNG47.json","graph_json":"https://pith.science/api/pith-number/JUVAYI5WRMCXNT526TOOLJNG47/graph.json","events_json":"https://pith.science/api/pith-number/JUVAYI5WRMCXNT526TOOLJNG47/events.json","paper":"https://pith.science/paper/JUVAYI5W"},"agent_actions":{"view_html":"https://pith.science/pith/JUVAYI5WRMCXNT526TOOLJNG47","download_json":"https://pith.science/pith/JUVAYI5WRMCXNT526TOOLJNG47.json","view_paper":"https://pith.science/paper/JUVAYI5W","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2204.07185&json=true","fetch_graph":"https://pith.science/api/pith-number/JUVAYI5WRMCXNT526TOOLJNG47/graph.json","fetch_events":"https://pith.science/api/pith-number/JUVAYI5WRMCXNT526TOOLJNG47/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/JUVAYI5WRMCXNT526TOOLJNG47/action/timestamp_anchor","attest_storage":"https://pith.science/pith/JUVAYI5WRMCXNT526TOOLJNG47/action/storage_attestation","attest_author":"https://pith.science/pith/JUVAYI5WRMCXNT526TOOLJNG47/action/author_attestation","sign_citation":"https://pith.science/pith/JUVAYI5WRMCXNT526TOOLJNG47/action/citation_signature","submit_replication":"https://pith.science/pith/JUVAYI5WRMCXNT526TOOLJNG47/action/replication_record"}},"created_at":"2026-07-05T05:26:40.030685+00:00","updated_at":"2026-07-05T05:26:40.030685+00:00"}