{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:TFBJUQDBH3RK6AWM5PM7P5DNU7","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":"f843e3482b6164916017a6c067bf38f5c963e2f182a8eaaae6db32f1862cb34a","cross_cats_sorted":["cs.PL","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-03-06T16:29:20Z","title_canon_sha256":"5fab7df4566bda46de43672d0b5a770ba890e44c8c75bd5dc9144dadbbb1b914"},"schema_version":"1.0","source":{"id":"1903.02482","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1903.02482","created_at":"2026-05-17T23:51:55Z"},{"alias_kind":"arxiv_version","alias_value":"1903.02482v1","created_at":"2026-05-17T23:51:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.02482","created_at":"2026-05-17T23:51:55Z"},{"alias_kind":"pith_short_12","alias_value":"TFBJUQDBH3RK","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_16","alias_value":"TFBJUQDBH3RK6AWM","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_8","alias_value":"TFBJUQDB","created_at":"2026-05-18T12:33:27Z"}],"graph_snapshots":[{"event_id":"sha256:2d39834591ede6e496415f72aff38758309b06d4649ab348d41f5c23ec4c35c5","target":"graph","created_at":"2026-05-17T23:51:55Z","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":"We develop a new Low-level, First-order Probabilistic Programming Language (LF-PPL) suited for models containing a mix of continuous, discrete, and/or piecewise-continuous variables. The key success of this language and its compilation scheme is in its ability to automatically distinguish parameters the density function is discontinuous with respect to, while further providing runtime checks for boundary crossings. This enables the introduction of new inference engines that are able to exploit gradient information, while remaining efficient for models which are not everywhere differentiable. W","authors_text":"Bradley J. 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":"cs.LG","submitted_at":"2019-03-06T16:29:20Z","title":"LF-PPL: A Low-Level First Order Probabilistic Programming Language for Non-Differentiable Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.02482","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:6d585a5a3f2872ac2f3bebbbdd55b58f20317bc544149a99eb3cf3d10c9734ce","target":"record","created_at":"2026-05-17T23:51:55Z","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":"f843e3482b6164916017a6c067bf38f5c963e2f182a8eaaae6db32f1862cb34a","cross_cats_sorted":["cs.PL","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-03-06T16:29:20Z","title_canon_sha256":"5fab7df4566bda46de43672d0b5a770ba890e44c8c75bd5dc9144dadbbb1b914"},"schema_version":"1.0","source":{"id":"1903.02482","kind":"arxiv","version":1}},"canonical_sha256":"99429a40613ee2af02ccebd9f7f46da7e14b494fec1024a3067eb8af11526cfa","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"99429a40613ee2af02ccebd9f7f46da7e14b494fec1024a3067eb8af11526cfa","first_computed_at":"2026-05-17T23:51:55.242665Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:51:55.242665Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vtHHMbgq6MsxGmlMPj0laeMbTWCfc2W2ryurtVAhmXEMLZARRK0I/2v6E8tnGxkCqDDUV45zevtdwEpTguALCQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:51:55.243356Z","signed_message":"canonical_sha256_bytes"},"source_id":"1903.02482","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6d585a5a3f2872ac2f3bebbbdd55b58f20317bc544149a99eb3cf3d10c9734ce","sha256:2d39834591ede6e496415f72aff38758309b06d4649ab348d41f5c23ec4c35c5"],"state_sha256":"0a9ec0f9d55ff196a9c4722c4e3e6eb562c035a9a0137218264567d1b7b1abb8"}