{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:KJA6WNOQS2VXGZFVBCAO4FCSUD","short_pith_number":"pith:KJA6WNOQ","canonical_record":{"source":{"id":"1403.0504","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-03-03T18:08:57Z","cross_cats_sorted":["cs.PL","stat.ML"],"title_canon_sha256":"226964264acfa49a07fc39a610d4d293b63d224a5e7c8bab619fae13bae262f7","abstract_canon_sha256":"8c57115524c2c4c55f5f7e8c1d994833e11e4b70d7a2aa752f44ec50f701fb33"},"schema_version":"1.0"},"canonical_sha256":"5241eb35d096ab7364b50880ee1452a0c24fd0a50f29149ab4368665f0a3c29e","source":{"kind":"arxiv","id":"1403.0504","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1403.0504","created_at":"2026-05-18T02:48:00Z"},{"alias_kind":"arxiv_version","alias_value":"1403.0504v2","created_at":"2026-05-18T02:48:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1403.0504","created_at":"2026-05-18T02:48:00Z"},{"alias_kind":"pith_short_12","alias_value":"KJA6WNOQS2VX","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_16","alias_value":"KJA6WNOQS2VXGZFV","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_8","alias_value":"KJA6WNOQ","created_at":"2026-05-18T12:28:35Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:KJA6WNOQS2VXGZFVBCAO4FCSUD","target":"record","payload":{"canonical_record":{"source":{"id":"1403.0504","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-03-03T18:08:57Z","cross_cats_sorted":["cs.PL","stat.ML"],"title_canon_sha256":"226964264acfa49a07fc39a610d4d293b63d224a5e7c8bab619fae13bae262f7","abstract_canon_sha256":"8c57115524c2c4c55f5f7e8c1d994833e11e4b70d7a2aa752f44ec50f701fb33"},"schema_version":"1.0"},"canonical_sha256":"5241eb35d096ab7364b50880ee1452a0c24fd0a50f29149ab4368665f0a3c29e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:48:00.778659Z","signature_b64":"4GFha9LMP6mQmyD+V7U2gZCFN5YqdYTG56uj7iJ5RDK0iwzTLC/gzJII5dEVW3LzZqlym0nYB3oDSpqV7hYVDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5241eb35d096ab7364b50880ee1452a0c24fd0a50f29149ab4368665f0a3c29e","last_reissued_at":"2026-05-18T02:48:00.777932Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:48:00.777932Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1403.0504","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-05-18T02:48:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"h/AqqeqKhvekHtp2o6waU+q/cUm6zIWMwuUQthR+57vs1gYvK4eK9s/VhOneruWwfhXCPIyM9vJS9+pqEihcDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T19:49:04.904031Z"},"content_sha256":"91578d8ae3bf459eb99d6d6956a2eba96a528c2a9518c20f105a2f0b5b37d563","schema_version":"1.0","event_id":"sha256:91578d8ae3bf459eb99d6d6956a2eba96a528c2a9518c20f105a2f0b5b37d563"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:KJA6WNOQS2VXGZFVBCAO4FCSUD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Compilation Target for Probabilistic Programming Languages","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL","stat.ML"],"primary_cat":"cs.AI","authors_text":"Brooks Paige, Frank Wood","submitted_at":"2014-03-03T18:08:57Z","abstract_excerpt":"Forward inference techniques such as sequential Monte Carlo and particle Markov chain Monte Carlo for probabilistic programming can be implemented in any programming language by creative use of standardized operating system functionality including processes, forking, mutexes, and shared memory. Exploiting this we have defined, developed, and tested a probabilistic programming language intermediate representation language we call probabilistic C, which itself can be compiled to machine code by standard compilers and linked to operating system libraries yielding an efficient, scalable, portable "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1403.0504","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":""},"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-05-18T02:48:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sm5fjq+MRiuxGMXm6Q0vSzOBfNxPZniQh+VWpPQVFWsjg0pTv2O9KBk/717uaqr4rMXqB8hDyf5mFLMu//sPBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T19:49:04.904699Z"},"content_sha256":"9f159b8d8f27d52837a9f889be1c5f0c4987f7b59c2b0eae3d1755a7f7c6a6aa","schema_version":"1.0","event_id":"sha256:9f159b8d8f27d52837a9f889be1c5f0c4987f7b59c2b0eae3d1755a7f7c6a6aa"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KJA6WNOQS2VXGZFVBCAO4FCSUD/bundle.json","state_url":"https://pith.science/pith/KJA6WNOQS2VXGZFVBCAO4FCSUD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KJA6WNOQS2VXGZFVBCAO4FCSUD/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-05-27T19:49:04Z","links":{"resolver":"https://pith.science/pith/KJA6WNOQS2VXGZFVBCAO4FCSUD","bundle":"https://pith.science/pith/KJA6WNOQS2VXGZFVBCAO4FCSUD/bundle.json","state":"https://pith.science/pith/KJA6WNOQS2VXGZFVBCAO4FCSUD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KJA6WNOQS2VXGZFVBCAO4FCSUD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:KJA6WNOQS2VXGZFVBCAO4FCSUD","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":"8c57115524c2c4c55f5f7e8c1d994833e11e4b70d7a2aa752f44ec50f701fb33","cross_cats_sorted":["cs.PL","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-03-03T18:08:57Z","title_canon_sha256":"226964264acfa49a07fc39a610d4d293b63d224a5e7c8bab619fae13bae262f7"},"schema_version":"1.0","source":{"id":"1403.0504","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1403.0504","created_at":"2026-05-18T02:48:00Z"},{"alias_kind":"arxiv_version","alias_value":"1403.0504v2","created_at":"2026-05-18T02:48:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1403.0504","created_at":"2026-05-18T02:48:00Z"},{"alias_kind":"pith_short_12","alias_value":"KJA6WNOQS2VX","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_16","alias_value":"KJA6WNOQS2VXGZFV","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_8","alias_value":"KJA6WNOQ","created_at":"2026-05-18T12:28:35Z"}],"graph_snapshots":[{"event_id":"sha256:9f159b8d8f27d52837a9f889be1c5f0c4987f7b59c2b0eae3d1755a7f7c6a6aa","target":"graph","created_at":"2026-05-18T02:48:00Z","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":"Forward inference techniques such as sequential Monte Carlo and particle Markov chain Monte Carlo for probabilistic programming can be implemented in any programming language by creative use of standardized operating system functionality including processes, forking, mutexes, and shared memory. Exploiting this we have defined, developed, and tested a probabilistic programming language intermediate representation language we call probabilistic C, which itself can be compiled to machine code by standard compilers and linked to operating system libraries yielding an efficient, scalable, portable ","authors_text":"Brooks Paige, Frank Wood","cross_cats":["cs.PL","stat.ML"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-03-03T18:08:57Z","title":"A Compilation Target for Probabilistic Programming Languages"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1403.0504","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:91578d8ae3bf459eb99d6d6956a2eba96a528c2a9518c20f105a2f0b5b37d563","target":"record","created_at":"2026-05-18T02:48:00Z","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":"8c57115524c2c4c55f5f7e8c1d994833e11e4b70d7a2aa752f44ec50f701fb33","cross_cats_sorted":["cs.PL","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-03-03T18:08:57Z","title_canon_sha256":"226964264acfa49a07fc39a610d4d293b63d224a5e7c8bab619fae13bae262f7"},"schema_version":"1.0","source":{"id":"1403.0504","kind":"arxiv","version":2}},"canonical_sha256":"5241eb35d096ab7364b50880ee1452a0c24fd0a50f29149ab4368665f0a3c29e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5241eb35d096ab7364b50880ee1452a0c24fd0a50f29149ab4368665f0a3c29e","first_computed_at":"2026-05-18T02:48:00.777932Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:48:00.777932Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"4GFha9LMP6mQmyD+V7U2gZCFN5YqdYTG56uj7iJ5RDK0iwzTLC/gzJII5dEVW3LzZqlym0nYB3oDSpqV7hYVDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:48:00.778659Z","signed_message":"canonical_sha256_bytes"},"source_id":"1403.0504","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:91578d8ae3bf459eb99d6d6956a2eba96a528c2a9518c20f105a2f0b5b37d563","sha256:9f159b8d8f27d52837a9f889be1c5f0c4987f7b59c2b0eae3d1755a7f7c6a6aa"],"state_sha256":"16a91442ad386c469eee1efd222c7c8dd8fd143d2c3ea8e199e17625227f3b86"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"f02+a6Gu1Qdj90yzEtxZYRbUwqFUVAb1TWLc0jtvGaUvV1t11ZsPngXf/C0Z9UItCOsb+QKnP0li8C2NdInzAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T19:49:04.908147Z","bundle_sha256":"d3bcce419f153dd923dc127e5bb293da763b3d28795288a720482c3f73eafce1"}}