{"as_of":"2026-08-13T22:50:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:b15a13298151891ae429a99343a7861a87dd955bf2255ff4f447662b5bfddc28","coverage":[{"denominator":19,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":19,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T15:09:34.858816Z","state":"measured"},{"denominator":22,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":22,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-13T06:32:02.005865+00:00","state":"measured"},{"denominator":3,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":3,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-05T18:08:41.198061Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-05-11T04:30:55.958868Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2505.16114","last_updated":"2025-05-22T01:37:40Z","snapshot_observed_at":"2026-08-07T15:04:28.470374Z","submitted_at":"2025-05-22T01:37:40Z","title":"Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.16114","snapshot_observed_at":"2026-08-05T18:08:41.198061Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2508.15180","last_updated":"2026-05-28T16:12:56Z","snapshot_observed_at":"2026-08-05T18:08:30.380618Z","submitted_at":"2025-08-21T02:36:16Z","title":"PuzzleClone: A DSL-Powered Framework for Synthesizing Verifiable Data","version":3},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-05T18:08:41.198061Z"},"links":{"cited_paper":"/paper/2505.16114","citing_paper":"/paper/2508.15180"},"observation_digest":"sha256:68697979bcb22654c8188f983ec3d8bb382fc7fe1a41e2879a1e39688f0b22b8","observation_id":"1214942c-ecf5-45eb-8ecb-0b406473a2b1","resolution":{"observed_at":"2026-08-05T18:08:41.198061Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.16114","last_updated":"2025-05-22T01:37:40Z","snapshot_observed_at":"2026-08-07T15:04:28.470374Z","submitted_at":"2025-05-22T01:37:40Z","title":"Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.16114","snapshot_observed_at":"2026-08-05T10:28:50.472815Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.04083","last_updated":"2025-09-04T10:25:50Z","snapshot_observed_at":"2026-08-13T18:43:07.372965Z","submitted_at":"2025-09-04T10:25:50Z","title":"Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-05T10:28:50.472815Z"},"links":{"cited_paper":"/paper/2505.16114","citing_paper":"/paper/2509.04083"},"observation_digest":"sha256:117331de55dbfe85d4dcc2c5dbf9ca60821fb925f2b4ebc3af8e77a724d1a6b8","observation_id":"0e9167ce-6ebd-45c6-9b4e-965e1fac6b12","resolution":{"observed_at":"2026-08-05T10:28:50.472815Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.16114","last_updated":"2025-05-22T01:37:40Z","snapshot_observed_at":"2026-08-07T15:04:28.470374Z","submitted_at":"2025-05-22T01:37:40Z","title":"Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language","version":1},"cited_work":{"arxiv_id":"2505.16114","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2505.16114","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"15e821ec-dd68-41e9-991f-91e2d69f06dc","year":2025},"citing_paper":{"arxiv_id":"2605.07301","last_updated":"2026-05-08T06:11:42Z","snapshot_observed_at":"2026-08-12T12:47:01.750023Z","submitted_at":"2026-05-08T06:11:42Z","title":"SOM: Structured Opponent Modeling for LLM-based Agents via Structural Causal Model","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-11T01:19:42.892343Z"},"links":{"cited_paper":"/paper/2505.16114","citing_paper":"/paper/2605.07301"},"observation_digest":"sha256:b0d85b84534b61f51b7206578ef6e194818f96b70df8d7d3675d482a95ec7030","observation_id":"40641268-b43d-43fc-aa56-436eebee982d","resolution":{"observed_at":"2026-05-11T04:30:55.961558Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2505.16114/citation-record","integrity":"/paper/2505.16114/integrity","json":"/paper/2505.16114/citation-record.json","paper":"/paper/2505.16114"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:09:37.673113Z","title":null,"venue":null,"work_id":"03f634fd-1fff-4d16-8776-573ad31d64cf","year":null},"citing_paper":{"arxiv_id":"2505.16114","last_updated":"2025-05-22T01:37:40Z","snapshot_observed_at":"2026-08-07T15:04:28.470374Z","submitted_at":"2025-05-22T01:37:40Z","title":"Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T15:09:33.618341Z"},"links":{"citing_paper":"/paper/2505.16114"},"observation_digest":"sha256:86e2eda0b4b3c39fd964519b4efea09f37d49761a2e8bbd3ae564bc69fb7d3e5","observation_id":"f8af759c-3067-42cd-ab7f-d8b35df9c5a2","resolution":{"observed_at":"2026-08-07T15:09:37.835932Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:09:37.430075Z","title":null,"venue":null,"work_id":"4a416308-69c1-4d0b-9b0a-2faa3aaaff8d","year":null},"citing_paper":{"arxiv_id":"2505.16114","last_updated":"2025-05-22T01:37:40Z","snapshot_observed_at":"2026-08-07T15:04:28.470374Z","submitted_at":"2025-05-22T01:37:40Z","title":"Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T15:09:33.708360Z"},"links":{"citing_paper":"/paper/2505.16114"},"observation_digest":"sha256:7f4ce4ea5bca35f2a60c962b2a65b4980f6d033a6667f1edac46f2131cb2e956","observation_id":"850bdf49-880b-4d67-b335-9fdf5ff1615d","resolution":{"observed_at":"2026-08-07T15:09:37.566101Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:09:37.087501Z","title":"Hitori” means “alone","venue":null,"work_id":"4a56946f-3d18-445b-9d00-a3b49a0747c0","year":null},"citing_paper":{"arxiv_id":"2505.16114","last_updated":"2025-05-22T01:37:40Z","snapshot_observed_at":"2026-08-07T15:04:28.470374Z","submitted_at":"2025-05-22T01:37:40Z","title":"Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T15:09:33.800428Z"},"links":{"citing_paper":"/paper/2505.16114"},"observation_digest":"sha256:75861b2ea80a874d4658e11091e0151617ddb8347a8d6050141d66ca8a822560","observation_id":"3f553fb7-8e5c-4a31-a712-395c2a7dda6f","resolution":{"observed_at":"2026-08-07T15:09:37.231076Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:09:36.412194Z","title":"eliminated","venue":null,"work_id":"cf9ee282-504b-4708-9d96-7a3ae7835747","year":null},"citing_paper":{"arxiv_id":"2505.16114","last_updated":"2025-05-22T01:37:40Z","snapshot_observed_at":"2026-08-07T15:04:28.470374Z","submitted_at":"2025-05-22T01:37:40Z","title":"Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T15:09:34.154917Z"},"links":{"citing_paper":"/paper/2505.16114"},"observation_digest":"sha256:be699253c1ef6027e69e8ae92e39bc55d1f268aa87ff10fef0fa0b99cbc87dd2","observation_id":"dbaad073-1564-4c56-93fd-917cf621db01","resolution":{"observed_at":"2026-08-07T15:09:36.477849Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:09:34.970242Z","title":"Decide whether a given action is legal in the initial state","venue":null,"work_id":"fd48b140-621e-4c40-823b-6a7920a59a71","year":null},"citing_paper":{"arxiv_id":"2505.16114","last_updated":"2025-05-22T01:37:40Z","snapshot_observed_at":"2026-08-07T15:04:28.470374Z","submitted_at":"2025-05-22T01:37:40Z","title":"Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T15:09:34.858816Z"},"links":{"citing_paper":"/paper/2505.16114"},"observation_digest":"sha256:65fdfb05778a0c0a3238d693cdb4ccaa9f974d9fde6fb6a054c8bba0743e4389","observation_id":"01ee3824-5dcf-489e-9cd3-0d9eae2c2c63","resolution":{"observed_at":"2026-08-07T15:09:35.029994Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:09:36.913179Z","title":null,"venue":null,"work_id":"167cbcae-f996-4add-aa7a-621a54e6efbe","year":null},"citing_paper":{"arxiv_id":"2505.16114","last_updated":"2025-05-22T01:37:40Z","snapshot_observed_at":"2026-08-07T15:04:28.470374Z","submitted_at":"2025-05-22T01:37:40Z","title":"Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T15:09:33.857675Z"},"links":{"citing_paper":"/paper/2505.16114"},"observation_digest":"sha256:f0cd6297488348a69c48001042c271683e65b4ae9de340d3ca8ccf516d93d0aa","observation_id":"1ab5237a-f8f6-4bd4-8a6c-4bd0aa7f4d4f","resolution":{"observed_at":"2026-08-07T15:09:37.018672Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:09:36.711303Z","title":null,"venue":null,"work_id":"2d6889e8-72bc-4e5f-a587-78204eefb5b3","year":null},"citing_paper":{"arxiv_id":"2505.16114","last_updated":"2025-05-22T01:37:40Z","snapshot_observed_at":"2026-08-07T15:04:28.470374Z","submitted_at":"2025-05-22T01:37:40Z","title":"Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T15:09:33.935733Z"},"links":{"citing_paper":"/paper/2505.16114"},"observation_digest":"sha256:878392ff5ebc67e9bb74e5f21ded416a2d26609d92370e71765b747e43ce8c7e","observation_id":"676ff5c7-463b-4158-8a4c-ecb085e68037","resolution":{"observed_at":"2026-08-07T15:09:36.773968Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:09:36.541374Z","title":null,"venue":null,"work_id":"e2aec8ce-a864-4782-ba7e-60665f6c768b","year":null},"citing_paper":{"arxiv_id":"2505.16114","last_updated":"2025-05-22T01:37:40Z","snapshot_observed_at":"2026-08-07T15:04:28.470374Z","submitted_at":"2025-05-22T01:37:40Z","title":"Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T15:09:34.054322Z"},"links":{"citing_paper":"/paper/2505.16114"},"observation_digest":"sha256:79e96879fb64bce2a564b019850e14a3c5633023a30fcec02c5086485fd12e0b","observation_id":"6e4b770c-3f64-4bcb-9746-eec90f0d9a3f","resolution":{"observed_at":"2026-08-07T15:09:36.631708Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:09:36.297615Z","title":null,"venue":null,"work_id":"8d4bff09-52c3-470e-96bd-53594539a7da","year":null},"citing_paper":{"arxiv_id":"2505.16114","last_updated":"2025-05-22T01:37:40Z","snapshot_observed_at":"2026-08-07T15:04:28.470374Z","submitted_at":"2025-05-22T01:37:40Z","title":"Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T15:09:34.214081Z"},"links":{"citing_paper":"/paper/2505.16114"},"observation_digest":"sha256:5ab3ed4e3d0c8c2f5315503e67fe8254c197090a74d2b3c4de8578103706e739","observation_id":"46518d0e-e578-4ac1-b9f6-dc4b4b5b3a81","resolution":{"observed_at":"2026-08-07T15:09:36.349341Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:09:36.170974Z","title":null,"venue":null,"work_id":"c2b92d76-4567-405a-8433-61d8fe947c3e","year":null},"citing_paper":{"arxiv_id":"2505.16114","last_updated":"2025-05-22T01:37:40Z","snapshot_observed_at":"2026-08-07T15:04:28.470374Z","submitted_at":"2025-05-22T01:37:40Z","title":"Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T15:09:34.286758Z"},"links":{"citing_paper":"/paper/2505.16114"},"observation_digest":"sha256:4491abc3548f23ce94c171c856c845f70fda84dec28ad2d538281608243d2286","observation_id":"0630e030-efb0-4683-b480-42c72fcde8a6","resolution":{"observed_at":"2026-08-07T15:09:36.225389Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:09:36.014722Z","title":null,"venue":null,"work_id":"002e21c1-1883-419f-b3e8-62027329e90b","year":null},"citing_paper":{"arxiv_id":"2505.16114","last_updated":"2025-05-22T01:37:40Z","snapshot_observed_at":"2026-08-07T15:04:28.470374Z","submitted_at":"2025-05-22T01:37:40Z","title":"Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T15:09:34.348566Z"},"links":{"citing_paper":"/paper/2505.16114"},"observation_digest":"sha256:6d72ffd25a6f4beee50b148d4e00ef92797690f8289f1fb4e654f39f6dbd2c2b","observation_id":"6135417e-047a-4912-8ae8-b5cdbd608b0f","resolution":{"observed_at":"2026-08-07T15:09:36.082246Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:09:35.846036Z","title":"Figure 11 presents a question-answer pair of the Fillomino puzzle","venue":null,"work_id":"ecb9f33b-1519-4fc8-af5e-5b2873d819f9","year":2023},"citing_paper":{"arxiv_id":"2505.16114","last_updated":"2025-05-22T01:37:40Z","snapshot_observed_at":"2026-08-07T15:04:28.470374Z","submitted_at":"2025-05-22T01:37:40Z","title":"Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T15:09:34.443965Z"},"links":{"citing_paper":"/paper/2505.16114"},"observation_digest":"sha256:f61cb3d74146c037b7cb72023f80ab6105a3bf760f78a6283f1c8c412588a895","observation_id":"ca9f5332-0869-432d-bf0d-e73b8260c140","resolution":{"observed_at":"2026-08-07T15:09:35.934827Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:09:35.665521Z","title":null,"venue":null,"work_id":"a38b7b71-dd89-442e-a5e2-13b8c84b8eb7","year":null},"citing_paper":{"arxiv_id":"2505.16114","last_updated":"2025-05-22T01:37:40Z","snapshot_observed_at":"2026-08-07T15:04:28.470374Z","submitted_at":"2025-05-22T01:37:40Z","title":"Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T15:09:34.545584Z"},"links":{"citing_paper":"/paper/2505.16114"},"observation_digest":"sha256:9122374e8bc7a7da0ecf18f945f495c374ec75b2f7fe99134576f66b0c0c2079","observation_id":"c8f10e16-ba9b-44ea-a92f-949e92f0ba03","resolution":{"observed_at":"2026-08-07T15:09:35.732690Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:09:35.507524Z","title":null,"venue":null,"work_id":"9ae76c9b-476f-4a39-88ad-1f7c40ccf9f4","year":null},"citing_paper":{"arxiv_id":"2505.16114","last_updated":"2025-05-22T01:37:40Z","snapshot_observed_at":"2026-08-07T15:04:28.470374Z","submitted_at":"2025-05-22T01:37:40Z","title":"Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T15:09:34.628699Z"},"links":{"citing_paper":"/paper/2505.16114"},"observation_digest":"sha256:2919a58ec598c0ec0620642622bfbc48c5bfab35a4b22bc57f1f1eec53d3e450","observation_id":"638c7833-6982-4e0d-9547-44ac74beb701","resolution":{"observed_at":"2026-08-07T15:09:35.580103Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:09:35.314649Z","title":null,"venue":null,"work_id":"0bc8bf87-fc4e-4291-ab55-0d0c30870d6b","year":null},"citing_paper":{"arxiv_id":"2505.16114","last_updated":"2025-05-22T01:37:40Z","snapshot_observed_at":"2026-08-07T15:04:28.470374Z","submitted_at":"2025-05-22T01:37:40Z","title":"Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T15:09:34.698956Z"},"links":{"citing_paper":"/paper/2505.16114"},"observation_digest":"sha256:bd79fed8bcab8f35956f7643757ca63e519ccf3b1ccb6ba05c075ffa3bcf3b58","observation_id":"fa2f9cd9-00d4-4589-8ab4-9e3d395442f6","resolution":{"observed_at":"2026-08-07T15:09:35.416147Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:09:35.133234Z","title":null,"venue":null,"work_id":"41d129bf-f99c-4b80-9bf4-e7391ff94e8e","year":null},"citing_paper":{"arxiv_id":"2505.16114","last_updated":"2025-05-22T01:37:40Z","snapshot_observed_at":"2026-08-07T15:04:28.470374Z","submitted_at":"2025-05-22T01:37:40Z","title":"Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T15:09:34.791912Z"},"links":{"citing_paper":"/paper/2505.16114"},"observation_digest":"sha256:cb9ee422b44e5280639870991a819ba1a34ad65c454eea9de026674b3377617b","observation_id":"eb329215-f4bf-44c6-8748-40368004f377","resolution":{"observed_at":"2026-08-07T15:09:35.223288Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2302.13971","last_updated":"2023-02-27T17:11:15Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-02-27T17:11:15Z","title":"LLaMA: Open and Efficient Foundation Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2302.13971","snapshot_observed_at":"2026-08-07T15:09:33.502289Z","title":"InProceedings of the 2022 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, pages 2655–2671","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.16114","last_updated":"2025-05-22T01:37:40Z","snapshot_observed_at":"2026-08-07T15:04:28.470374Z","submitted_at":"2025-05-22T01:37:40Z","title":"Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language","version":1},"reference_index":2022,"source":"pdf_text","source_observed_at":"2026-08-07T15:09:33.502289Z"},"links":{"cited_paper":"/paper/2302.13971","citing_paper":"/paper/2505.16114"},"observation_digest":"sha256:d93ac470e83143e3d16719d5d6c104a5df16b80312450006ee4c57171d51195e","observation_id":"99c4ac9b-08ef-4b1f-adcb-a49110c9dc59","resolution":{"observed_at":"2026-08-07T15:09:33.502289Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:09:37.985332Z","title":"Denny Zhou, Nathanael Schärli, Le Hou, Jason Wei, Nathan Scales, Xuezhi Wang, Dale Schuurmans, Claire Cui, Olivier Bousquet, Quoc V Le, and Ed H","venue":null,"work_id":"d323e2c6-adcb-4231-adf2-8f5a373e5282","year":2023},"citing_paper":{"arxiv_id":"2505.16114","last_updated":"2025-05-22T01:37:40Z","snapshot_observed_at":"2026-08-07T15:04:28.470374Z","submitted_at":"2025-05-22T01:37:40Z","title":"Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language","version":1},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-07T15:09:33.560749Z"},"links":{"citing_paper":"/paper/2505.16114"},"observation_digest":"sha256:7a41b171f048914c57e96c3ea57a9a09895cb7fba00ad170f40eae18bb47fcbb","observation_id":"9472ff6d-3e5e-4682-87b4-eadcd4f7c1f0","resolution":{"observed_at":"2026-08-07T15:09:38.097493Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.19437","last_updated":"2025-02-18T17:26:38Z","snapshot_observed_at":"2026-08-11T01:48:59.557045Z","submitted_at":"2024-12-27T04:03:16Z","title":"DeepSeek-V3 Technical Report","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.19437","snapshot_observed_at":"2026-08-07T15:09:33.448679Z","title":"Itsuki Maeda and Yasuhiro Inoue","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.16114","last_updated":"2025-05-22T01:37:40Z","snapshot_observed_at":"2026-08-07T15:04:28.470374Z","submitted_at":"2025-05-22T01:37:40Z","title":"Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-07T15:09:33.448679Z"},"links":{"cited_paper":"/paper/2412.19437","citing_paper":"/paper/2505.16114"},"observation_digest":"sha256:0679ec4ddf8034769fbbdd5aa8f0e6b24ead72a25123915f0f03b957be12f188","observation_id":"e5793fa4-d31e-44e1-93aa-a48b83e951d0","resolution":{"observed_at":"2026-08-07T15:09:33.448679Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2505.16114","last_updated":"2025-05-22T01:37:40Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-07T15:04:28.470374Z","submitted_at":"2025-05-22T01:37:40Z","title":"Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language"},"reference_resolution":{"displayed":19,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":14,"verified_exact":0,"verified_fuzzy":5},"total_outbound_references":19},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"thesis":"As of 13 August 2026, this Paper Citation Record lists 19 of 19 outbound references and 3 inbound Pith citation observations for arXiv:2505.16114."}