{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:7P2O3HNR7ULKOHTBEQZ6WWALFP","short_pith_number":"pith:7P2O3HNR","canonical_record":{"source":{"id":"2504.03930","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-04-04T20:57:36Z","cross_cats_sorted":["cs.CC","cs.LG"],"title_canon_sha256":"1325d173fc0893225814643738f24f72772e55a7672c6075d7d33a4d68d144c9","abstract_canon_sha256":"d55b868942bcadb83695ec6e96e9816dd5ba84e6e9c6a52ddfde3f2d828536f1"},"schema_version":"1.0"},"canonical_sha256":"fbf4ed9db1fd16a71e612433eb580b2bc4b7b878c559364eebc31600b72a9614","source":{"kind":"arxiv","id":"2504.03930","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.03930","created_at":"2026-07-05T10:44:51Z"},{"alias_kind":"arxiv_version","alias_value":"2504.03930v1","created_at":"2026-07-05T10:44:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.03930","created_at":"2026-07-05T10:44:51Z"},{"alias_kind":"pith_short_12","alias_value":"7P2O3HNR7ULK","created_at":"2026-07-05T10:44:51Z"},{"alias_kind":"pith_short_16","alias_value":"7P2O3HNR7ULKOHTB","created_at":"2026-07-05T10:44:51Z"},{"alias_kind":"pith_short_8","alias_value":"7P2O3HNR","created_at":"2026-07-05T10:44:51Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:7P2O3HNR7ULKOHTBEQZ6WWALFP","target":"record","payload":{"canonical_record":{"source":{"id":"2504.03930","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-04-04T20:57:36Z","cross_cats_sorted":["cs.CC","cs.LG"],"title_canon_sha256":"1325d173fc0893225814643738f24f72772e55a7672c6075d7d33a4d68d144c9","abstract_canon_sha256":"d55b868942bcadb83695ec6e96e9816dd5ba84e6e9c6a52ddfde3f2d828536f1"},"schema_version":"1.0"},"canonical_sha256":"fbf4ed9db1fd16a71e612433eb580b2bc4b7b878c559364eebc31600b72a9614","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:44:51.420507Z","signature_b64":"2OJoHzQ4pKrnoRfLE8QJh9ny2vyQZDFg8J2hJNqLPPqnVBq3uwrCHMAfxZ4pNHrqPZeoSdhwP+MvP6U1ejJNDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fbf4ed9db1fd16a71e612433eb580b2bc4b7b878c559364eebc31600b72a9614","last_reissued_at":"2026-07-05T10:44:51.419965Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:44:51.419965Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2504.03930","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-05T10:44:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NPXgFWHVT15mmu/0g9cp5EgMxWFI+3nIf70tUyNm4RAtWeexxxFcfrU7eth5FrGoaumTDscAlVTudWheUFu3AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T11:21:58.397547Z"},"content_sha256":"4e0e7ce3b6b26ca2f7cc04583437e69e56e28a35bc667bc7be7c78a4ce062f7e","schema_version":"1.0","event_id":"sha256:4e0e7ce3b6b26ca2f7cc04583437e69e56e28a35bc667bc7be7c78a4ce062f7e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:7P2O3HNR7ULKOHTBEQZ6WWALFP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Have Large Language Models Learned to Reason? A Characterization via 3-SAT Phase Transition","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.CC","cs.LG"],"primary_cat":"cs.AI","authors_text":"Gabriele Venturato, Luc De Raedt, Pedro Zuidberg Dos Martires, Rishi Hazra","submitted_at":"2025-04-04T20:57:36Z","abstract_excerpt":"Large Language Models (LLMs) have been touted as AI models possessing advanced reasoning abilities. In theory, autoregressive LLMs with Chain-of-Thought (CoT) can perform more serial computations to solve complex reasoning tasks. However, recent studies suggest that, despite this capacity, LLMs do not truly learn to reason but instead fit on statistical features. 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 reaso"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.03930","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/2504.03930/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-05T10:44:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SYLg/Axtu05QzTE3vXz4AxKCxkhO81jdbZvwD/MIeAq3ilCOvaUyCfdlxtvG17dOFuu3ehunjDP8sWbeB4aCBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T11:21:58.398542Z"},"content_sha256":"44311956ab6b537566eaf2662c2fe5611399dc5f03da96705c43aa0ecdb14a5e","schema_version":"1.0","event_id":"sha256:44311956ab6b537566eaf2662c2fe5611399dc5f03da96705c43aa0ecdb14a5e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7P2O3HNR7ULKOHTBEQZ6WWALFP/bundle.json","state_url":"https://pith.science/pith/7P2O3HNR7ULKOHTBEQZ6WWALFP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7P2O3HNR7ULKOHTBEQZ6WWALFP/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-08T11:21:58Z","links":{"resolver":"https://pith.science/pith/7P2O3HNR7ULKOHTBEQZ6WWALFP","bundle":"https://pith.science/pith/7P2O3HNR7ULKOHTBEQZ6WWALFP/bundle.json","state":"https://pith.science/pith/7P2O3HNR7ULKOHTBEQZ6WWALFP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7P2O3HNR7ULKOHTBEQZ6WWALFP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:7P2O3HNR7ULKOHTBEQZ6WWALFP","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":"d55b868942bcadb83695ec6e96e9816dd5ba84e6e9c6a52ddfde3f2d828536f1","cross_cats_sorted":["cs.CC","cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-04-04T20:57:36Z","title_canon_sha256":"1325d173fc0893225814643738f24f72772e55a7672c6075d7d33a4d68d144c9"},"schema_version":"1.0","source":{"id":"2504.03930","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.03930","created_at":"2026-07-05T10:44:51Z"},{"alias_kind":"arxiv_version","alias_value":"2504.03930v1","created_at":"2026-07-05T10:44:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.03930","created_at":"2026-07-05T10:44:51Z"},{"alias_kind":"pith_short_12","alias_value":"7P2O3HNR7ULK","created_at":"2026-07-05T10:44:51Z"},{"alias_kind":"pith_short_16","alias_value":"7P2O3HNR7ULKOHTB","created_at":"2026-07-05T10:44:51Z"},{"alias_kind":"pith_short_8","alias_value":"7P2O3HNR","created_at":"2026-07-05T10:44:51Z"}],"graph_snapshots":[{"event_id":"sha256:44311956ab6b537566eaf2662c2fe5611399dc5f03da96705c43aa0ecdb14a5e","target":"graph","created_at":"2026-07-05T10:44:51Z","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/2504.03930/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. In theory, autoregressive LLMs with Chain-of-Thought (CoT) can perform more serial computations to solve complex reasoning tasks. However, recent studies suggest that, despite this capacity, LLMs do not truly learn to reason but instead fit on statistical features. 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 reaso","authors_text":"Gabriele Venturato, Luc De Raedt, Pedro Zuidberg Dos Martires, Rishi Hazra","cross_cats":["cs.CC","cs.LG"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-04-04T20:57:36Z","title":"Have Large Language Models Learned to Reason? A Characterization via 3-SAT Phase Transition"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.03930","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:4e0e7ce3b6b26ca2f7cc04583437e69e56e28a35bc667bc7be7c78a4ce062f7e","target":"record","created_at":"2026-07-05T10:44:51Z","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":"d55b868942bcadb83695ec6e96e9816dd5ba84e6e9c6a52ddfde3f2d828536f1","cross_cats_sorted":["cs.CC","cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-04-04T20:57:36Z","title_canon_sha256":"1325d173fc0893225814643738f24f72772e55a7672c6075d7d33a4d68d144c9"},"schema_version":"1.0","source":{"id":"2504.03930","kind":"arxiv","version":1}},"canonical_sha256":"fbf4ed9db1fd16a71e612433eb580b2bc4b7b878c559364eebc31600b72a9614","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fbf4ed9db1fd16a71e612433eb580b2bc4b7b878c559364eebc31600b72a9614","first_computed_at":"2026-07-05T10:44:51.419965Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:44:51.419965Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2OJoHzQ4pKrnoRfLE8QJh9ny2vyQZDFg8J2hJNqLPPqnVBq3uwrCHMAfxZ4pNHrqPZeoSdhwP+MvP6U1ejJNDw==","signature_status":"signed_v1","signed_at":"2026-07-05T10:44:51.420507Z","signed_message":"canonical_sha256_bytes"},"source_id":"2504.03930","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4e0e7ce3b6b26ca2f7cc04583437e69e56e28a35bc667bc7be7c78a4ce062f7e","sha256:44311956ab6b537566eaf2662c2fe5611399dc5f03da96705c43aa0ecdb14a5e"],"state_sha256":"cb3e21fb3755f5bcd84374612dc6df81d1375b31ea053c8de23616c5b5c0b4b3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kt3aDvXh4Dp3aXMJnQXlIfbJE2sCOly15J/7KHIctPHodKmYwJGY5QIucdRv/ZqxZ5AUhb1Hd9f8fnbzaw8pDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T11:21:58.405610Z","bundle_sha256":"61b3ffeb4ea1c9d1a2d13ddbeec4f50b586647db664fb2090256a3acbdd1b9a8"}}