{"as_of":"2026-08-10T19:04:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:4d562dddbd89c9d9fa7d9c3b3de057d7c6e1919fd230c3b587d109fe50eddf2a","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-10T06:31:04.303077+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-09T17:47:58.565370Z","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:325f12952f4167045dbaa4f32ef77dbe9801b88d4cd0dde7b643efdb5786187e","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-07-06T23:19:41.053744Z","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:ca80716401d7b2d8c635db789cf19276ecb6a7937a131958a0bbe75019398a24","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:986bd9ad5196762023d288597bf1d7fa3a90ab84b734a68fa53109b88aefd6fc","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:3c4e6b71360a47e83209cce1abe6a2da710dc221237ae7ee0bb3e661ca2dcf47","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:05f61f4d2954fc5d79af0e8e5661f39bf909d262c64674499fcde2dc61999046","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:e9c38fdf8bdca9788f295d9399c368854301c4a3b87040db684f7e282c81ff86","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:416cab1c096160839e6c984c7655fa09461fe76720c06ec40133dc551314cd9c","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:b63efce0a5bbd294deeda35996d393a121b1247eafb5b8f4a7a72ba6fa66a061","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:f6f43c6b0cb3cd806a2cdfeaefa664558a854195eecbfcbd0c5abb984beb62eb","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:49ca966a13fe1b6b85c185b73128c3d4c730c6b4c996d327f2520d2b2e829923","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:54ffefa49b658bec2f5b82ad69cdc4e015fcb427cea955993b4de7ef487c42d2","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:026c428119864ecdf5008731cc8fa6864743e1ef6311b561810e211d9b3db238","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:440f67014317291bdb21a723d68f4f11f3b6953258fec62bdf6ac69090f8e4a9","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:c2b54e3e27d1022a51af05c1c896c2acddd9c8c7c37bf731e1349214c16f05b1","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:12246d275246b231a9f148438da2dd269b6de77446e16c2178786f1343c7bf32","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:b7fd4ccba338d177093efe46df6b8f13a7462f289c0de18a3dca602e9ecc0565","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:e3805f4a1b1e7e2b98bbdaaae824518c3cefff21b121209b55bf660e9092ea52","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:c75f2babdd2aef4fa2690dcf5f2281c084809fb4e04dc7dfd430d3d415069231","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:550b0999d6343ff8079e5767763fc26b67fdcbf7dc61c1897c9af4d3a6a4de2e","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T17:02:50.054809Z","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:bfe7905493efd7cfd4a4aa7918ca09e2a7caf85c5934b5f9a349acfed2abf7d9","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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 19 of 19 outbound references and 3 inbound Pith citation observations for arXiv:2505.16114."}