{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:Q6C4ARNHXE5WZMCHBPOWJ4TYOL","short_pith_number":"pith:Q6C4ARNH","canonical_record":{"source":{"id":"2408.11283","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2024-08-21T02:07:03Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"6a8d0aac1f4f3a2f6ca6467a909b0ff40aaee2fdd2aa44074b9d95ee2fe872c1","abstract_canon_sha256":"0930230a0300466104fe471211869e944fcdd9876e352dc381ea072cba7e7ddd"},"schema_version":"1.0"},"canonical_sha256":"8785c045a7b93b6cb0470bdd64f27872e59e92d3742aca6d46867c6fa0408533","source":{"kind":"arxiv","id":"2408.11283","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2408.11283","created_at":"2026-07-05T09:49:09Z"},{"alias_kind":"arxiv_version","alias_value":"2408.11283v2","created_at":"2026-07-05T09:49:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2408.11283","created_at":"2026-07-05T09:49:09Z"},{"alias_kind":"pith_short_12","alias_value":"Q6C4ARNHXE5W","created_at":"2026-07-05T09:49:09Z"},{"alias_kind":"pith_short_16","alias_value":"Q6C4ARNHXE5WZMCH","created_at":"2026-07-05T09:49:09Z"},{"alias_kind":"pith_short_8","alias_value":"Q6C4ARNH","created_at":"2026-07-05T09:49:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:Q6C4ARNHXE5WZMCHBPOWJ4TYOL","target":"record","payload":{"canonical_record":{"source":{"id":"2408.11283","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2024-08-21T02:07:03Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"6a8d0aac1f4f3a2f6ca6467a909b0ff40aaee2fdd2aa44074b9d95ee2fe872c1","abstract_canon_sha256":"0930230a0300466104fe471211869e944fcdd9876e352dc381ea072cba7e7ddd"},"schema_version":"1.0"},"canonical_sha256":"8785c045a7b93b6cb0470bdd64f27872e59e92d3742aca6d46867c6fa0408533","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:49:09.165631Z","signature_b64":"IwPPGslNrM6rjjycC6sctxC6AYBzhl23HXH0nssGNqq8B2wMk1cUL0l727Aq8LfIJ2QQWL0WUyJjZnJysAeCBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8785c045a7b93b6cb0470bdd64f27872e59e92d3742aca6d46867c6fa0408533","last_reissued_at":"2026-07-05T09:49:09.165162Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:49:09.165162Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2408.11283","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-05T09:49:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HzC19GFK3c7j2/xNkQ7OkFoE0NNqN1eumoJ4Iv7agxbGT3Avo7dqnZqm8H5Mo5ZUdm2eXoW/BF8XY9r8XTm3Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T06:55:46.954029Z"},"content_sha256":"b626ed64176e7fca808de9916185a12a217bfa55d56ac6af7a7fdee335f0dab4","schema_version":"1.0","event_id":"sha256:b626ed64176e7fca808de9916185a12a217bfa55d56ac6af7a7fdee335f0dab4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:Q6C4ARNHXE5WZMCHBPOWJ4TYOL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Inference Plans for Hybrid Particle Filtering","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.PL","authors_text":"Ellie Y. Cheng, Eric Atkinson, Guillaume Baudart, Louis Mandel, Michael Carbin","submitted_at":"2024-08-21T02:07:03Z","abstract_excerpt":"Advanced probabilistic programming languages (PPLs) using hybrid particle filtering combine symbolic exact inference and Monte Carlo methods to improve inference performance. These systems use heuristics to partition random variables within the program into variables that are encoded symbolically and variables that are encoded with sampled values, and the heuristics are not necessarily aligned with the developer's performance evaluation metrics. In this work, we present inference plans, a programming interface that enables developers to control the partitioning of random variables during hybri"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2408.11283","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/2408.11283/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-05T09:49:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"onIhhikn8XjAJfYhKcB0L+pqx20g7Mwkh/7nhGYXLH3DE05FunCGOhBjXIqJWNXpry+mgRf4+dthRQIMfsS0Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T06:55:46.954418Z"},"content_sha256":"33a7e8eb3963c98f7a59128dcef3d908ba6aafe605c31652a1a2f0650d336acd","schema_version":"1.0","event_id":"sha256:33a7e8eb3963c98f7a59128dcef3d908ba6aafe605c31652a1a2f0650d336acd"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/Q6C4ARNHXE5WZMCHBPOWJ4TYOL/bundle.json","state_url":"https://pith.science/pith/Q6C4ARNHXE5WZMCHBPOWJ4TYOL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/Q6C4ARNHXE5WZMCHBPOWJ4TYOL/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-07T06:55:46Z","links":{"resolver":"https://pith.science/pith/Q6C4ARNHXE5WZMCHBPOWJ4TYOL","bundle":"https://pith.science/pith/Q6C4ARNHXE5WZMCHBPOWJ4TYOL/bundle.json","state":"https://pith.science/pith/Q6C4ARNHXE5WZMCHBPOWJ4TYOL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/Q6C4ARNHXE5WZMCHBPOWJ4TYOL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:Q6C4ARNHXE5WZMCHBPOWJ4TYOL","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":"0930230a0300466104fe471211869e944fcdd9876e352dc381ea072cba7e7ddd","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2024-08-21T02:07:03Z","title_canon_sha256":"6a8d0aac1f4f3a2f6ca6467a909b0ff40aaee2fdd2aa44074b9d95ee2fe872c1"},"schema_version":"1.0","source":{"id":"2408.11283","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2408.11283","created_at":"2026-07-05T09:49:09Z"},{"alias_kind":"arxiv_version","alias_value":"2408.11283v2","created_at":"2026-07-05T09:49:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2408.11283","created_at":"2026-07-05T09:49:09Z"},{"alias_kind":"pith_short_12","alias_value":"Q6C4ARNHXE5W","created_at":"2026-07-05T09:49:09Z"},{"alias_kind":"pith_short_16","alias_value":"Q6C4ARNHXE5WZMCH","created_at":"2026-07-05T09:49:09Z"},{"alias_kind":"pith_short_8","alias_value":"Q6C4ARNH","created_at":"2026-07-05T09:49:09Z"}],"graph_snapshots":[{"event_id":"sha256:33a7e8eb3963c98f7a59128dcef3d908ba6aafe605c31652a1a2f0650d336acd","target":"graph","created_at":"2026-07-05T09:49:09Z","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/2408.11283/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Advanced probabilistic programming languages (PPLs) using hybrid particle filtering combine symbolic exact inference and Monte Carlo methods to improve inference performance. These systems use heuristics to partition random variables within the program into variables that are encoded symbolically and variables that are encoded with sampled values, and the heuristics are not necessarily aligned with the developer's performance evaluation metrics. In this work, we present inference plans, a programming interface that enables developers to control the partitioning of random variables during hybri","authors_text":"Ellie Y. Cheng, Eric Atkinson, Guillaume Baudart, Louis Mandel, Michael Carbin","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2024-08-21T02:07:03Z","title":"Inference Plans for Hybrid Particle Filtering"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2408.11283","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:b626ed64176e7fca808de9916185a12a217bfa55d56ac6af7a7fdee335f0dab4","target":"record","created_at":"2026-07-05T09:49:09Z","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":"0930230a0300466104fe471211869e944fcdd9876e352dc381ea072cba7e7ddd","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2024-08-21T02:07:03Z","title_canon_sha256":"6a8d0aac1f4f3a2f6ca6467a909b0ff40aaee2fdd2aa44074b9d95ee2fe872c1"},"schema_version":"1.0","source":{"id":"2408.11283","kind":"arxiv","version":2}},"canonical_sha256":"8785c045a7b93b6cb0470bdd64f27872e59e92d3742aca6d46867c6fa0408533","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8785c045a7b93b6cb0470bdd64f27872e59e92d3742aca6d46867c6fa0408533","first_computed_at":"2026-07-05T09:49:09.165162Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:49:09.165162Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"IwPPGslNrM6rjjycC6sctxC6AYBzhl23HXH0nssGNqq8B2wMk1cUL0l727Aq8LfIJ2QQWL0WUyJjZnJysAeCBg==","signature_status":"signed_v1","signed_at":"2026-07-05T09:49:09.165631Z","signed_message":"canonical_sha256_bytes"},"source_id":"2408.11283","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b626ed64176e7fca808de9916185a12a217bfa55d56ac6af7a7fdee335f0dab4","sha256:33a7e8eb3963c98f7a59128dcef3d908ba6aafe605c31652a1a2f0650d336acd"],"state_sha256":"62da00afeccfd45d71eeb7630b9923d7efe326d95ab6443946d4e81f0e3fa0ca"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AcaRxv41O5TGWmQcFy+eHS8U/8jX75APBZEEyYGlfqJ6EaI82xa38Q4Q5Wkmta/AZiRncbizB7yOe/KCjwxjCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T06:55:46.956468Z","bundle_sha256":"6e378396aa4c078c6de47202e0088aebb7eea85ac37760e42eda2db34ffdf739"}}