{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:YMA6KFBLD5QEJC3TPR5GUXKJYS","short_pith_number":"pith:YMA6KFBL","canonical_record":{"source":{"id":"2306.03872","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2023-06-06T17:18:56Z","cross_cats_sorted":["cs.AI","cs.LG"],"title_canon_sha256":"ef523140b27b9aece773c3a06396502470838d5a813395165505c96a7b8bc139","abstract_canon_sha256":"c9a3bc4e92222fb7d210f7e7769c67cc81355106a5be13d22f87e03c49f793ef"},"schema_version":"1.0"},"canonical_sha256":"c301e5142b1f60448b737c7a6a5d49c4aadbac0ecfc5b60a37b2f72fd95a3555","source":{"kind":"arxiv","id":"2306.03872","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2306.03872","created_at":"2026-07-05T06:56:53Z"},{"alias_kind":"arxiv_version","alias_value":"2306.03872v3","created_at":"2026-07-05T06:56:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2306.03872","created_at":"2026-07-05T06:56:53Z"},{"alias_kind":"pith_short_12","alias_value":"YMA6KFBLD5QE","created_at":"2026-07-05T06:56:53Z"},{"alias_kind":"pith_short_16","alias_value":"YMA6KFBLD5QEJC3T","created_at":"2026-07-05T06:56:53Z"},{"alias_kind":"pith_short_8","alias_value":"YMA6KFBL","created_at":"2026-07-05T06:56:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:YMA6KFBLD5QEJC3TPR5GUXKJYS","target":"record","payload":{"canonical_record":{"source":{"id":"2306.03872","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2023-06-06T17:18:56Z","cross_cats_sorted":["cs.AI","cs.LG"],"title_canon_sha256":"ef523140b27b9aece773c3a06396502470838d5a813395165505c96a7b8bc139","abstract_canon_sha256":"c9a3bc4e92222fb7d210f7e7769c67cc81355106a5be13d22f87e03c49f793ef"},"schema_version":"1.0"},"canonical_sha256":"c301e5142b1f60448b737c7a6a5d49c4aadbac0ecfc5b60a37b2f72fd95a3555","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:56:53.688975Z","signature_b64":"lIfT/HrfTiNfHNz8ljOBsQfqkPAi992ipdcN5+5cRJ77HV2AWDMwwdsqgYUAqisoNuTdLsNFfxTwMUigUVO9Dg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c301e5142b1f60448b737c7a6a5d49c4aadbac0ecfc5b60a37b2f72fd95a3555","last_reissued_at":"2026-07-05T06:56:53.688498Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:56:53.688498Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2306.03872","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-07-05T06:56:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+sJLzHkqqxzwFKsZHJNIUxNJIxl9C1VqVaxjVw4/6L419eBHP0RDRH5fbgg2n8SnnABR/LTkf0t3F4xwT2+hCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T10:47:10.300007Z"},"content_sha256":"d009a9c3c5bab4ee664c58d65d34215c4cce3657a39dabda429edd78df2662e3","schema_version":"1.0","event_id":"sha256:d009a9c3c5bab4ee664c58d65d34215c4cce3657a39dabda429edd78df2662e3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:YMA6KFBLD5QEJC3TPR5GUXKJYS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Deductive Verification of Chain-of-Thought Reasoning","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.LG"],"primary_cat":"cs.CL","authors_text":"Hao Su, Mingu Lee, Roland Memisevic, Xuanlin Li, Yunhao Fang, Zhan Ling, Zhiao Huang","submitted_at":"2023-06-06T17:18:56Z","abstract_excerpt":"Large Language Models (LLMs) significantly benefit from Chain-of-Thought (CoT) prompting in performing various reasoning tasks. While CoT allows models to produce more comprehensive reasoning processes, its emphasis on intermediate reasoning steps can inadvertently introduce hallucinations and accumulated errors, thereby limiting models' ability to solve complex reasoning tasks. Inspired by how humans engage in careful and meticulous deductive logical reasoning processes to solve tasks, we seek to enable language models to perform explicit and rigorous deductive reasoning, and also ensure the "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2306.03872","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2306.03872/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-05T06:56:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WYpONxCqu9rEADkKU5rotetsyApq1S+XB9cWv7nx1zR8sm+kScP72aVS2mCBvWK/MAG/S0pFOD3qDwC+uLQTDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T10:47:10.300601Z"},"content_sha256":"ea471e39209fa0d4eef1c87d7e89146aacfc15fd7bd8fae96c766a355c9de37a","schema_version":"1.0","event_id":"sha256:ea471e39209fa0d4eef1c87d7e89146aacfc15fd7bd8fae96c766a355c9de37a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YMA6KFBLD5QEJC3TPR5GUXKJYS/bundle.json","state_url":"https://pith.science/pith/YMA6KFBLD5QEJC3TPR5GUXKJYS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YMA6KFBLD5QEJC3TPR5GUXKJYS/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-06T10:47:10Z","links":{"resolver":"https://pith.science/pith/YMA6KFBLD5QEJC3TPR5GUXKJYS","bundle":"https://pith.science/pith/YMA6KFBLD5QEJC3TPR5GUXKJYS/bundle.json","state":"https://pith.science/pith/YMA6KFBLD5QEJC3TPR5GUXKJYS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YMA6KFBLD5QEJC3TPR5GUXKJYS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:YMA6KFBLD5QEJC3TPR5GUXKJYS","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":"c9a3bc4e92222fb7d210f7e7769c67cc81355106a5be13d22f87e03c49f793ef","cross_cats_sorted":["cs.AI","cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2023-06-06T17:18:56Z","title_canon_sha256":"ef523140b27b9aece773c3a06396502470838d5a813395165505c96a7b8bc139"},"schema_version":"1.0","source":{"id":"2306.03872","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2306.03872","created_at":"2026-07-05T06:56:53Z"},{"alias_kind":"arxiv_version","alias_value":"2306.03872v3","created_at":"2026-07-05T06:56:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2306.03872","created_at":"2026-07-05T06:56:53Z"},{"alias_kind":"pith_short_12","alias_value":"YMA6KFBLD5QE","created_at":"2026-07-05T06:56:53Z"},{"alias_kind":"pith_short_16","alias_value":"YMA6KFBLD5QEJC3T","created_at":"2026-07-05T06:56:53Z"},{"alias_kind":"pith_short_8","alias_value":"YMA6KFBL","created_at":"2026-07-05T06:56:53Z"}],"graph_snapshots":[{"event_id":"sha256:ea471e39209fa0d4eef1c87d7e89146aacfc15fd7bd8fae96c766a355c9de37a","target":"graph","created_at":"2026-07-05T06:56:53Z","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/2306.03872/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large Language Models (LLMs) significantly benefit from Chain-of-Thought (CoT) prompting in performing various reasoning tasks. While CoT allows models to produce more comprehensive reasoning processes, its emphasis on intermediate reasoning steps can inadvertently introduce hallucinations and accumulated errors, thereby limiting models' ability to solve complex reasoning tasks. Inspired by how humans engage in careful and meticulous deductive logical reasoning processes to solve tasks, we seek to enable language models to perform explicit and rigorous deductive reasoning, and also ensure the ","authors_text":"Hao Su, Mingu Lee, Roland Memisevic, Xuanlin Li, Yunhao Fang, Zhan Ling, Zhiao Huang","cross_cats":["cs.AI","cs.LG"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2023-06-06T17:18:56Z","title":"Deductive Verification of Chain-of-Thought Reasoning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2306.03872","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:d009a9c3c5bab4ee664c58d65d34215c4cce3657a39dabda429edd78df2662e3","target":"record","created_at":"2026-07-05T06:56:53Z","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":"c9a3bc4e92222fb7d210f7e7769c67cc81355106a5be13d22f87e03c49f793ef","cross_cats_sorted":["cs.AI","cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2023-06-06T17:18:56Z","title_canon_sha256":"ef523140b27b9aece773c3a06396502470838d5a813395165505c96a7b8bc139"},"schema_version":"1.0","source":{"id":"2306.03872","kind":"arxiv","version":3}},"canonical_sha256":"c301e5142b1f60448b737c7a6a5d49c4aadbac0ecfc5b60a37b2f72fd95a3555","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c301e5142b1f60448b737c7a6a5d49c4aadbac0ecfc5b60a37b2f72fd95a3555","first_computed_at":"2026-07-05T06:56:53.688498Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:56:53.688498Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"lIfT/HrfTiNfHNz8ljOBsQfqkPAi992ipdcN5+5cRJ77HV2AWDMwwdsqgYUAqisoNuTdLsNFfxTwMUigUVO9Dg==","signature_status":"signed_v1","signed_at":"2026-07-05T06:56:53.688975Z","signed_message":"canonical_sha256_bytes"},"source_id":"2306.03872","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d009a9c3c5bab4ee664c58d65d34215c4cce3657a39dabda429edd78df2662e3","sha256:ea471e39209fa0d4eef1c87d7e89146aacfc15fd7bd8fae96c766a355c9de37a"],"state_sha256":"882f27a98bd88f3fcf02685f928c5f28f25a7c09c811bd2b621d6dbfe2717470"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"I+fEUr9PfPXOzeOFV4XWphfi6onJbRc4R15zfSjsKgzsqVLbg1Aa51zIKbOQpfs3HobXK5j5CsOi/2xnLnrkBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T10:47:10.304995Z","bundle_sha256":"e830d30c84bea2288dacd9f12340350edfd7a5cb93ccca08c5b1cfc9a5720c0b"}}