{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:AMB6GDVGZPBZOE2F7LBIUF67GY","short_pith_number":"pith:AMB6GDVG","canonical_record":{"source":{"id":"1205.2636","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-05-09T15:39:37Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"fa2768ed15f1caddf1f42d909b758f139c1d9b6c44ed95e24fa3c4d6cfdbc85b","abstract_canon_sha256":"4ce4662b65ee82b00c2e4d4e8babefc8e1417a5937f614a359d62a34ed085775"},"schema_version":"1.0"},"canonical_sha256":"0303e30ea6cbc3971345fac28a17df36277eeb48a8e288b66b65e8daf99e6053","source":{"kind":"arxiv","id":"1205.2636","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1205.2636","created_at":"2026-05-18T03:55:47Z"},{"alias_kind":"arxiv_version","alias_value":"1205.2636v1","created_at":"2026-05-18T03:55:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1205.2636","created_at":"2026-05-18T03:55:47Z"},{"alias_kind":"pith_short_12","alias_value":"AMB6GDVGZPBZ","created_at":"2026-05-18T12:26:58Z"},{"alias_kind":"pith_short_16","alias_value":"AMB6GDVGZPBZOE2F","created_at":"2026-05-18T12:26:58Z"},{"alias_kind":"pith_short_8","alias_value":"AMB6GDVG","created_at":"2026-05-18T12:26:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:AMB6GDVGZPBZOE2F7LBIUF67GY","target":"record","payload":{"canonical_record":{"source":{"id":"1205.2636","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-05-09T15:39:37Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"fa2768ed15f1caddf1f42d909b758f139c1d9b6c44ed95e24fa3c4d6cfdbc85b","abstract_canon_sha256":"4ce4662b65ee82b00c2e4d4e8babefc8e1417a5937f614a359d62a34ed085775"},"schema_version":"1.0"},"canonical_sha256":"0303e30ea6cbc3971345fac28a17df36277eeb48a8e288b66b65e8daf99e6053","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:55:47.735486Z","signature_b64":"hbMAfN1xbmgJH6k+qqH7huREuB56NBpHTXwjG42DNx5RyflD5dvyfIy+7MNCEn5GWFo6g4PZBGpjPM3gkSSDBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0303e30ea6cbc3971345fac28a17df36277eeb48a8e288b66b65e8daf99e6053","last_reissued_at":"2026-05-18T03:55:47.734930Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:55:47.734930Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1205.2636","source_version":1,"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-18T03:55:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"G68o9zs6TyN80BLLHFDtKSfQiKeo8SMq0C0c5CErYxNWUuz1E8pG+Le4xxeeSlyjq6EBimj3tj4c3IxPlUE3AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T00:01:40.438473Z"},"content_sha256":"a8414f3154512d9dfd46fae29313f2573b71cee8991d085da0a8e83358c2cd58","schema_version":"1.0","event_id":"sha256:a8414f3154512d9dfd46fae29313f2573b71cee8991d085da0a8e83358c2cd58"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:AMB6GDVGZPBZOE2F7LBIUF67GY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Monolingual Probabilistic Programming Using Generalized Coroutines","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.PL","authors_text":"Chung-chieh Shan, Oleg Kiselyov","submitted_at":"2012-05-09T15:39:37Z","abstract_excerpt":"Probabilistic programming languages and modeling toolkits are two modular ways to build and reuse stochastic models and inference procedures. Combining strengths of both, we express models and inference as generalized coroutines in the same general-purpose language. We use existing facilities of the language, such as rich libraries, optimizing compilers, and types, to develop concise, declarative, and realistic models with competitive performance on exact and approximate inference. In particular, a wide range of models can be expressed using memoization. Because deterministic parts of models r"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1205.2636","kind":"arxiv","version":1},"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-18T03:55:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"w1xb/UbPoorbNVZcw4CFneNS3iGPtGdU6QhKgpq5g5byNhoAGJNbKz0GpMfLRaYiJiu20GN8w2AVs6GjjJs2CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T00:01:40.438830Z"},"content_sha256":"952a1d7d309881e536aa69eab5b00f7e3ece944d5ada2c11335ccc2f30805c08","schema_version":"1.0","event_id":"sha256:952a1d7d309881e536aa69eab5b00f7e3ece944d5ada2c11335ccc2f30805c08"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/AMB6GDVGZPBZOE2F7LBIUF67GY/bundle.json","state_url":"https://pith.science/pith/AMB6GDVGZPBZOE2F7LBIUF67GY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/AMB6GDVGZPBZOE2F7LBIUF67GY/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-28T00:01:40Z","links":{"resolver":"https://pith.science/pith/AMB6GDVGZPBZOE2F7LBIUF67GY","bundle":"https://pith.science/pith/AMB6GDVGZPBZOE2F7LBIUF67GY/bundle.json","state":"https://pith.science/pith/AMB6GDVGZPBZOE2F7LBIUF67GY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/AMB6GDVGZPBZOE2F7LBIUF67GY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:AMB6GDVGZPBZOE2F7LBIUF67GY","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":"4ce4662b65ee82b00c2e4d4e8babefc8e1417a5937f614a359d62a34ed085775","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-05-09T15:39:37Z","title_canon_sha256":"fa2768ed15f1caddf1f42d909b758f139c1d9b6c44ed95e24fa3c4d6cfdbc85b"},"schema_version":"1.0","source":{"id":"1205.2636","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1205.2636","created_at":"2026-05-18T03:55:47Z"},{"alias_kind":"arxiv_version","alias_value":"1205.2636v1","created_at":"2026-05-18T03:55:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1205.2636","created_at":"2026-05-18T03:55:47Z"},{"alias_kind":"pith_short_12","alias_value":"AMB6GDVGZPBZ","created_at":"2026-05-18T12:26:58Z"},{"alias_kind":"pith_short_16","alias_value":"AMB6GDVGZPBZOE2F","created_at":"2026-05-18T12:26:58Z"},{"alias_kind":"pith_short_8","alias_value":"AMB6GDVG","created_at":"2026-05-18T12:26:58Z"}],"graph_snapshots":[{"event_id":"sha256:952a1d7d309881e536aa69eab5b00f7e3ece944d5ada2c11335ccc2f30805c08","target":"graph","created_at":"2026-05-18T03:55:47Z","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":"Probabilistic programming languages and modeling toolkits are two modular ways to build and reuse stochastic models and inference procedures. Combining strengths of both, we express models and inference as generalized coroutines in the same general-purpose language. We use existing facilities of the language, such as rich libraries, optimizing compilers, and types, to develop concise, declarative, and realistic models with competitive performance on exact and approximate inference. In particular, a wide range of models can be expressed using memoization. Because deterministic parts of models r","authors_text":"Chung-chieh Shan, Oleg Kiselyov","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-05-09T15:39:37Z","title":"Monolingual Probabilistic Programming Using Generalized Coroutines"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1205.2636","kind":"arxiv","version":1},"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:a8414f3154512d9dfd46fae29313f2573b71cee8991d085da0a8e83358c2cd58","target":"record","created_at":"2026-05-18T03:55:47Z","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":"4ce4662b65ee82b00c2e4d4e8babefc8e1417a5937f614a359d62a34ed085775","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-05-09T15:39:37Z","title_canon_sha256":"fa2768ed15f1caddf1f42d909b758f139c1d9b6c44ed95e24fa3c4d6cfdbc85b"},"schema_version":"1.0","source":{"id":"1205.2636","kind":"arxiv","version":1}},"canonical_sha256":"0303e30ea6cbc3971345fac28a17df36277eeb48a8e288b66b65e8daf99e6053","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0303e30ea6cbc3971345fac28a17df36277eeb48a8e288b66b65e8daf99e6053","first_computed_at":"2026-05-18T03:55:47.734930Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:55:47.734930Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hbMAfN1xbmgJH6k+qqH7huREuB56NBpHTXwjG42DNx5RyflD5dvyfIy+7MNCEn5GWFo6g4PZBGpjPM3gkSSDBg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:55:47.735486Z","signed_message":"canonical_sha256_bytes"},"source_id":"1205.2636","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a8414f3154512d9dfd46fae29313f2573b71cee8991d085da0a8e83358c2cd58","sha256:952a1d7d309881e536aa69eab5b00f7e3ece944d5ada2c11335ccc2f30805c08"],"state_sha256":"10f7ace3e6ff3588542ba382c1090ebcdccd082097762ff97469b95fd3fceee1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4pqLbZA0NxurFkRJ5WGzfq8F/YGOXS4MKYXTdlcsaLKdKJmiVMQZyBYkZknwz0OUcu6y/Qd8lWfX9HIZT93dAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T00:01:40.441350Z","bundle_sha256":"8e180f9bae5b3124ebeb2f85bd8db31f04107f7e1f16e337fc79c1d5f45fc613"}}