{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:RXULUJPS6GQ6CUEWF6PRJPGFBM","short_pith_number":"pith:RXULUJPS","canonical_record":{"source":{"id":"2311.09724","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2023-11-16T09:56:28Z","cross_cats_sorted":["cs.CL"],"title_canon_sha256":"896ce8af59c09653325ef7951dc9400951153581cd7f4bb7472fd7a895490c3a","abstract_canon_sha256":"5a01fc8fd798908588dc1d03d0103069ff4ec39af3a21bd4e02b4304097c1ec1"},"schema_version":"1.0"},"canonical_sha256":"8de8ba25f2f1a1e150962f9f14bcc50b1203c2bc59a9de11cc5ccadbd5da2e5c","source":{"kind":"arxiv","id":"2311.09724","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2311.09724","created_at":"2026-07-05T08:02:48Z"},{"alias_kind":"arxiv_version","alias_value":"2311.09724v2","created_at":"2026-07-05T08:02:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2311.09724","created_at":"2026-07-05T08:02:48Z"},{"alias_kind":"pith_short_12","alias_value":"RXULUJPS6GQ6","created_at":"2026-07-05T08:02:48Z"},{"alias_kind":"pith_short_16","alias_value":"RXULUJPS6GQ6CUEW","created_at":"2026-07-05T08:02:48Z"},{"alias_kind":"pith_short_8","alias_value":"RXULUJPS","created_at":"2026-07-05T08:02:48Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:RXULUJPS6GQ6CUEWF6PRJPGFBM","target":"record","payload":{"canonical_record":{"source":{"id":"2311.09724","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2023-11-16T09:56:28Z","cross_cats_sorted":["cs.CL"],"title_canon_sha256":"896ce8af59c09653325ef7951dc9400951153581cd7f4bb7472fd7a895490c3a","abstract_canon_sha256":"5a01fc8fd798908588dc1d03d0103069ff4ec39af3a21bd4e02b4304097c1ec1"},"schema_version":"1.0"},"canonical_sha256":"8de8ba25f2f1a1e150962f9f14bcc50b1203c2bc59a9de11cc5ccadbd5da2e5c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:02:48.150707Z","signature_b64":"Ke5iXA1BMHRZTEHLmiJW7rGNvOu5JIxezgKKZDV+7Inf/MCYxgKbDlUQykUSyp6DngXG7E/cLCnWergh14oxDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8de8ba25f2f1a1e150962f9f14bcc50b1203c2bc59a9de11cc5ccadbd5da2e5c","last_reissued_at":"2026-07-05T08:02:48.150220Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:02:48.150220Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2311.09724","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-07-05T08:02:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OrUW50KIjFXmWe5yzBRoPsHaZ9p3uI8w0RQPMjlprS5uNK1+DzkfoemqGIg0oZI3EVAle9fFgDrW9jsZyvCbAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T00:48:47.698353Z"},"content_sha256":"71c1e0338590c7ea0605fa9fdbe3920ada3051f736f78cd5b49f8b10fc8cda9a","schema_version":"1.0","event_id":"sha256:71c1e0338590c7ea0605fa9fdbe3920ada3051f736f78cd5b49f8b10fc8cda9a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:RXULUJPS6GQ6CUEWF6PRJPGFBM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"OVM, Outcome-supervised Value Models for Planning in Mathematical Reasoning","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.CL"],"primary_cat":"cs.AI","authors_text":"Anningzhe Gao, Benyou Wang, Fei Yu","submitted_at":"2023-11-16T09:56:28Z","abstract_excerpt":"Large language models (LLMs) often struggle with maintaining accuracy throughout multiple multiple reasoning steps, especially in mathematical reasoning where an error in earlier steps can propagate to subsequent ones and it ultimately leading to an incorrect answer. To reduce error propagation, guided decoding is employed to direct the LM decoding on a step-by-step basis. We argue that in guided decoding, assessing the potential of an incomplete reasoning path can be more advantageous than simply ensuring per-step correctness, as the former approach leads towards a correct final answer. This "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2311.09724","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2311.09724/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T08:02:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Eck8unuILu1Ua/MXGXtcmmMLpMMC/MGHlBByjVexs5vwH9qVZdpKETPAKkdi34un6/VF8IgGsqGdnQieUsHOAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T00:48:47.698731Z"},"content_sha256":"8ec6fb84a06cfc87be780e8b40db16e397f0457293cc80c9b8e10402230d013e","schema_version":"1.0","event_id":"sha256:8ec6fb84a06cfc87be780e8b40db16e397f0457293cc80c9b8e10402230d013e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RXULUJPS6GQ6CUEWF6PRJPGFBM/bundle.json","state_url":"https://pith.science/pith/RXULUJPS6GQ6CUEWF6PRJPGFBM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RXULUJPS6GQ6CUEWF6PRJPGFBM/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-08-04T00:48:47Z","links":{"resolver":"https://pith.science/pith/RXULUJPS6GQ6CUEWF6PRJPGFBM","bundle":"https://pith.science/pith/RXULUJPS6GQ6CUEWF6PRJPGFBM/bundle.json","state":"https://pith.science/pith/RXULUJPS6GQ6CUEWF6PRJPGFBM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RXULUJPS6GQ6CUEWF6PRJPGFBM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:RXULUJPS6GQ6CUEWF6PRJPGFBM","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":"5a01fc8fd798908588dc1d03d0103069ff4ec39af3a21bd4e02b4304097c1ec1","cross_cats_sorted":["cs.CL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2023-11-16T09:56:28Z","title_canon_sha256":"896ce8af59c09653325ef7951dc9400951153581cd7f4bb7472fd7a895490c3a"},"schema_version":"1.0","source":{"id":"2311.09724","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2311.09724","created_at":"2026-07-05T08:02:48Z"},{"alias_kind":"arxiv_version","alias_value":"2311.09724v2","created_at":"2026-07-05T08:02:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2311.09724","created_at":"2026-07-05T08:02:48Z"},{"alias_kind":"pith_short_12","alias_value":"RXULUJPS6GQ6","created_at":"2026-07-05T08:02:48Z"},{"alias_kind":"pith_short_16","alias_value":"RXULUJPS6GQ6CUEW","created_at":"2026-07-05T08:02:48Z"},{"alias_kind":"pith_short_8","alias_value":"RXULUJPS","created_at":"2026-07-05T08:02:48Z"}],"graph_snapshots":[{"event_id":"sha256:8ec6fb84a06cfc87be780e8b40db16e397f0457293cc80c9b8e10402230d013e","target":"graph","created_at":"2026-07-05T08:02:48Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2311.09724/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large language models (LLMs) often struggle with maintaining accuracy throughout multiple multiple reasoning steps, especially in mathematical reasoning where an error in earlier steps can propagate to subsequent ones and it ultimately leading to an incorrect answer. To reduce error propagation, guided decoding is employed to direct the LM decoding on a step-by-step basis. We argue that in guided decoding, assessing the potential of an incomplete reasoning path can be more advantageous than simply ensuring per-step correctness, as the former approach leads towards a correct final answer. This ","authors_text":"Anningzhe Gao, Benyou Wang, Fei Yu","cross_cats":["cs.CL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2023-11-16T09:56:28Z","title":"OVM, Outcome-supervised Value Models for Planning in Mathematical Reasoning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2311.09724","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:71c1e0338590c7ea0605fa9fdbe3920ada3051f736f78cd5b49f8b10fc8cda9a","target":"record","created_at":"2026-07-05T08:02:48Z","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":"5a01fc8fd798908588dc1d03d0103069ff4ec39af3a21bd4e02b4304097c1ec1","cross_cats_sorted":["cs.CL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2023-11-16T09:56:28Z","title_canon_sha256":"896ce8af59c09653325ef7951dc9400951153581cd7f4bb7472fd7a895490c3a"},"schema_version":"1.0","source":{"id":"2311.09724","kind":"arxiv","version":2}},"canonical_sha256":"8de8ba25f2f1a1e150962f9f14bcc50b1203c2bc59a9de11cc5ccadbd5da2e5c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8de8ba25f2f1a1e150962f9f14bcc50b1203c2bc59a9de11cc5ccadbd5da2e5c","first_computed_at":"2026-07-05T08:02:48.150220Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:02:48.150220Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Ke5iXA1BMHRZTEHLmiJW7rGNvOu5JIxezgKKZDV+7Inf/MCYxgKbDlUQykUSyp6DngXG7E/cLCnWergh14oxDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T08:02:48.150707Z","signed_message":"canonical_sha256_bytes"},"source_id":"2311.09724","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:71c1e0338590c7ea0605fa9fdbe3920ada3051f736f78cd5b49f8b10fc8cda9a","sha256:8ec6fb84a06cfc87be780e8b40db16e397f0457293cc80c9b8e10402230d013e"],"state_sha256":"22adaec83d2007d33c731262e0f00c0890fab762d75e16283d3dcb6e84876196"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rXpmIqssAKEH4Z+f5CnOHZRLOonPBF8w19qSj0CNodhS1QXAXRSxpyVA2PTQuecnFaVVmOHvOeK1GNAGvx2+Ag==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T00:48:47.701554Z","bundle_sha256":"b3aaa4fc471b5d8f0d127ede39a021775c4790d936cd360c21a3a54147ab6b16"}}