{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:ZUUYOJRFADVOLU3ROOD3PSLCE6","short_pith_number":"pith:ZUUYOJRF","canonical_record":{"source":{"id":"1302.4960","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-02-20T15:21:39Z","cross_cats_sorted":[],"title_canon_sha256":"cc5dee20d6976c011126c2cd3b67d4928d6deb94b6ecb6a1b1db3afbdd8975db","abstract_canon_sha256":"134e3695e79edb12ef5d85982acb18862a8df65fa57ff6800f0789ee198925de"},"schema_version":"1.0"},"canonical_sha256":"cd2987262500eae5d3717387b7c962278d050ed1138e97c3c80cce2be52480b8","source":{"kind":"arxiv","id":"1302.4960","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1302.4960","created_at":"2026-05-18T03:33:00Z"},{"alias_kind":"arxiv_version","alias_value":"1302.4960v1","created_at":"2026-05-18T03:33:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.4960","created_at":"2026-05-18T03:33:00Z"},{"alias_kind":"pith_short_12","alias_value":"ZUUYOJRFADVO","created_at":"2026-05-18T12:28:09Z"},{"alias_kind":"pith_short_16","alias_value":"ZUUYOJRFADVOLU3R","created_at":"2026-05-18T12:28:09Z"},{"alias_kind":"pith_short_8","alias_value":"ZUUYOJRF","created_at":"2026-05-18T12:28:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:ZUUYOJRFADVOLU3ROOD3PSLCE6","target":"record","payload":{"canonical_record":{"source":{"id":"1302.4960","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-02-20T15:21:39Z","cross_cats_sorted":[],"title_canon_sha256":"cc5dee20d6976c011126c2cd3b67d4928d6deb94b6ecb6a1b1db3afbdd8975db","abstract_canon_sha256":"134e3695e79edb12ef5d85982acb18862a8df65fa57ff6800f0789ee198925de"},"schema_version":"1.0"},"canonical_sha256":"cd2987262500eae5d3717387b7c962278d050ed1138e97c3c80cce2be52480b8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:33:00.842964Z","signature_b64":"VF1H1irR8SE4PGxQAamHCXelpNFRa1Fd1zWsxOhFdeqwLxHY2LEtjuM9fr891/FegVNRRWEf4/Khvo2ItuYDAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cd2987262500eae5d3717387b7c962278d050ed1138e97c3c80cce2be52480b8","last_reissued_at":"2026-05-18T03:33:00.842141Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:33:00.842141Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1302.4960","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:33:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NvmbVBQA6zdpNorKQw/9uaiwf/lFngI4Higj/bBPMxbXsxfCD2FKbGrqtE3rniNhCW2EcdYowU5NBcJLK2+LCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T11:46:24.873464Z"},"content_sha256":"c1eff3e22229de6480bb0329151faafd0e71bf66b14d3001bff0b552984f2578","schema_version":"1.0","event_id":"sha256:c1eff3e22229de6480bb0329151faafd0e71bf66b14d3001bff0b552984f2578"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:ZUUYOJRFADVOLU3ROOD3PSLCE6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Reasoning, Metareasoning, and Mathematical Truth: Studies of Theorem Proving under Limited Resources","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Adrian Klein, Eric J. Horvitz","submitted_at":"2013-02-20T15:21:39Z","abstract_excerpt":"In earlier work, we introduced flexible inference and decision-theoretic metareasoning to address the intractability of normative inference.  Here, rather than pursuing the task of computing beliefs and actions with decision models composed of distinctions about uncertain events, we examine methods for inferring beliefs about mathematical truth before an automated theorem prover completes a proof.  We employ a Bayesian analysis to update belief in truth, given theorem-proving progress, and show how decision-theoretic methods can be used to determine the value of continuing to deliberate versus"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1302.4960","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:33:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZpWdMPzYYlpF/I0ox0bBTW9pOBcdueTE2BTY87jsNz0kt6h9gNm4TMS+AdXxj6uwvK3c8Sv7SqZ5dD0QnEUbCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T11:46:24.874202Z"},"content_sha256":"3b8d0de76492d68e046869697c643282c6e7668e85670ec90aa4c5d4dba1b06b","schema_version":"1.0","event_id":"sha256:3b8d0de76492d68e046869697c643282c6e7668e85670ec90aa4c5d4dba1b06b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZUUYOJRFADVOLU3ROOD3PSLCE6/bundle.json","state_url":"https://pith.science/pith/ZUUYOJRFADVOLU3ROOD3PSLCE6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZUUYOJRFADVOLU3ROOD3PSLCE6/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-31T11:46:24Z","links":{"resolver":"https://pith.science/pith/ZUUYOJRFADVOLU3ROOD3PSLCE6","bundle":"https://pith.science/pith/ZUUYOJRFADVOLU3ROOD3PSLCE6/bundle.json","state":"https://pith.science/pith/ZUUYOJRFADVOLU3ROOD3PSLCE6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZUUYOJRFADVOLU3ROOD3PSLCE6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:ZUUYOJRFADVOLU3ROOD3PSLCE6","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":"134e3695e79edb12ef5d85982acb18862a8df65fa57ff6800f0789ee198925de","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-02-20T15:21:39Z","title_canon_sha256":"cc5dee20d6976c011126c2cd3b67d4928d6deb94b6ecb6a1b1db3afbdd8975db"},"schema_version":"1.0","source":{"id":"1302.4960","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1302.4960","created_at":"2026-05-18T03:33:00Z"},{"alias_kind":"arxiv_version","alias_value":"1302.4960v1","created_at":"2026-05-18T03:33:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.4960","created_at":"2026-05-18T03:33:00Z"},{"alias_kind":"pith_short_12","alias_value":"ZUUYOJRFADVO","created_at":"2026-05-18T12:28:09Z"},{"alias_kind":"pith_short_16","alias_value":"ZUUYOJRFADVOLU3R","created_at":"2026-05-18T12:28:09Z"},{"alias_kind":"pith_short_8","alias_value":"ZUUYOJRF","created_at":"2026-05-18T12:28:09Z"}],"graph_snapshots":[{"event_id":"sha256:3b8d0de76492d68e046869697c643282c6e7668e85670ec90aa4c5d4dba1b06b","target":"graph","created_at":"2026-05-18T03:33:00Z","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":"In earlier work, we introduced flexible inference and decision-theoretic metareasoning to address the intractability of normative inference.  Here, rather than pursuing the task of computing beliefs and actions with decision models composed of distinctions about uncertain events, we examine methods for inferring beliefs about mathematical truth before an automated theorem prover completes a proof.  We employ a Bayesian analysis to update belief in truth, given theorem-proving progress, and show how decision-theoretic methods can be used to determine the value of continuing to deliberate versus","authors_text":"Adrian Klein, Eric J. Horvitz","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-02-20T15:21:39Z","title":"Reasoning, Metareasoning, and Mathematical Truth: Studies of Theorem Proving under Limited Resources"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1302.4960","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:c1eff3e22229de6480bb0329151faafd0e71bf66b14d3001bff0b552984f2578","target":"record","created_at":"2026-05-18T03:33:00Z","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":"134e3695e79edb12ef5d85982acb18862a8df65fa57ff6800f0789ee198925de","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-02-20T15:21:39Z","title_canon_sha256":"cc5dee20d6976c011126c2cd3b67d4928d6deb94b6ecb6a1b1db3afbdd8975db"},"schema_version":"1.0","source":{"id":"1302.4960","kind":"arxiv","version":1}},"canonical_sha256":"cd2987262500eae5d3717387b7c962278d050ed1138e97c3c80cce2be52480b8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cd2987262500eae5d3717387b7c962278d050ed1138e97c3c80cce2be52480b8","first_computed_at":"2026-05-18T03:33:00.842141Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:33:00.842141Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"VF1H1irR8SE4PGxQAamHCXelpNFRa1Fd1zWsxOhFdeqwLxHY2LEtjuM9fr891/FegVNRRWEf4/Khvo2ItuYDAA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:33:00.842964Z","signed_message":"canonical_sha256_bytes"},"source_id":"1302.4960","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c1eff3e22229de6480bb0329151faafd0e71bf66b14d3001bff0b552984f2578","sha256:3b8d0de76492d68e046869697c643282c6e7668e85670ec90aa4c5d4dba1b06b"],"state_sha256":"cb4a4284f4dc9bbe157a57fdc9622198be535e5106bad53574c9bddb5385955a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gfXRkDDKsbaO989ubXl3IQeioLyQeUcvCtQkC/1M2I44272ERXT9oX1CxnWwmmf68oW7jzEZRZ3XczdxJ8nQBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T11:46:24.877556Z","bundle_sha256":"5651720d721dd102b4a789a47d653ae45a3cad34bd4b17668e41edd928f2473c"}}