{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:IFDINOW7UNJCOZM4EUUD6VQG5H","short_pith_number":"pith:IFDINOW7","canonical_record":{"source":{"id":"2209.07490","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2022-09-15T17:31:02Z","cross_cats_sorted":[],"title_canon_sha256":"c57c4fceff5109ada18ca9739d9cca264ce2fc9f453fd0d1ee89c8d2441551a6","abstract_canon_sha256":"003a1e2a195d2a419299dfd18a5b7185908117795089e72fca2dab4c1b8734b8"},"schema_version":"1.0"},"canonical_sha256":"414686badfa35227659c25283f5606e9c092bc1b4916c4a2c221f94567345efd","source":{"kind":"arxiv","id":"2209.07490","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2209.07490","created_at":"2026-07-05T05:13:37Z"},{"alias_kind":"arxiv_version","alias_value":"2209.07490v2","created_at":"2026-07-05T05:13:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2209.07490","created_at":"2026-07-05T05:13:37Z"},{"alias_kind":"pith_short_12","alias_value":"IFDINOW7UNJC","created_at":"2026-07-05T05:13:37Z"},{"alias_kind":"pith_short_16","alias_value":"IFDINOW7UNJCOZM4","created_at":"2026-07-05T05:13:37Z"},{"alias_kind":"pith_short_8","alias_value":"IFDINOW7","created_at":"2026-07-05T05:13:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:IFDINOW7UNJCOZM4EUUD6VQG5H","target":"record","payload":{"canonical_record":{"source":{"id":"2209.07490","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2022-09-15T17:31:02Z","cross_cats_sorted":[],"title_canon_sha256":"c57c4fceff5109ada18ca9739d9cca264ce2fc9f453fd0d1ee89c8d2441551a6","abstract_canon_sha256":"003a1e2a195d2a419299dfd18a5b7185908117795089e72fca2dab4c1b8734b8"},"schema_version":"1.0"},"canonical_sha256":"414686badfa35227659c25283f5606e9c092bc1b4916c4a2c221f94567345efd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:13:37.571719Z","signature_b64":"/bQI+1ATUujs2U8VPydEAmJOnNChFTXBvlcoP4y/0CiNvcRK0QC8Vgw+/9dVwdZLMcirLinvQ4Iay11iksJ8DA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"414686badfa35227659c25283f5606e9c092bc1b4916c4a2c221f94567345efd","last_reissued_at":"2026-07-05T05:13:37.571232Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:13:37.571232Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2209.07490","source_version":2,"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-05T05:13:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"a76u7fyIg6zscChK1SyLTbvwpQdXR03/u4iEqqZOS7yzpbS/sBasBujMkTt3oPAq5fWtyK2UKBzcQ7yfF6mQBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T11:34:43.334124Z"},"content_sha256":"8994d2079130ab36d4e2aa00b9cb58cadc2a991c457a732850348642c3f8acca","schema_version":"1.0","event_id":"sha256:8994d2079130ab36d4e2aa00b9cb58cadc2a991c457a732850348642c3f8acca"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:IFDINOW7UNJCOZM4EUUD6VQG5H","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Semi-Symbolic Inference for Efficient Streaming Probabilistic Programming","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Charles Yuan, Eric Atkinson, Guillaume Baudart, Louis Mandel, Michael Carbin","submitted_at":"2022-09-15T17:31:02Z","abstract_excerpt":"Efficient inference is often possible in a streaming context using Rao-Blackwellized particle filters (RBPFs), which exactly solve inference problems when possible and fall back on sampling approximations when necessary. While RBPFs can be implemented by hand to provide efficient inference, the goal of streaming probabilistic programming is to automatically generate such efficient inference implementations given input probabilistic programs.\n  In this work, we propose semi-symbolic inference, a technique for executing probabilistic programs using a runtime inference system that automatically i"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2209.07490","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/2209.07490/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-05T05:13:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"W25fOMvbpC0gSiNvjtwzqD0ivmjSnLrCbvF6rVV6vAHuVEIXfk63jDEg/TAz/UejNxYIsfnXadWpXsopefJNCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T11:34:43.334516Z"},"content_sha256":"139090a19bd312dd4517aaccb3f529db80cdb25ee3cd46151a6b5fb4dc9052f1","schema_version":"1.0","event_id":"sha256:139090a19bd312dd4517aaccb3f529db80cdb25ee3cd46151a6b5fb4dc9052f1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IFDINOW7UNJCOZM4EUUD6VQG5H/bundle.json","state_url":"https://pith.science/pith/IFDINOW7UNJCOZM4EUUD6VQG5H/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IFDINOW7UNJCOZM4EUUD6VQG5H/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-07-07T11:34:43Z","links":{"resolver":"https://pith.science/pith/IFDINOW7UNJCOZM4EUUD6VQG5H","bundle":"https://pith.science/pith/IFDINOW7UNJCOZM4EUUD6VQG5H/bundle.json","state":"https://pith.science/pith/IFDINOW7UNJCOZM4EUUD6VQG5H/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IFDINOW7UNJCOZM4EUUD6VQG5H/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:IFDINOW7UNJCOZM4EUUD6VQG5H","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":"003a1e2a195d2a419299dfd18a5b7185908117795089e72fca2dab4c1b8734b8","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2022-09-15T17:31:02Z","title_canon_sha256":"c57c4fceff5109ada18ca9739d9cca264ce2fc9f453fd0d1ee89c8d2441551a6"},"schema_version":"1.0","source":{"id":"2209.07490","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2209.07490","created_at":"2026-07-05T05:13:37Z"},{"alias_kind":"arxiv_version","alias_value":"2209.07490v2","created_at":"2026-07-05T05:13:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2209.07490","created_at":"2026-07-05T05:13:37Z"},{"alias_kind":"pith_short_12","alias_value":"IFDINOW7UNJC","created_at":"2026-07-05T05:13:37Z"},{"alias_kind":"pith_short_16","alias_value":"IFDINOW7UNJCOZM4","created_at":"2026-07-05T05:13:37Z"},{"alias_kind":"pith_short_8","alias_value":"IFDINOW7","created_at":"2026-07-05T05:13:37Z"}],"graph_snapshots":[{"event_id":"sha256:139090a19bd312dd4517aaccb3f529db80cdb25ee3cd46151a6b5fb4dc9052f1","target":"graph","created_at":"2026-07-05T05:13:37Z","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/2209.07490/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Efficient inference is often possible in a streaming context using Rao-Blackwellized particle filters (RBPFs), which exactly solve inference problems when possible and fall back on sampling approximations when necessary. While RBPFs can be implemented by hand to provide efficient inference, the goal of streaming probabilistic programming is to automatically generate such efficient inference implementations given input probabilistic programs.\n  In this work, we propose semi-symbolic inference, a technique for executing probabilistic programs using a runtime inference system that automatically i","authors_text":"Charles Yuan, Eric Atkinson, Guillaume Baudart, Louis Mandel, Michael Carbin","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2022-09-15T17:31:02Z","title":"Semi-Symbolic Inference for Efficient Streaming Probabilistic Programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2209.07490","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:8994d2079130ab36d4e2aa00b9cb58cadc2a991c457a732850348642c3f8acca","target":"record","created_at":"2026-07-05T05:13:37Z","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":"003a1e2a195d2a419299dfd18a5b7185908117795089e72fca2dab4c1b8734b8","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2022-09-15T17:31:02Z","title_canon_sha256":"c57c4fceff5109ada18ca9739d9cca264ce2fc9f453fd0d1ee89c8d2441551a6"},"schema_version":"1.0","source":{"id":"2209.07490","kind":"arxiv","version":2}},"canonical_sha256":"414686badfa35227659c25283f5606e9c092bc1b4916c4a2c221f94567345efd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"414686badfa35227659c25283f5606e9c092bc1b4916c4a2c221f94567345efd","first_computed_at":"2026-07-05T05:13:37.571232Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:13:37.571232Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/bQI+1ATUujs2U8VPydEAmJOnNChFTXBvlcoP4y/0CiNvcRK0QC8Vgw+/9dVwdZLMcirLinvQ4Iay11iksJ8DA==","signature_status":"signed_v1","signed_at":"2026-07-05T05:13:37.571719Z","signed_message":"canonical_sha256_bytes"},"source_id":"2209.07490","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8994d2079130ab36d4e2aa00b9cb58cadc2a991c457a732850348642c3f8acca","sha256:139090a19bd312dd4517aaccb3f529db80cdb25ee3cd46151a6b5fb4dc9052f1"],"state_sha256":"7f6c11aad53f611fcf54a4724f97622629ba41faaf7fbd4bc7726925b22103f7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SKN9nY7NBDr6eWZPOJgRR9Ya5QlZoqUxCbFoaLxyx81GCk3vZuju4B+Zfjp0OJZEJwO6jQSCgeBbOOPnxUcRAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T11:34:43.336424Z","bundle_sha256":"792220e8158d61477b86efc0f63961ca6a631c5366b4d22f7acafcca78a9a509"}}