{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:SD6XGFF5K375ACFZ4VTURHG2UZ","short_pith_number":"pith:SD6XGFF5","canonical_record":{"source":{"id":"2408.07215","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-08-13T21:54:10Z","cross_cats_sorted":[],"title_canon_sha256":"7b22554a8dc1bb2af5098b5fc5dd6790b9a4432be690ece15701388d1156e1d9","abstract_canon_sha256":"53fc132da6d12b4e8f5a6a2a53aacca09054ece8b5cf16b5fb9038620eed5be5"},"schema_version":"1.0"},"canonical_sha256":"90fd7314bd56ffd008b9e567489cdaa673b9fc43f511de7ece8494369872feb9","source":{"kind":"arxiv","id":"2408.07215","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2408.07215","created_at":"2026-07-05T09:24:17Z"},{"alias_kind":"arxiv_version","alias_value":"2408.07215v2","created_at":"2026-07-05T09:24:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2408.07215","created_at":"2026-07-05T09:24:17Z"},{"alias_kind":"pith_short_12","alias_value":"SD6XGFF5K375","created_at":"2026-07-05T09:24:17Z"},{"alias_kind":"pith_short_16","alias_value":"SD6XGFF5K375ACFZ","created_at":"2026-07-05T09:24:17Z"},{"alias_kind":"pith_short_8","alias_value":"SD6XGFF5","created_at":"2026-07-05T09:24:17Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:SD6XGFF5K375ACFZ4VTURHG2UZ","target":"record","payload":{"canonical_record":{"source":{"id":"2408.07215","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-08-13T21:54:10Z","cross_cats_sorted":[],"title_canon_sha256":"7b22554a8dc1bb2af5098b5fc5dd6790b9a4432be690ece15701388d1156e1d9","abstract_canon_sha256":"53fc132da6d12b4e8f5a6a2a53aacca09054ece8b5cf16b5fb9038620eed5be5"},"schema_version":"1.0"},"canonical_sha256":"90fd7314bd56ffd008b9e567489cdaa673b9fc43f511de7ece8494369872feb9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:24:17.772988Z","signature_b64":"ug0fnRPdpzPwdlpPkDCyfvBUQYAsjKtb8JAILSGNRU45H08NOaCyTDLNbC/jl3wNsFi/nuuvyK/KeDg8B6+lAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"90fd7314bd56ffd008b9e567489cdaa673b9fc43f511de7ece8494369872feb9","last_reissued_at":"2026-07-05T09:24:17.772493Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:24:17.772493Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2408.07215","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-05T09:24:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"o8Ty4C8RGe2KlgmdfP94QklCfLYYYCxpDCD538FY8kFbPZ55Xp6aEqS9OgTF/uUh7xNJwoxRNHdH+48BWAunAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T20:56:24.764166Z"},"content_sha256":"811c3e35b434ccb44c7df332eccd2ee072d6e1fb3753b5f4bb1a46f9b786c979","schema_version":"1.0","event_id":"sha256:811c3e35b434ccb44c7df332eccd2ee072d6e1fb3753b5f4bb1a46f9b786c979"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:SD6XGFF5K375ACFZ4VTURHG2UZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Can Large Language Models Reason? A Characterization via 3-SAT","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Gabriele Venturato, Luc De Raedt, Pedro Zuidberg Dos Martires, Rishi Hazra","submitted_at":"2024-08-13T21:54:10Z","abstract_excerpt":"Large Language Models (LLMs) have been touted as AI models possessing advanced reasoning abilities. However, recent works have shown that LLMs often bypass true reasoning using shortcuts, sparking skepticism. To study the reasoning capabilities in a principled fashion, we adopt a computational theory perspective and propose an experimental protocol centered on 3-SAT -- the prototypical NP-complete problem lying at the core of logical reasoning and constraint satisfaction tasks. Specifically, we examine the phase transitions in random 3-SAT and characterize the reasoning abilities of LLMs by va"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2408.07215","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/2408.07215/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-05T09:24:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IAyAKJMiMWJ11uxbIr5/y3EbUpIgVeYloEBshA2VCjlvY8TNfvDRMOBWh64NGYl3Z3ANW9zEF3O4v3IYeqwsDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T20:56:24.764660Z"},"content_sha256":"e2aafecce7f999bd8717c13a8b78197ca97da00f44e09f9b08d916e57697cba3","schema_version":"1.0","event_id":"sha256:e2aafecce7f999bd8717c13a8b78197ca97da00f44e09f9b08d916e57697cba3"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SD6XGFF5K375ACFZ4VTURHG2UZ/bundle.json","state_url":"https://pith.science/pith/SD6XGFF5K375ACFZ4VTURHG2UZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SD6XGFF5K375ACFZ4VTURHG2UZ/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-07T20:56:24Z","links":{"resolver":"https://pith.science/pith/SD6XGFF5K375ACFZ4VTURHG2UZ","bundle":"https://pith.science/pith/SD6XGFF5K375ACFZ4VTURHG2UZ/bundle.json","state":"https://pith.science/pith/SD6XGFF5K375ACFZ4VTURHG2UZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SD6XGFF5K375ACFZ4VTURHG2UZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:SD6XGFF5K375ACFZ4VTURHG2UZ","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":"53fc132da6d12b4e8f5a6a2a53aacca09054ece8b5cf16b5fb9038620eed5be5","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-08-13T21:54:10Z","title_canon_sha256":"7b22554a8dc1bb2af5098b5fc5dd6790b9a4432be690ece15701388d1156e1d9"},"schema_version":"1.0","source":{"id":"2408.07215","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2408.07215","created_at":"2026-07-05T09:24:17Z"},{"alias_kind":"arxiv_version","alias_value":"2408.07215v2","created_at":"2026-07-05T09:24:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2408.07215","created_at":"2026-07-05T09:24:17Z"},{"alias_kind":"pith_short_12","alias_value":"SD6XGFF5K375","created_at":"2026-07-05T09:24:17Z"},{"alias_kind":"pith_short_16","alias_value":"SD6XGFF5K375ACFZ","created_at":"2026-07-05T09:24:17Z"},{"alias_kind":"pith_short_8","alias_value":"SD6XGFF5","created_at":"2026-07-05T09:24:17Z"}],"graph_snapshots":[{"event_id":"sha256:e2aafecce7f999bd8717c13a8b78197ca97da00f44e09f9b08d916e57697cba3","target":"graph","created_at":"2026-07-05T09:24:17Z","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/2408.07215/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large Language Models (LLMs) have been touted as AI models possessing advanced reasoning abilities. However, recent works have shown that LLMs often bypass true reasoning using shortcuts, sparking skepticism. To study the reasoning capabilities in a principled fashion, we adopt a computational theory perspective and propose an experimental protocol centered on 3-SAT -- the prototypical NP-complete problem lying at the core of logical reasoning and constraint satisfaction tasks. Specifically, we examine the phase transitions in random 3-SAT and characterize the reasoning abilities of LLMs by va","authors_text":"Gabriele Venturato, Luc De Raedt, Pedro Zuidberg Dos Martires, Rishi Hazra","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-08-13T21:54:10Z","title":"Can Large Language Models Reason? A Characterization via 3-SAT"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2408.07215","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:811c3e35b434ccb44c7df332eccd2ee072d6e1fb3753b5f4bb1a46f9b786c979","target":"record","created_at":"2026-07-05T09:24:17Z","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":"53fc132da6d12b4e8f5a6a2a53aacca09054ece8b5cf16b5fb9038620eed5be5","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-08-13T21:54:10Z","title_canon_sha256":"7b22554a8dc1bb2af5098b5fc5dd6790b9a4432be690ece15701388d1156e1d9"},"schema_version":"1.0","source":{"id":"2408.07215","kind":"arxiv","version":2}},"canonical_sha256":"90fd7314bd56ffd008b9e567489cdaa673b9fc43f511de7ece8494369872feb9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"90fd7314bd56ffd008b9e567489cdaa673b9fc43f511de7ece8494369872feb9","first_computed_at":"2026-07-05T09:24:17.772493Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:24:17.772493Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ug0fnRPdpzPwdlpPkDCyfvBUQYAsjKtb8JAILSGNRU45H08NOaCyTDLNbC/jl3wNsFi/nuuvyK/KeDg8B6+lAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T09:24:17.772988Z","signed_message":"canonical_sha256_bytes"},"source_id":"2408.07215","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:811c3e35b434ccb44c7df332eccd2ee072d6e1fb3753b5f4bb1a46f9b786c979","sha256:e2aafecce7f999bd8717c13a8b78197ca97da00f44e09f9b08d916e57697cba3"],"state_sha256":"7205e097c6630784d97b9b9e1814877b8838fce8124027069372c7d456fa2f31"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"W4oy20NH38/1ui3dPUrm9U9MdP3fKGDEG7DgbZUlvnDTRIMKfbbKcuJPwIUkx3Fn+WYKcNOFVBAjbMs3xNe/Bg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T20:56:24.769828Z","bundle_sha256":"2cc71e68472d3ada610ba29bf92f7bf1cc86ecb260d14f2610516dab92001ade"}}