{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:QG5MAMVKSIMTJRAS7Q4Z454CYR","short_pith_number":"pith:QG5MAMVK","canonical_record":{"source":{"id":"2403.16097","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-03-24T11:27:16Z","cross_cats_sorted":["cs.LO","cs.SE"],"title_canon_sha256":"cc9d85e44031149de676f2e21aa5d10e3606c4819f14e5db747608d0ed438e98","abstract_canon_sha256":"d51d4bca651dbac9c7347581a85a652813d05eb4834c72317647c780e2ae88d7"},"schema_version":"1.0"},"canonical_sha256":"81bac032aa921934c412fc399e7782c479f8a593eb2d32761da2c64b8bec858c","source":{"kind":"arxiv","id":"2403.16097","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2403.16097","created_at":"2026-07-05T08:01:39Z"},{"alias_kind":"arxiv_version","alias_value":"2403.16097v2","created_at":"2026-07-05T08:01:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2403.16097","created_at":"2026-07-05T08:01:39Z"},{"alias_kind":"pith_short_12","alias_value":"QG5MAMVKSIMT","created_at":"2026-07-05T08:01:39Z"},{"alias_kind":"pith_short_16","alias_value":"QG5MAMVKSIMTJRAS","created_at":"2026-07-05T08:01:39Z"},{"alias_kind":"pith_short_8","alias_value":"QG5MAMVK","created_at":"2026-07-05T08:01:39Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:QG5MAMVKSIMTJRAS7Q4Z454CYR","target":"record","payload":{"canonical_record":{"source":{"id":"2403.16097","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-03-24T11:27:16Z","cross_cats_sorted":["cs.LO","cs.SE"],"title_canon_sha256":"cc9d85e44031149de676f2e21aa5d10e3606c4819f14e5db747608d0ed438e98","abstract_canon_sha256":"d51d4bca651dbac9c7347581a85a652813d05eb4834c72317647c780e2ae88d7"},"schema_version":"1.0"},"canonical_sha256":"81bac032aa921934c412fc399e7782c479f8a593eb2d32761da2c64b8bec858c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:01:39.219934Z","signature_b64":"KgR3KUIHwIf0VvASQut54hYhNJvonEK8q9hsPUcW/oyoRPAWmAio8YpgzUcF6jQAqQ2y3TPTttS+rmVDXmHoAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"81bac032aa921934c412fc399e7782c479f8a593eb2d32761da2c64b8bec858c","last_reissued_at":"2026-07-05T08:01:39.219266Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:01:39.219266Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2403.16097","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:01:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JMUrkgwK/jPJrPmmmU5Tw+7lOzA69hUqG5oPzhNWgLr2K0+HZPSKRC4Hz4hD0WlEqBKoubmvM5R6AWNylJSxAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T22:45:09.449341Z"},"content_sha256":"28cb0d1cc29b72d4a8f37edf09a5ad388b48a2e1966f1c70369563a04f81c12d","schema_version":"1.0","event_id":"sha256:28cb0d1cc29b72d4a8f37edf09a5ad388b48a2e1966f1c70369563a04f81c12d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:QG5MAMVKSIMTJRAS7Q4Z454CYR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Can Language Models Pretend Solvers? Logic Code Simulation with LLMs","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LO","cs.SE"],"primary_cat":"cs.AI","authors_text":"Guoqiang Li, Jianxin Xue, Ling-I Wu, Minyu Chen, Ruibang Liu, Xi Chang, Yuxin Su","submitted_at":"2024-03-24T11:27:16Z","abstract_excerpt":"Transformer-based large language models (LLMs) have demonstrated significant potential in addressing logic problems. capitalizing on the great capabilities of LLMs for code-related activities, several frameworks leveraging logical solvers for logic reasoning have been proposed recently. While existing research predominantly focuses on viewing LLMs as natural language logic solvers or translators, their roles as logic code interpreters and executors have received limited attention. This study delves into a novel aspect, namely logic code simulation, which forces LLMs to emulate logical solvers "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2403.16097","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/2403.16097/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:01:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QTfr25lXOxX7uZCvFH/KfgJvRFRz3lq1hPW+Cio1j/YDtRpAKLUfEtFvdLw3ji7WjNp0x9H4tG91aSt8Lcg/Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T22:45:09.450219Z"},"content_sha256":"07d864bee5fddb0442887a7f6991e90a5f58621cfb6d1c95dcaa357db927c9fd","schema_version":"1.0","event_id":"sha256:07d864bee5fddb0442887a7f6991e90a5f58621cfb6d1c95dcaa357db927c9fd"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QG5MAMVKSIMTJRAS7Q4Z454CYR/bundle.json","state_url":"https://pith.science/pith/QG5MAMVKSIMTJRAS7Q4Z454CYR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QG5MAMVKSIMTJRAS7Q4Z454CYR/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-06T22:45:09Z","links":{"resolver":"https://pith.science/pith/QG5MAMVKSIMTJRAS7Q4Z454CYR","bundle":"https://pith.science/pith/QG5MAMVKSIMTJRAS7Q4Z454CYR/bundle.json","state":"https://pith.science/pith/QG5MAMVKSIMTJRAS7Q4Z454CYR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QG5MAMVKSIMTJRAS7Q4Z454CYR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:QG5MAMVKSIMTJRAS7Q4Z454CYR","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":"d51d4bca651dbac9c7347581a85a652813d05eb4834c72317647c780e2ae88d7","cross_cats_sorted":["cs.LO","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-03-24T11:27:16Z","title_canon_sha256":"cc9d85e44031149de676f2e21aa5d10e3606c4819f14e5db747608d0ed438e98"},"schema_version":"1.0","source":{"id":"2403.16097","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2403.16097","created_at":"2026-07-05T08:01:39Z"},{"alias_kind":"arxiv_version","alias_value":"2403.16097v2","created_at":"2026-07-05T08:01:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2403.16097","created_at":"2026-07-05T08:01:39Z"},{"alias_kind":"pith_short_12","alias_value":"QG5MAMVKSIMT","created_at":"2026-07-05T08:01:39Z"},{"alias_kind":"pith_short_16","alias_value":"QG5MAMVKSIMTJRAS","created_at":"2026-07-05T08:01:39Z"},{"alias_kind":"pith_short_8","alias_value":"QG5MAMVK","created_at":"2026-07-05T08:01:39Z"}],"graph_snapshots":[{"event_id":"sha256:07d864bee5fddb0442887a7f6991e90a5f58621cfb6d1c95dcaa357db927c9fd","target":"graph","created_at":"2026-07-05T08:01:39Z","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/2403.16097/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Transformer-based large language models (LLMs) have demonstrated significant potential in addressing logic problems. capitalizing on the great capabilities of LLMs for code-related activities, several frameworks leveraging logical solvers for logic reasoning have been proposed recently. While existing research predominantly focuses on viewing LLMs as natural language logic solvers or translators, their roles as logic code interpreters and executors have received limited attention. This study delves into a novel aspect, namely logic code simulation, which forces LLMs to emulate logical solvers ","authors_text":"Guoqiang Li, Jianxin Xue, Ling-I Wu, Minyu Chen, Ruibang Liu, Xi Chang, Yuxin Su","cross_cats":["cs.LO","cs.SE"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-03-24T11:27:16Z","title":"Can Language Models Pretend Solvers? Logic Code Simulation with LLMs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2403.16097","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:28cb0d1cc29b72d4a8f37edf09a5ad388b48a2e1966f1c70369563a04f81c12d","target":"record","created_at":"2026-07-05T08:01:39Z","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":"d51d4bca651dbac9c7347581a85a652813d05eb4834c72317647c780e2ae88d7","cross_cats_sorted":["cs.LO","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-03-24T11:27:16Z","title_canon_sha256":"cc9d85e44031149de676f2e21aa5d10e3606c4819f14e5db747608d0ed438e98"},"schema_version":"1.0","source":{"id":"2403.16097","kind":"arxiv","version":2}},"canonical_sha256":"81bac032aa921934c412fc399e7782c479f8a593eb2d32761da2c64b8bec858c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"81bac032aa921934c412fc399e7782c479f8a593eb2d32761da2c64b8bec858c","first_computed_at":"2026-07-05T08:01:39.219266Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:01:39.219266Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"KgR3KUIHwIf0VvASQut54hYhNJvonEK8q9hsPUcW/oyoRPAWmAio8YpgzUcF6jQAqQ2y3TPTttS+rmVDXmHoAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T08:01:39.219934Z","signed_message":"canonical_sha256_bytes"},"source_id":"2403.16097","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:28cb0d1cc29b72d4a8f37edf09a5ad388b48a2e1966f1c70369563a04f81c12d","sha256:07d864bee5fddb0442887a7f6991e90a5f58621cfb6d1c95dcaa357db927c9fd"],"state_sha256":"8b4b1c4a88cfe349da42075f2914b61e61d66f519a0c646b131c2f0f0c1eff88"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sjrShu/DJc7xgAq109xfE9Qv7eEGNxlkhhdTvW4J1E8fTxy0t9kRLzGj3p4IM1IYxJ81Qpwufk5qDUlAqVaaDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T22:45:09.454899Z","bundle_sha256":"e0a12a72cd970f52f361b5fb99d5486d0a1427cc5bfb718411adb4c326e2ed5f"}}