{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:MKMVPF7FSPRIVAH3K3AGUI5MOC","short_pith_number":"pith:MKMVPF7F","canonical_record":{"source":{"id":"1604.05288","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-04-18T19:37:46Z","cross_cats_sorted":["cs.LG","math.PR"],"title_canon_sha256":"c24ea242af1ac7a5609d0446269c5dfb613b3ea1f093a85c54486abd0545c8c8","abstract_canon_sha256":"496823ad98cbbe84f4af2fe6bef4916bf5663301d7087599565d76d39f57990d"},"schema_version":"1.0"},"canonical_sha256":"62995797e593e28a80fb56c06a23ac70beb54a6ea8cd308a086df069bd302fd4","source":{"kind":"arxiv","id":"1604.05288","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1604.05288","created_at":"2026-05-18T01:02:59Z"},{"alias_kind":"arxiv_version","alias_value":"1604.05288v3","created_at":"2026-05-18T01:02:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.05288","created_at":"2026-05-18T01:02:59Z"},{"alias_kind":"pith_short_12","alias_value":"MKMVPF7FSPRI","created_at":"2026-05-18T12:30:32Z"},{"alias_kind":"pith_short_16","alias_value":"MKMVPF7FSPRIVAH3","created_at":"2026-05-18T12:30:32Z"},{"alias_kind":"pith_short_8","alias_value":"MKMVPF7F","created_at":"2026-05-18T12:30:32Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:MKMVPF7FSPRIVAH3K3AGUI5MOC","target":"record","payload":{"canonical_record":{"source":{"id":"1604.05288","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-04-18T19:37:46Z","cross_cats_sorted":["cs.LG","math.PR"],"title_canon_sha256":"c24ea242af1ac7a5609d0446269c5dfb613b3ea1f093a85c54486abd0545c8c8","abstract_canon_sha256":"496823ad98cbbe84f4af2fe6bef4916bf5663301d7087599565d76d39f57990d"},"schema_version":"1.0"},"canonical_sha256":"62995797e593e28a80fb56c06a23ac70beb54a6ea8cd308a086df069bd302fd4","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:02:59.042351Z","signature_b64":"ca0Id35SiS/OBsJrLIMJsCMqHcgm+KuqafSJsCri/MRxOx46jrOkxuq7VevhzAQ6DJ5RzNu1VO/DdhTOzXEcDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"62995797e593e28a80fb56c06a23ac70beb54a6ea8cd308a086df069bd302fd4","last_reissued_at":"2026-05-18T01:02:59.041829Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:02:59.041829Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1604.05288","source_version":3,"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-18T01:02:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"O/h7nn5VzagDKWizWTWBHd4PYU78GBhudgx++5XpkRHEB4ehmnA+i9qUhQ4NatJLVhTGXRPc5rgct2ohpMe3AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T03:22:53.157371Z"},"content_sha256":"b8a8c22980b1f2a985387c13dfb225c75a8d511fa422d349c04741642d55d5e8","schema_version":"1.0","event_id":"sha256:b8a8c22980b1f2a985387c13dfb225c75a8d511fa422d349c04741642d55d5e8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:MKMVPF7FSPRIVAH3K3AGUI5MOC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Inductive Coherence","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","math.PR"],"primary_cat":"cs.AI","authors_text":"Abram Demski, Benya Fallenstein, Nate Soares, Scott Garrabrant","submitted_at":"2016-04-18T19:37:46Z","abstract_excerpt":"While probability theory is normally applied to external environments, there has been some recent interest in probabilistic modeling of the outputs of computations that are too expensive to run. Since mathematical logic is a powerful tool for reasoning about computer programs, we consider this problem from the perspective of integrating probability and logic. Recent work on assigning probabilities to mathematical statements has used the concept of coherent distributions, which satisfy logical constraints such as the probability of a sentence and its negation summing to one. Although there are "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.05288","kind":"arxiv","version":3},"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-18T01:02:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0xWIjhAlqSKe/JhzjzTq+Q3Lrq0dFoe8MQPpG/FuAYwX+RwhBxFokpzcKWQr/D1FNDIM6OLQ6d1maMtGaARmAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T03:22:53.157722Z"},"content_sha256":"73daf9b5f01bfb9bc0d5d6ff4820ade9bea8c4ebcf4e44968c1221846226295e","schema_version":"1.0","event_id":"sha256:73daf9b5f01bfb9bc0d5d6ff4820ade9bea8c4ebcf4e44968c1221846226295e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MKMVPF7FSPRIVAH3K3AGUI5MOC/bundle.json","state_url":"https://pith.science/pith/MKMVPF7FSPRIVAH3K3AGUI5MOC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MKMVPF7FSPRIVAH3K3AGUI5MOC/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-06-01T03:22:53Z","links":{"resolver":"https://pith.science/pith/MKMVPF7FSPRIVAH3K3AGUI5MOC","bundle":"https://pith.science/pith/MKMVPF7FSPRIVAH3K3AGUI5MOC/bundle.json","state":"https://pith.science/pith/MKMVPF7FSPRIVAH3K3AGUI5MOC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MKMVPF7FSPRIVAH3K3AGUI5MOC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:MKMVPF7FSPRIVAH3K3AGUI5MOC","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":"496823ad98cbbe84f4af2fe6bef4916bf5663301d7087599565d76d39f57990d","cross_cats_sorted":["cs.LG","math.PR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-04-18T19:37:46Z","title_canon_sha256":"c24ea242af1ac7a5609d0446269c5dfb613b3ea1f093a85c54486abd0545c8c8"},"schema_version":"1.0","source":{"id":"1604.05288","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1604.05288","created_at":"2026-05-18T01:02:59Z"},{"alias_kind":"arxiv_version","alias_value":"1604.05288v3","created_at":"2026-05-18T01:02:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.05288","created_at":"2026-05-18T01:02:59Z"},{"alias_kind":"pith_short_12","alias_value":"MKMVPF7FSPRI","created_at":"2026-05-18T12:30:32Z"},{"alias_kind":"pith_short_16","alias_value":"MKMVPF7FSPRIVAH3","created_at":"2026-05-18T12:30:32Z"},{"alias_kind":"pith_short_8","alias_value":"MKMVPF7F","created_at":"2026-05-18T12:30:32Z"}],"graph_snapshots":[{"event_id":"sha256:73daf9b5f01bfb9bc0d5d6ff4820ade9bea8c4ebcf4e44968c1221846226295e","target":"graph","created_at":"2026-05-18T01:02:59Z","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":"While probability theory is normally applied to external environments, there has been some recent interest in probabilistic modeling of the outputs of computations that are too expensive to run. Since mathematical logic is a powerful tool for reasoning about computer programs, we consider this problem from the perspective of integrating probability and logic. Recent work on assigning probabilities to mathematical statements has used the concept of coherent distributions, which satisfy logical constraints such as the probability of a sentence and its negation summing to one. Although there are ","authors_text":"Abram Demski, Benya Fallenstein, Nate Soares, Scott Garrabrant","cross_cats":["cs.LG","math.PR"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-04-18T19:37:46Z","title":"Inductive Coherence"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.05288","kind":"arxiv","version":3},"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:b8a8c22980b1f2a985387c13dfb225c75a8d511fa422d349c04741642d55d5e8","target":"record","created_at":"2026-05-18T01:02:59Z","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":"496823ad98cbbe84f4af2fe6bef4916bf5663301d7087599565d76d39f57990d","cross_cats_sorted":["cs.LG","math.PR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-04-18T19:37:46Z","title_canon_sha256":"c24ea242af1ac7a5609d0446269c5dfb613b3ea1f093a85c54486abd0545c8c8"},"schema_version":"1.0","source":{"id":"1604.05288","kind":"arxiv","version":3}},"canonical_sha256":"62995797e593e28a80fb56c06a23ac70beb54a6ea8cd308a086df069bd302fd4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"62995797e593e28a80fb56c06a23ac70beb54a6ea8cd308a086df069bd302fd4","first_computed_at":"2026-05-18T01:02:59.041829Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:02:59.041829Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ca0Id35SiS/OBsJrLIMJsCMqHcgm+KuqafSJsCri/MRxOx46jrOkxuq7VevhzAQ6DJ5RzNu1VO/DdhTOzXEcDg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:02:59.042351Z","signed_message":"canonical_sha256_bytes"},"source_id":"1604.05288","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b8a8c22980b1f2a985387c13dfb225c75a8d511fa422d349c04741642d55d5e8","sha256:73daf9b5f01bfb9bc0d5d6ff4820ade9bea8c4ebcf4e44968c1221846226295e"],"state_sha256":"19f555373cb3a8eaebbfb1a2e524bb0c9c595db3e78b7095962156d58001f9fd"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZT0EQE+1iDKallwqt76SG7FndURpd6An4gmcC5sB/a6XkjLmRIC20dQjrTv6Yt7h/bSN7K+XoBLCIOGQjnYbAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T03:22:53.159820Z","bundle_sha256":"86911b5fa7344b0a3f0bf57d85e2e83fb6139f875bb927155d9c0cc95bee1f4c"}}