{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:BDG3ALXWZGEO7PD52UCGVJW6IJ","short_pith_number":"pith:BDG3ALXW","canonical_record":{"source":{"id":"1804.03523","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"stat.CO","submitted_at":"2018-04-07T09:22:56Z","cross_cats_sorted":["cs.PL","stat.ML"],"title_canon_sha256":"212c9acf73f123b271bb845aaf4ac9a54d6d9fe2a19c39d9903ec189a046a049","abstract_canon_sha256":"c23bf9874fe65c64317ec980ce84001f5ec8a8d9f44675ddc2b0f430f3029903"},"schema_version":"1.0"},"canonical_sha256":"08cdb02ef6c988efbc7dd5046aa6de42504e3eac2a41815305236a1e5c45f6e8","source":{"kind":"arxiv","id":"1804.03523","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.03523","created_at":"2026-05-17T23:44:43Z"},{"alias_kind":"arxiv_version","alias_value":"1804.03523v2","created_at":"2026-05-17T23:44:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.03523","created_at":"2026-05-17T23:44:43Z"},{"alias_kind":"pith_short_12","alias_value":"BDG3ALXWZGEO","created_at":"2026-05-18T12:32:13Z"},{"alias_kind":"pith_short_16","alias_value":"BDG3ALXWZGEO7PD5","created_at":"2026-05-18T12:32:13Z"},{"alias_kind":"pith_short_8","alias_value":"BDG3ALXW","created_at":"2026-05-18T12:32:13Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:BDG3ALXWZGEO7PD52UCGVJW6IJ","target":"record","payload":{"canonical_record":{"source":{"id":"1804.03523","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"stat.CO","submitted_at":"2018-04-07T09:22:56Z","cross_cats_sorted":["cs.PL","stat.ML"],"title_canon_sha256":"212c9acf73f123b271bb845aaf4ac9a54d6d9fe2a19c39d9903ec189a046a049","abstract_canon_sha256":"c23bf9874fe65c64317ec980ce84001f5ec8a8d9f44675ddc2b0f430f3029903"},"schema_version":"1.0"},"canonical_sha256":"08cdb02ef6c988efbc7dd5046aa6de42504e3eac2a41815305236a1e5c45f6e8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:44:43.364863Z","signature_b64":"q2cqTDvsqKM/ROWUxrJX4nHvOP5vAafCvx6npZsIS1FJjB8PxC3Dfdzso0t6n4Z7CcYdRhKxjZPlRElCvSMKCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"08cdb02ef6c988efbc7dd5046aa6de42504e3eac2a41815305236a1e5c45f6e8","last_reissued_at":"2026-05-17T23:44:43.364415Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:44:43.364415Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1804.03523","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-17T23:44:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RtdqMQ1F9Pt2RZuenVx4DqPtCDwIlL0i6gbTora5aqBzOk7bSuwDJIrYYI0cpwkyOQrSeXUB7uLJ1A/ls/ZLAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T15:57:03.562170Z"},"content_sha256":"54906c3095bf3e806df03e1d8797884321e7d38e78fbc75eda2e348714e71295","schema_version":"1.0","event_id":"sha256:54906c3095bf3e806df03e1d8797884321e7d38e78fbc75eda2e348714e71295"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:BDG3ALXWZGEO7PD52UCGVJW6IJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Hamiltonian Monte Carlo for Probabilistic Programs with Discontinuities","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL","stat.ML"],"primary_cat":"stat.CO","authors_text":"Bradley Gram-Hansen, Frank Wood, Hongseok Yang, Tobias Kohn, Tom Rainforth, Yuan Zhou","submitted_at":"2018-04-07T09:22:56Z","abstract_excerpt":"Hamiltonian Monte Carlo (HMC) is arguably the dominant statistical inference algorithm used in most popular \"first-order differentiable\" Probabilistic Programming Languages (PPLs). However, the fact that HMC uses derivative information causes complications when the target distribution is non-differentiable with respect to one or more of the latent variables. In this paper, we show how to use extensions to HMC to perform inference in probabilistic programs that contain discontinuities. To do this, we design a Simple first-order Probabilistic Programming Language (SPPL) that contains a sufficien"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.03523","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-17T23:44:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eUngzKvgSgjHVwCmh8rkIUBNnxLh7ZVz9WrNos8cwtW9zInxL+fdFl+r+gpHwuEeSbUID4aHA18cMQit7nB4Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T15:57:03.562839Z"},"content_sha256":"edcc5726cc4eac76f900229c1765753efc84bc3295a580619bc75b82f63fbff5","schema_version":"1.0","event_id":"sha256:edcc5726cc4eac76f900229c1765753efc84bc3295a580619bc75b82f63fbff5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BDG3ALXWZGEO7PD52UCGVJW6IJ/bundle.json","state_url":"https://pith.science/pith/BDG3ALXWZGEO7PD52UCGVJW6IJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BDG3ALXWZGEO7PD52UCGVJW6IJ/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-27T15:57:03Z","links":{"resolver":"https://pith.science/pith/BDG3ALXWZGEO7PD52UCGVJW6IJ","bundle":"https://pith.science/pith/BDG3ALXWZGEO7PD52UCGVJW6IJ/bundle.json","state":"https://pith.science/pith/BDG3ALXWZGEO7PD52UCGVJW6IJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BDG3ALXWZGEO7PD52UCGVJW6IJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:BDG3ALXWZGEO7PD52UCGVJW6IJ","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":"c23bf9874fe65c64317ec980ce84001f5ec8a8d9f44675ddc2b0f430f3029903","cross_cats_sorted":["cs.PL","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"stat.CO","submitted_at":"2018-04-07T09:22:56Z","title_canon_sha256":"212c9acf73f123b271bb845aaf4ac9a54d6d9fe2a19c39d9903ec189a046a049"},"schema_version":"1.0","source":{"id":"1804.03523","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.03523","created_at":"2026-05-17T23:44:43Z"},{"alias_kind":"arxiv_version","alias_value":"1804.03523v2","created_at":"2026-05-17T23:44:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.03523","created_at":"2026-05-17T23:44:43Z"},{"alias_kind":"pith_short_12","alias_value":"BDG3ALXWZGEO","created_at":"2026-05-18T12:32:13Z"},{"alias_kind":"pith_short_16","alias_value":"BDG3ALXWZGEO7PD5","created_at":"2026-05-18T12:32:13Z"},{"alias_kind":"pith_short_8","alias_value":"BDG3ALXW","created_at":"2026-05-18T12:32:13Z"}],"graph_snapshots":[{"event_id":"sha256:edcc5726cc4eac76f900229c1765753efc84bc3295a580619bc75b82f63fbff5","target":"graph","created_at":"2026-05-17T23:44:43Z","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":"Hamiltonian Monte Carlo (HMC) is arguably the dominant statistical inference algorithm used in most popular \"first-order differentiable\" Probabilistic Programming Languages (PPLs). However, the fact that HMC uses derivative information causes complications when the target distribution is non-differentiable with respect to one or more of the latent variables. In this paper, we show how to use extensions to HMC to perform inference in probabilistic programs that contain discontinuities. To do this, we design a Simple first-order Probabilistic Programming Language (SPPL) that contains a sufficien","authors_text":"Bradley Gram-Hansen, Frank Wood, Hongseok Yang, Tobias Kohn, Tom Rainforth, Yuan Zhou","cross_cats":["cs.PL","stat.ML"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"stat.CO","submitted_at":"2018-04-07T09:22:56Z","title":"Hamiltonian Monte Carlo for Probabilistic Programs with Discontinuities"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.03523","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:54906c3095bf3e806df03e1d8797884321e7d38e78fbc75eda2e348714e71295","target":"record","created_at":"2026-05-17T23:44:43Z","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":"c23bf9874fe65c64317ec980ce84001f5ec8a8d9f44675ddc2b0f430f3029903","cross_cats_sorted":["cs.PL","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"stat.CO","submitted_at":"2018-04-07T09:22:56Z","title_canon_sha256":"212c9acf73f123b271bb845aaf4ac9a54d6d9fe2a19c39d9903ec189a046a049"},"schema_version":"1.0","source":{"id":"1804.03523","kind":"arxiv","version":2}},"canonical_sha256":"08cdb02ef6c988efbc7dd5046aa6de42504e3eac2a41815305236a1e5c45f6e8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"08cdb02ef6c988efbc7dd5046aa6de42504e3eac2a41815305236a1e5c45f6e8","first_computed_at":"2026-05-17T23:44:43.364415Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:44:43.364415Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"q2cqTDvsqKM/ROWUxrJX4nHvOP5vAafCvx6npZsIS1FJjB8PxC3Dfdzso0t6n4Z7CcYdRhKxjZPlRElCvSMKCA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:44:43.364863Z","signed_message":"canonical_sha256_bytes"},"source_id":"1804.03523","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:54906c3095bf3e806df03e1d8797884321e7d38e78fbc75eda2e348714e71295","sha256:edcc5726cc4eac76f900229c1765753efc84bc3295a580619bc75b82f63fbff5"],"state_sha256":"2ab5232208a25e5644be1daa5e848646c3caa2f18bd8cb5f19bbb682302ce2f4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KYq+VEGe36xlRUYRAoWCwteOojdGLXD8C30vnEbVeyND4/udUyrAZiK5l7FaYVXqmP39NNPNhasgFpCcPO4aAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T15:57:03.566351Z","bundle_sha256":"23dfb7a3191d81ad842bd634a0592f924255c2d58ea1791206a2a7e6bff7ff62"}}