{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:MKMVPF7FSPRIVAH3K3AGUI5MOC","short_pith_number":"pith:MKMVPF7F","schema_version":"1.0","canonical_sha256":"62995797e593e28a80fb56c06a23ac70beb54a6ea8cd308a086df069bd302fd4","source":{"kind":"arxiv","id":"1604.05288","version":3},"attestation_state":"computed","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 "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1604.05288","created_at":"2026-05-18T01:02:59.041909+00:00"},{"alias_kind":"arxiv_version","alias_value":"1604.05288v3","created_at":"2026-05-18T01:02:59.041909+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.05288","created_at":"2026-05-18T01:02:59.041909+00:00"},{"alias_kind":"pith_short_12","alias_value":"MKMVPF7FSPRI","created_at":"2026-05-18T12:30:32.724797+00:00"},{"alias_kind":"pith_short_16","alias_value":"MKMVPF7FSPRIVAH3","created_at":"2026-05-18T12:30:32.724797+00:00"},{"alias_kind":"pith_short_8","alias_value":"MKMVPF7F","created_at":"2026-05-18T12:30:32.724797+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"1606.06565","citing_title":"Concrete Problems in AI Safety","ref_index":58,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/MKMVPF7FSPRIVAH3K3AGUI5MOC","json":"https://pith.science/pith/MKMVPF7FSPRIVAH3K3AGUI5MOC.json","graph_json":"https://pith.science/api/pith-number/MKMVPF7FSPRIVAH3K3AGUI5MOC/graph.json","events_json":"https://pith.science/api/pith-number/MKMVPF7FSPRIVAH3K3AGUI5MOC/events.json","paper":"https://pith.science/paper/MKMVPF7F"},"agent_actions":{"view_html":"https://pith.science/pith/MKMVPF7FSPRIVAH3K3AGUI5MOC","download_json":"https://pith.science/pith/MKMVPF7FSPRIVAH3K3AGUI5MOC.json","view_paper":"https://pith.science/paper/MKMVPF7F","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1604.05288&json=true","fetch_graph":"https://pith.science/api/pith-number/MKMVPF7FSPRIVAH3K3AGUI5MOC/graph.json","fetch_events":"https://pith.science/api/pith-number/MKMVPF7FSPRIVAH3K3AGUI5MOC/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/MKMVPF7FSPRIVAH3K3AGUI5MOC/action/timestamp_anchor","attest_storage":"https://pith.science/pith/MKMVPF7FSPRIVAH3K3AGUI5MOC/action/storage_attestation","attest_author":"https://pith.science/pith/MKMVPF7FSPRIVAH3K3AGUI5MOC/action/author_attestation","sign_citation":"https://pith.science/pith/MKMVPF7FSPRIVAH3K3AGUI5MOC/action/citation_signature","submit_replication":"https://pith.science/pith/MKMVPF7FSPRIVAH3K3AGUI5MOC/action/replication_record"}},"created_at":"2026-05-18T01:02:59.041909+00:00","updated_at":"2026-05-18T01:02:59.041909+00:00"}