{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:OYDHPXJGG5FJQCLQDAP6UVVVXN","short_pith_number":"pith:OYDHPXJG","canonical_record":{"source":{"id":"2405.00204","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2024-04-30T21:15:17Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"2878441afc6f3cba7bcbaf84e79bbe7fd1640a7680ef1aec76fa5caa538069ff","abstract_canon_sha256":"309803c009360041ac6339a557d546adace7d6ce9e4e54571e62a16c883957ee"},"schema_version":"1.0"},"canonical_sha256":"760677dd26374a980970181fea56b5bb7091eded61cb0de68dff2c854650b4df","source":{"kind":"arxiv","id":"2405.00204","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.00204","created_at":"2026-07-05T08:14:10Z"},{"alias_kind":"arxiv_version","alias_value":"2405.00204v1","created_at":"2026-07-05T08:14:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.00204","created_at":"2026-07-05T08:14:10Z"},{"alias_kind":"pith_short_12","alias_value":"OYDHPXJGG5FJ","created_at":"2026-07-05T08:14:10Z"},{"alias_kind":"pith_short_16","alias_value":"OYDHPXJGG5FJQCLQ","created_at":"2026-07-05T08:14:10Z"},{"alias_kind":"pith_short_8","alias_value":"OYDHPXJG","created_at":"2026-07-05T08:14:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:OYDHPXJGG5FJQCLQDAP6UVVVXN","target":"record","payload":{"canonical_record":{"source":{"id":"2405.00204","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2024-04-30T21:15:17Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"2878441afc6f3cba7bcbaf84e79bbe7fd1640a7680ef1aec76fa5caa538069ff","abstract_canon_sha256":"309803c009360041ac6339a557d546adace7d6ce9e4e54571e62a16c883957ee"},"schema_version":"1.0"},"canonical_sha256":"760677dd26374a980970181fea56b5bb7091eded61cb0de68dff2c854650b4df","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:14:10.056035Z","signature_b64":"Ul09m+I3ydUH5UnxGYcxuxHKZKWSwXrVPv1XNK2g5SNNKLuISXsYUZWtPY3oADbH9zfNokA4+56HmA5WZnWhDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"760677dd26374a980970181fea56b5bb7091eded61cb0de68dff2c854650b4df","last_reissued_at":"2026-07-05T08:14:10.055642Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:14:10.055642Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2405.00204","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-07-05T08:14:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"q6dhQqnDJZkf+droYFNcPdnjr0GoxgBEX5Ni+tZ75WZcdliiXAqOWxLajGkBiZjdhd8WB5HkII1MoidqWPqnBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T17:30:59.698551Z"},"content_sha256":"58dbbf0d821af7b651b5cbddad03a9fcb0e923e7ac6d1ba57b26c98241f3e010","schema_version":"1.0","event_id":"sha256:58dbbf0d821af7b651b5cbddad03a9fcb0e923e7ac6d1ba57b26c98241f3e010"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:OYDHPXJGG5FJQCLQDAP6UVVVXN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"General Purpose Verification for Chain of Thought Prompting","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.CL","authors_text":"Anurag Pratik, Evangelia Spiliopoulou, Giovanni Paolini, Jie Ma, Miguel Ballesteros, Neha Anna John, Robert Vacareanu, Yassine Benajiba, Zheng Qi","submitted_at":"2024-04-30T21:15:17Z","abstract_excerpt":"Many of the recent capabilities demonstrated by Large Language Models (LLMs) arise primarily from their ability to exploit contextual information. In this paper, we explore ways to improve reasoning capabilities of LLMs through (1) exploration of different chains of thought and (2) validation of the individual steps of the reasoning process. We propose three general principles that a model should adhere to while reasoning: (i) Relevance, (ii) Mathematical Accuracy, and (iii) Logical Consistency. We apply these constraints to the reasoning steps generated by the LLM to improve the accuracy of t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.00204","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2405.00204/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:14:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OiVyU6/1gNxUGH0rMN7960yMu7dy8ytHuqLDzgi9wCEvEpJ3BgDvbaC5MlKKn0oK5SoFRanukQfnSYwTL+WeDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T17:30:59.699267Z"},"content_sha256":"4d6cf96b0d0d569140db92f93294d469374b650865efe18f700d212fcef52d11","schema_version":"1.0","event_id":"sha256:4d6cf96b0d0d569140db92f93294d469374b650865efe18f700d212fcef52d11"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OYDHPXJGG5FJQCLQDAP6UVVVXN/bundle.json","state_url":"https://pith.science/pith/OYDHPXJGG5FJQCLQDAP6UVVVXN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OYDHPXJGG5FJQCLQDAP6UVVVXN/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-03T17:30:59Z","links":{"resolver":"https://pith.science/pith/OYDHPXJGG5FJQCLQDAP6UVVVXN","bundle":"https://pith.science/pith/OYDHPXJGG5FJQCLQDAP6UVVVXN/bundle.json","state":"https://pith.science/pith/OYDHPXJGG5FJQCLQDAP6UVVVXN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OYDHPXJGG5FJQCLQDAP6UVVVXN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:OYDHPXJGG5FJQCLQDAP6UVVVXN","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":"309803c009360041ac6339a557d546adace7d6ce9e4e54571e62a16c883957ee","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2024-04-30T21:15:17Z","title_canon_sha256":"2878441afc6f3cba7bcbaf84e79bbe7fd1640a7680ef1aec76fa5caa538069ff"},"schema_version":"1.0","source":{"id":"2405.00204","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.00204","created_at":"2026-07-05T08:14:10Z"},{"alias_kind":"arxiv_version","alias_value":"2405.00204v1","created_at":"2026-07-05T08:14:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.00204","created_at":"2026-07-05T08:14:10Z"},{"alias_kind":"pith_short_12","alias_value":"OYDHPXJGG5FJ","created_at":"2026-07-05T08:14:10Z"},{"alias_kind":"pith_short_16","alias_value":"OYDHPXJGG5FJQCLQ","created_at":"2026-07-05T08:14:10Z"},{"alias_kind":"pith_short_8","alias_value":"OYDHPXJG","created_at":"2026-07-05T08:14:10Z"}],"graph_snapshots":[{"event_id":"sha256:4d6cf96b0d0d569140db92f93294d469374b650865efe18f700d212fcef52d11","target":"graph","created_at":"2026-07-05T08:14:10Z","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/2405.00204/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Many of the recent capabilities demonstrated by Large Language Models (LLMs) arise primarily from their ability to exploit contextual information. In this paper, we explore ways to improve reasoning capabilities of LLMs through (1) exploration of different chains of thought and (2) validation of the individual steps of the reasoning process. We propose three general principles that a model should adhere to while reasoning: (i) Relevance, (ii) Mathematical Accuracy, and (iii) Logical Consistency. We apply these constraints to the reasoning steps generated by the LLM to improve the accuracy of t","authors_text":"Anurag Pratik, Evangelia Spiliopoulou, Giovanni Paolini, Jie Ma, Miguel Ballesteros, Neha Anna John, Robert Vacareanu, Yassine Benajiba, Zheng Qi","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2024-04-30T21:15:17Z","title":"General Purpose Verification for Chain of Thought Prompting"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.00204","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:58dbbf0d821af7b651b5cbddad03a9fcb0e923e7ac6d1ba57b26c98241f3e010","target":"record","created_at":"2026-07-05T08:14:10Z","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":"309803c009360041ac6339a557d546adace7d6ce9e4e54571e62a16c883957ee","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2024-04-30T21:15:17Z","title_canon_sha256":"2878441afc6f3cba7bcbaf84e79bbe7fd1640a7680ef1aec76fa5caa538069ff"},"schema_version":"1.0","source":{"id":"2405.00204","kind":"arxiv","version":1}},"canonical_sha256":"760677dd26374a980970181fea56b5bb7091eded61cb0de68dff2c854650b4df","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"760677dd26374a980970181fea56b5bb7091eded61cb0de68dff2c854650b4df","first_computed_at":"2026-07-05T08:14:10.055642Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:14:10.055642Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Ul09m+I3ydUH5UnxGYcxuxHKZKWSwXrVPv1XNK2g5SNNKLuISXsYUZWtPY3oADbH9zfNokA4+56HmA5WZnWhDA==","signature_status":"signed_v1","signed_at":"2026-07-05T08:14:10.056035Z","signed_message":"canonical_sha256_bytes"},"source_id":"2405.00204","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:58dbbf0d821af7b651b5cbddad03a9fcb0e923e7ac6d1ba57b26c98241f3e010","sha256:4d6cf96b0d0d569140db92f93294d469374b650865efe18f700d212fcef52d11"],"state_sha256":"cf58eeba5ab168252877b54824ace21373a57b780e3f179e74aef24e25b99aec"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"a3Lr0k6sdMQnW6yZnSg4ffC7Oe2uD7wQ6tUQS9k3jm4kwrrWC0ino5atUl6QR107SUCqD/pn2lFUsedYfITpCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T17:30:59.707008Z","bundle_sha256":"b0d5d15af2193f0e09e5aa48e6de2e75250b277db491c7c9fc4cf52ed238ca50"}}