{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:BD5756QC2PSMBPZPNSH566HTEA","short_pith_number":"pith:BD5756QC","canonical_record":{"source":{"id":"2505.16114","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-05-22T01:37:40Z","cross_cats_sorted":[],"title_canon_sha256":"8178aa65edc02383b293c047154fda99fa07a5a28833380172fdef2efcdbd4df","abstract_canon_sha256":"8496c653b3db8518aff58ad2b3b543a2bb2f5f95274c198d4d77111a09d7cebe"},"schema_version":"1.0"},"canonical_sha256":"08fbfefa02d3e4c0bf2f6c8fdf78f32038c7950df0d359c27112cd810b4bc10d","source":{"kind":"arxiv","id":"2505.16114","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.16114","created_at":"2026-07-05T11:07:30Z"},{"alias_kind":"arxiv_version","alias_value":"2505.16114v1","created_at":"2026-07-05T11:07:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.16114","created_at":"2026-07-05T11:07:30Z"},{"alias_kind":"pith_short_12","alias_value":"BD5756QC2PSM","created_at":"2026-07-05T11:07:30Z"},{"alias_kind":"pith_short_16","alias_value":"BD5756QC2PSMBPZP","created_at":"2026-07-05T11:07:30Z"},{"alias_kind":"pith_short_8","alias_value":"BD5756QC","created_at":"2026-07-05T11:07:30Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:BD5756QC2PSMBPZPNSH566HTEA","target":"record","payload":{"canonical_record":{"source":{"id":"2505.16114","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-05-22T01:37:40Z","cross_cats_sorted":[],"title_canon_sha256":"8178aa65edc02383b293c047154fda99fa07a5a28833380172fdef2efcdbd4df","abstract_canon_sha256":"8496c653b3db8518aff58ad2b3b543a2bb2f5f95274c198d4d77111a09d7cebe"},"schema_version":"1.0"},"canonical_sha256":"08fbfefa02d3e4c0bf2f6c8fdf78f32038c7950df0d359c27112cd810b4bc10d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:07:30.185739Z","signature_b64":"QGdXapMVBFBqfFW6Zhm8d339gp9KrnafJ8tE2QDQPgPWdMr8yPaju3cP1bibii+iJ+dTlWlgfe5miDXfc+0sAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"08fbfefa02d3e4c0bf2f6c8fdf78f32038c7950df0d359c27112cd810b4bc10d","last_reissued_at":"2026-07-05T11:07:30.185221Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:07:30.185221Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2505.16114","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-05T11:07:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yeONzWDF6ArQEHoUUXXew1mKllcZvhUX3m62ysvWrsBAa1d7f5Bl6zyqfm1rCHo5ZGxALzaTQgyB3owQfYUEDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T17:31:31.783502Z"},"content_sha256":"3b6f81418b626ee65642655b278089db78a30fa593c20a6e4db2721d03a30791","schema_version":"1.0","event_id":"sha256:3b6f81418b626ee65642655b278089db78a30fa593c20a6e4db2721d03a30791"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:BD5756QC2PSMBPZPNSH566HTEA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Naiqi Li, Peiyuan Liu, Shu-Tao Xia, Tao Dai, Yong Jiang, Zheng Liu","submitted_at":"2025-05-22T01:37:40Z","abstract_excerpt":"Solving puzzles in natural language poses a long-standing challenge in AI. While large language models (LLMs) have recently shown impressive capabilities in a variety of tasks, they continue to struggle with complex puzzles that demand precise reasoning and exhaustive search. In this paper, we propose Logic-of-Thought (Logot), a novel framework that bridges LLMs with logic programming to address this problem. Our method leverages LLMs to translate puzzle rules and states into answer set programs (ASPs), the solution of which are then accurately and efficiently inferred by an ASP interpreter. T"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.16114","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/2505.16114/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-05T11:07:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hFXjMgZ5jubwfof866KpyT2aY8GIpumiUtSxEY+Um2o0F2IxEI6XJ9H7r6SPS+9osToq58Z3jQR9u7X9ZzHYBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T17:31:31.784006Z"},"content_sha256":"f735072a8c20555e251374b70a05bbf4e5f3187f1c3a788ea6d5cac06619b197","schema_version":"1.0","event_id":"sha256:f735072a8c20555e251374b70a05bbf4e5f3187f1c3a788ea6d5cac06619b197"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BD5756QC2PSMBPZPNSH566HTEA/bundle.json","state_url":"https://pith.science/pith/BD5756QC2PSMBPZPNSH566HTEA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BD5756QC2PSMBPZPNSH566HTEA/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-10T17:31:31Z","links":{"resolver":"https://pith.science/pith/BD5756QC2PSMBPZPNSH566HTEA","bundle":"https://pith.science/pith/BD5756QC2PSMBPZPNSH566HTEA/bundle.json","state":"https://pith.science/pith/BD5756QC2PSMBPZPNSH566HTEA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BD5756QC2PSMBPZPNSH566HTEA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:BD5756QC2PSMBPZPNSH566HTEA","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":"8496c653b3db8518aff58ad2b3b543a2bb2f5f95274c198d4d77111a09d7cebe","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-05-22T01:37:40Z","title_canon_sha256":"8178aa65edc02383b293c047154fda99fa07a5a28833380172fdef2efcdbd4df"},"schema_version":"1.0","source":{"id":"2505.16114","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.16114","created_at":"2026-07-05T11:07:30Z"},{"alias_kind":"arxiv_version","alias_value":"2505.16114v1","created_at":"2026-07-05T11:07:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.16114","created_at":"2026-07-05T11:07:30Z"},{"alias_kind":"pith_short_12","alias_value":"BD5756QC2PSM","created_at":"2026-07-05T11:07:30Z"},{"alias_kind":"pith_short_16","alias_value":"BD5756QC2PSMBPZP","created_at":"2026-07-05T11:07:30Z"},{"alias_kind":"pith_short_8","alias_value":"BD5756QC","created_at":"2026-07-05T11:07:30Z"}],"graph_snapshots":[{"event_id":"sha256:f735072a8c20555e251374b70a05bbf4e5f3187f1c3a788ea6d5cac06619b197","target":"graph","created_at":"2026-07-05T11:07:30Z","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/2505.16114/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Solving puzzles in natural language poses a long-standing challenge in AI. While large language models (LLMs) have recently shown impressive capabilities in a variety of tasks, they continue to struggle with complex puzzles that demand precise reasoning and exhaustive search. In this paper, we propose Logic-of-Thought (Logot), a novel framework that bridges LLMs with logic programming to address this problem. Our method leverages LLMs to translate puzzle rules and states into answer set programs (ASPs), the solution of which are then accurately and efficiently inferred by an ASP interpreter. T","authors_text":"Naiqi Li, Peiyuan Liu, Shu-Tao Xia, Tao Dai, Yong Jiang, Zheng Liu","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-05-22T01:37:40Z","title":"Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.16114","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:3b6f81418b626ee65642655b278089db78a30fa593c20a6e4db2721d03a30791","target":"record","created_at":"2026-07-05T11:07:30Z","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":"8496c653b3db8518aff58ad2b3b543a2bb2f5f95274c198d4d77111a09d7cebe","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-05-22T01:37:40Z","title_canon_sha256":"8178aa65edc02383b293c047154fda99fa07a5a28833380172fdef2efcdbd4df"},"schema_version":"1.0","source":{"id":"2505.16114","kind":"arxiv","version":1}},"canonical_sha256":"08fbfefa02d3e4c0bf2f6c8fdf78f32038c7950df0d359c27112cd810b4bc10d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"08fbfefa02d3e4c0bf2f6c8fdf78f32038c7950df0d359c27112cd810b4bc10d","first_computed_at":"2026-07-05T11:07:30.185221Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:07:30.185221Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"QGdXapMVBFBqfFW6Zhm8d339gp9KrnafJ8tE2QDQPgPWdMr8yPaju3cP1bibii+iJ+dTlWlgfe5miDXfc+0sAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T11:07:30.185739Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.16114","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3b6f81418b626ee65642655b278089db78a30fa593c20a6e4db2721d03a30791","sha256:f735072a8c20555e251374b70a05bbf4e5f3187f1c3a788ea6d5cac06619b197"],"state_sha256":"a146a72d2d6f61017c7359f9129ef8d7e04ff9f7572ea249958a0ec5f2feb855"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/98lUsF1V7Nxx1x9VTZ7GwX93QKFJIMXSKHqw3QpqsibJN85r+fgYr7kcVXDtigbcEZ0v5k54dmoMxkzxjm0Bg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T17:31:31.788816Z","bundle_sha256":"e43d51c1a31b6b1c2f171de7162fdccfbe7280860c5b6ef662055076b15efca1"}}