{"as_of":"2026-08-08T02:13:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:33d233a410b5b19231531cee12c98074dc09cff3876c89108f459c27fd676e4b","coverage":[{"denominator":71,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":71,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T22:39:45.639575Z","state":"measured"},{"denominator":84,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":84,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+00:00","state":"measured"},{"denominator":13,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":13,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T13:35:58.452874Z","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-07-04T10:49:46.348394Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.09100","snapshot_observed_at":"2026-08-07T13:35:58.452874Z","title":"Logical reasoning in large language models: A survey","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.21327","last_updated":"2025-05-27T15:23:23Z","snapshot_observed_at":"2026-08-07T13:27:31.159147Z","submitted_at":"2025-05-27T15:23:23Z","title":"MME-Reasoning: A Comprehensive Benchmark for Logical Reasoning in MLLMs","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-07T13:35:58.452874Z"},"links":{"cited_paper":"/paper/2502.09100","citing_paper":"/paper/2505.21327"},"observation_digest":"sha256:f2fecd7460e332b75763db65ded2f6e6e7c807f7c0b31cc9ee6ddda47a045fc0","observation_id":"e5e6db67-813f-4bd4-adbf-a3e06e0a7701","resolution":{"observed_at":"2026-08-07T13:35:58.452874Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.09100","snapshot_observed_at":"2026-08-07T05:41:39.710210Z","title":"Logical rea- soning in large language models: A survey","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.07371","last_updated":"2025-06-10T13:33:53Z","snapshot_observed_at":"2026-08-07T10:51:02.440475Z","submitted_at":"2025-06-09T02:42:13Z","title":"ARGUS: Hallucination and Omission Evaluation in Video-LLMs","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-07T05:41:39.710210Z"},"links":{"cited_paper":"/paper/2502.09100","citing_paper":"/paper/2506.07371"},"observation_digest":"sha256:b035748c0d4a07f0b0b31f0bf138183cf49eaa67456c699edbef3277f3bd8da5","observation_id":"e2b20e15-00a1-4698-bfd0-95a6354a65c2","resolution":{"observed_at":"2026-08-07T05:41:39.710210Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.09100","snapshot_observed_at":"2026-08-06T21:52:53.280834Z","title":"Logical reasoning in large language models: A survey,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.23128","last_updated":"2025-06-29T07:37:49Z","snapshot_observed_at":"2026-08-07T23:33:22.677915Z","submitted_at":"2025-06-29T07:37:49Z","title":"Are Large Language Models Capable of Deep Relational Reasoning? Insights from DeepSeek-R1 and Benchmark Comparisons","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-06T21:52:53.280834Z"},"links":{"cited_paper":"/paper/2502.09100","citing_paper":"/paper/2506.23128"},"observation_digest":"sha256:84bd36952c4d9b4fe94092e6aae07098cf41730a813ad45e28f0e63972b6ef99","observation_id":"bf096a3d-ac9d-45e2-9be7-52d992820e24","resolution":{"observed_at":"2026-08-06T21:52:53.280834Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.09100","snapshot_observed_at":"2026-08-05T23:03:10.463706Z","title":"InProceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, pages 6342–6353","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2508.05978","last_updated":"2025-08-08T03:24:19Z","snapshot_observed_at":"2026-08-07T23:33:51.942120Z","submitted_at":"2025-08-08T03:24:19Z","title":"DAFMSVC: One-Shot Singing Voice Conversion with Dual Attention Mechanism and Flow Matching","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-05T23:03:10.463706Z"},"links":{"cited_paper":"/paper/2502.09100","citing_paper":"/paper/2508.05978"},"observation_digest":"sha256:50970e7e77f31ed79c56140a0769bbc4ab3a1b1636bda7724f5073cf7855e3de","observation_id":"cbe3ef51-352d-42b3-a4b6-c5210b269c19","resolution":{"observed_at":"2026-08-05T23:03:10.463706Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.09100","snapshot_observed_at":"2026-08-04T10:40:25.530522Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2510.09340","last_updated":"2026-06-30T16:53:02Z","snapshot_observed_at":"2026-08-07T23:33:23.787360Z","submitted_at":"2025-10-10T12:49:00Z","title":"Deductive Logic in Language Models: Horizontal vs Vertical Reasoning","version":2},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-04T10:40:25.530522Z"},"links":{"cited_paper":"/paper/2502.09100","citing_paper":"/paper/2510.09340"},"observation_digest":"sha256:f398ad9478dc6305f34f9e43d559e217501bfae4dc9c98ce1ca54bae0d77a8dc","observation_id":"43b559e0-6cdb-41b1-a5b9-da4e9554cd8d","resolution":{"observed_at":"2026-08-04T10:40:25.530522Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"cited_work":{"arxiv_id":"2502.09100","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2502.09100","snapshot_observed_at":"2026-07-04T10:49:46.348394Z","title":"Logical reasoning in large language models: A survey, 2025 b","venue":null,"work_id":"70ff0445-dbd8-466d-8856-fc2a3f4f84bc","year":2025},"citing_paper":{"arxiv_id":"2604.21454","last_updated":"2026-05-25T11:03:36Z","snapshot_observed_at":"2026-08-03T03:47:16.607058Z","submitted_at":"2026-04-23T09:13:28Z","title":"Reasoning Primitives in Hybrid and Non-Hybrid LLMs: Do Architectural Differences Yield Advantages in State-Tracking and Recall?","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-09T22:15:18.366486Z"},"links":{"cited_paper":"/paper/2502.09100","citing_paper":"/paper/2604.21454"},"observation_digest":"sha256:e4761238fdaa2b5842125ba8dbfb88aad383233c3086a365273357b0c14cef30","observation_id":"cba36266-727e-488b-8934-93c5567cfb89","resolution":{"observed_at":"2026-05-09T22:49:16.007942Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"cited_work":{"arxiv_id":"2502.09100","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2502.09100","snapshot_observed_at":"2026-07-04T10:49:46.348394Z","title":"Logical reasoning in large language models: A survey, 2025 b","venue":null,"work_id":"70ff0445-dbd8-466d-8856-fc2a3f4f84bc","year":2025},"citing_paper":{"arxiv_id":"2604.21479","last_updated":"2026-04-30T04:19:07Z","snapshot_observed_at":"2026-07-06T23:08:05.568089Z","submitted_at":"2026-04-23T09:39:51Z","title":"Frozen LLMs as Map-Aware Spatio-Temporal Reasoners for Vehicle Trajectory Prediction","version":3},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-09T21:42:10.217380Z"},"links":{"cited_paper":"/paper/2502.09100","citing_paper":"/paper/2604.21479"},"observation_digest":"sha256:4b5eca99c4ea3ead78b49444e30d05c8760ad3811fbd587462718ee80a291bcc","observation_id":"785f00b1-e33a-48be-a0b0-e8b12565985e","resolution":{"observed_at":"2026-05-11T14:31:06.305428Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"cited_work":{"arxiv_id":"2502.09100","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2502.09100","snapshot_observed_at":"2026-07-04T10:49:46.348394Z","title":"Logical reasoning in large language models: A survey, 2025 b","venue":null,"work_id":"70ff0445-dbd8-466d-8856-fc2a3f4f84bc","year":2025},"citing_paper":{"arxiv_id":"2604.27251","last_updated":"2026-05-27T09:45:40Z","snapshot_observed_at":"2026-08-02T07:13:10.914210Z","submitted_at":"2026-04-29T22:55:40Z","title":"Compliance versus Sensibility: On the Reasoning Controllability in Large Language Models","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-05-07T08:57:05.520335Z"},"links":{"cited_paper":"/paper/2502.09100","citing_paper":"/paper/2604.27251"},"observation_digest":"sha256:2b8cb8dc0cd3597fe2995d3e2975ed37d0128bc5e66a45991a08bc04b9632cc4","observation_id":"fe9acc41-1007-426c-9a69-f0f8e2b99d5b","resolution":{"observed_at":"2026-05-12T09:51:28.984303Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"cited_work":{"arxiv_id":"2502.09100","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2502.09100","snapshot_observed_at":"2026-07-04T10:49:46.348394Z","title":"Logical reasoning in large language models: A survey, 2025 b","venue":null,"work_id":"70ff0445-dbd8-466d-8856-fc2a3f4f84bc","year":2025},"citing_paper":{"arxiv_id":"2605.00974","last_updated":"2026-05-01T17:27:45Z","snapshot_observed_at":"2026-07-06T23:14:20.123289Z","submitted_at":"2026-05-01T17:27:45Z","title":"SRTJ: Self-Evolving Rule-Driven Training-Free LLM Jailbreaking","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-05-09T18:56:46.692954Z"},"links":{"cited_paper":"/paper/2502.09100","citing_paper":"/paper/2605.00974"},"observation_digest":"sha256:873e4e16df6eb68a254056811adb3d9320a9e7125a7163d52799ef7454da2ae3","observation_id":"a144cc3b-b740-484b-9e30-8f6111caced6","resolution":{"observed_at":"2026-05-11T16:01:13.446899Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"cited_work":{"arxiv_id":"2502.09100","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2502.09100","snapshot_observed_at":"2026-07-04T10:49:46.348394Z","title":"Logical reasoning in large language models: A survey, 2025 b","venue":null,"work_id":"70ff0445-dbd8-466d-8856-fc2a3f4f84bc","year":2025},"citing_paper":{"arxiv_id":"2605.21338","last_updated":"2026-05-20T16:05:05Z","snapshot_observed_at":"2026-07-06T23:31:46.877766Z","submitted_at":"2026-05-20T16:05:05Z","title":"Text Analytics Evaluation Framework: A Case Study on LLMs and Social Media","version":1},"reference_index":84,"source":"arxiv_source","source_observed_at":"2026-05-21T04:52:44.897900Z"},"links":{"cited_paper":"/paper/2502.09100","citing_paper":"/paper/2605.21338"},"observation_digest":"sha256:ddebfae8d55619a96cd7be8bcb3fe27671c69d5a4a14b8680a82b3bff8eea5a9","observation_id":"0138a289-32b9-41a6-8e4b-d26a4262718c","resolution":{"observed_at":"2026-05-21T04:53:57.754653Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"cited_work":{"arxiv_id":"2502.09100","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2502.09100","snapshot_observed_at":"2026-07-04T10:49:46.348394Z","title":"Logical reasoning in large language models: A survey, 2025 b","venue":null,"work_id":"70ff0445-dbd8-466d-8856-fc2a3f4f84bc","year":2025},"citing_paper":{"arxiv_id":"2606.17962","last_updated":"2026-06-16T14:13:48Z","snapshot_observed_at":"2026-08-03T21:33:49.387406Z","submitted_at":"2026-06-16T14:13:48Z","title":"A Neuro-Symbolic Approach to Strategy Synthesis for Strategic Logics","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-06-26T21:57:56.104751Z"},"links":{"cited_paper":"/paper/2502.09100","citing_paper":"/paper/2606.17962"},"observation_digest":"sha256:bc79a3283257c27b18e2d7e13fb9929f0d42610c9b0c9114b3883a08ccee9395","observation_id":"0861c2b2-c57f-41cf-97e8-175838c2a939","resolution":{"observed_at":"2026-07-03T23:39:03.823290Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"cited_work":{"arxiv_id":"2502.09100","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2502.09100","snapshot_observed_at":"2026-07-04T10:49:46.348394Z","title":"Logical reasoning in large language models: A survey, 2025 b","venue":null,"work_id":"70ff0445-dbd8-466d-8856-fc2a3f4f84bc","year":2025},"citing_paper":{"arxiv_id":"2606.23238","last_updated":"2026-06-23T08:36:37Z","snapshot_observed_at":"2026-08-05T17:24:22.002546Z","submitted_at":"2026-06-22T12:23:54Z","title":"HOLMES: Evaluating Higher-Order Logical Reasoning in LLMs","version":2},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-06-26T08:27:29.468354Z"},"links":{"cited_paper":"/paper/2502.09100","citing_paper":"/paper/2606.23238"},"observation_digest":"sha256:ce160d022e6109b5415836503d614e0bf9a51281b22e0c97243c00e77c52eb75","observation_id":"cd3727d0-7dad-4376-8627-165eb3fed3cf","resolution":{"observed_at":"2026-07-04T10:49:46.350551Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"cited_work":{"arxiv_id":"2502.09100","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2502.09100","snapshot_observed_at":"2026-07-04T10:49:46.348394Z","title":"Logical reasoning in large language models: A survey, 2025 b","venue":null,"work_id":"70ff0445-dbd8-466d-8856-fc2a3f4f84bc","year":2025},"citing_paper":{"arxiv_id":"2606.29171","last_updated":"2026-06-28T03:32:06Z","snapshot_observed_at":"2026-07-07T00:03:12.330608Z","submitted_at":"2026-06-28T03:32:06Z","title":"Symbolic Mechanistic Data Attribution: Tracing Training Influence to Learned Behavioral Policies","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-06-30T08:03:23.581020Z"},"links":{"cited_paper":"/paper/2502.09100","citing_paper":"/paper/2606.29171"},"observation_digest":"sha256:be9522323bde5eeec73b0ef3b6b0b286b18f6b86eeca7b2bc0e257fb7570c297","observation_id":"53ba11ca-ecaa-4680-8339-ab6d754344de","resolution":{"observed_at":"2026-06-30T08:04:27.977342Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2502.09100/citation-record","integrity":"/paper/2502.09100/integrity","json":"/paper/2502.09100/citation-record.json","paper":"/paper/2502.09100"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2406.06196","last_updated":"2024-10-31T10:14:49Z","snapshot_observed_at":"2026-08-06T12:59:28.442088Z","submitted_at":"2024-06-10T11:50:29Z","title":"LINGOLY: A Benchmark of Olympiad-Level Linguistic Reasoning Puzzles in Low-Resource and Extinct Languages","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.06196","snapshot_observed_at":"2026-08-07T22:39:45.371286Z","title":"Lingoly: A benchmark of olympiad-level linguistic reasoning puzzles in low-resource and extinct languages","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.371286Z"},"links":{"cited_paper":"/paper/2406.06196","citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:97880818f046cd990b5fc12c40043405e43514a97d03d3552a8486ef4da6137f","observation_id":"263e00eb-1b10-4cdc-9195-58379b7e0ce2","resolution":{"observed_at":"2026-08-07T22:39:45.371286Z","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-07T22:39:46.652544Z","title":"Formal semantics: an introduction","venue":null,"work_id":"feaacc3d-3c4c-402a-b8f7-7ed7299bbe6e","year":1993},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.380479Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:e22ebb1d7764af25d680a395c7855838e9d4c68f959085bf18f824fe43f58fc0","observation_id":"67c4afe8-b747-4e6f-aff0-d78216f11851","resolution":{"observed_at":"2026-08-07T22:39:46.656314Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T22:39:46.620819Z","title":"Selection-inference: Exploiting large language models for inter- pretable logical reasoning","venue":null,"work_id":"d0257f3b-c225-47c9-91a6-07604f44e52d","year":2023},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.396908Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:073895e02345b68341e9b1ef08edbe342e39661a7b90ed5e3bd1df4b230b1e63","observation_id":"cd27212a-ead7-4f8e-9f51-8b293f2833fe","resolution":{"observed_at":"2026-08-07T22:39:46.624801Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T22:39:46.590672Z","title":"Language models can be deductive solvers","venue":null,"work_id":"e79fa4b4-d380-437a-a658-e148ed0ee7a8","year":2024},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.407227Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:a7acd9248809a664e2406c8d8362c053398a15bc2a1da79d9a0f34a3f164724c","observation_id":"0d7f26a6-a50f-41f3-98fc-1bc32db0080b","resolution":{"observed_at":"2026-08-07T22:39:46.593893Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2408.16779","last_updated":"2025-01-14T14:26:03Z","snapshot_observed_at":"2026-08-07T23:32:30.303276Z","submitted_at":"2024-08-15T16:41:00Z","title":"Inductive Learning of Logical Theories with LLMs: An Expressivity-Graded Analysis","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.16779","snapshot_observed_at":"2026-08-07T22:39:45.411467Z","title":"Inductive learning of logical theories with llms: A complexity- graded analysis","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.411467Z"},"links":{"cited_paper":"/paper/2408.16779","citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:a2428a81e2d1d85fc9fa312fee89457ba56e0e6a0d8e15d7660f39498b75d065","observation_id":"503b4422-b51c-4cb2-a106-71726a53cd17","resolution":{"observed_at":"2026-08-07T22:39:45.411467Z","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-07T22:39:46.580535Z","title":"Log- ical inferences with comparatives and generalized quantifiers","venue":null,"work_id":"ea481166-6fdf-45f6-8424-64d0b4db693c","year":2020},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.415049Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:6462c3d93038ada9620c5d87c02a6f2eebaba0ebf1c75b27246fab6bc4411086","observation_id":"d70f79fc-558a-4632-a6bd-63e0a52ba96d","resolution":{"observed_at":"2026-08-07T22:39:46.584224Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T22:39:46.559863Z","title":"Chen, and Shafiq Joty","venue":null,"work_id":"f1634c69-6d65-46da-9730-8ff3c5acfc50","year":2024},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.426644Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:577476e8ef0b7396edcde57a7d9406b9f9388cb56d1f57d90baec95070379b59","observation_id":"04179be4-2a77-4151-b713-046c79b3aac2","resolution":{"observed_at":"2026-08-07T22:39:46.563722Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T22:39:46.549424Z","title":"Maieutic prompting: Logically consistent rea- soning with recursive explanations","venue":null,"work_id":"902274ed-b7b6-4e2a-b7f3-5112c48d6556","year":2022},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.430505Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:5641c2484de4fd59e107d210939cc4e7dac6bd9f639bdf3693e68b6b0dcdbf47","observation_id":"c8befcdd-5460-4a58-ad4f-a2afe861779a","resolution":{"observed_at":"2026-08-07T22:39:46.553245Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2308.08614","last_updated":"2023-08-16T18:13:27Z","snapshot_observed_at":"2026-08-03T13:36:04.095482Z","submitted_at":"2023-08-16T18:13:27Z","title":"Boosting Logical Reasoning in Large Language Models through a New Framework: The Graph of Thought","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2308.08614","snapshot_observed_at":"2026-08-07T22:39:45.434372Z","title":"Boosting logical reasoning in large language models through a new framework: The graph of thought","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.434372Z"},"links":{"cited_paper":"/paper/2308.08614","citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:40278f64b1ef52c679980acc4a4181d38beb84992e8e2b2db5692e4c73d99420","observation_id":"3aa4e378-ae64-491f-8f2a-a6aa42341137","resolution":{"observed_at":"2026-08-07T22:39:45.434372Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.00798","last_updated":"2024-08-12T17:54:32Z","snapshot_observed_at":"2026-07-06T17:23:51.547578Z","submitted_at":"2024-02-01T17:30:50Z","title":"Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.00798","snapshot_observed_at":"2026-08-07T22:39:45.438375Z","title":"Formal-llm: Integrating formal language and natural language for controllable llm-based agents","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.438375Z"},"links":{"cited_paper":"/paper/2402.00798","citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:c09fb77023ec7e3aa020822656a8f70f39de1cb661721abf4905ce5d0e0f6a79","observation_id":"a2eac420-cb9b-4179-a345-2802c93bbf2b","resolution":{"observed_at":"2026-08-07T22:39:45.438375Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2410.02205","last_updated":"2025-02-09T17:13:51Z","snapshot_observed_at":"2026-07-06T19:26:49.672415Z","submitted_at":"2024-10-03T04:34:04Z","title":"Aligning with Logic: Measuring, Evaluating and Improving Logical Preference Consistency in Large Language Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.02205","snapshot_observed_at":"2026-08-07T22:39:45.442603Z","title":"Aligning with logic: Measuring, evaluating and improving logical consistency in large language models.arXiv preprint arXiv:2410.02205,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.442603Z"},"links":{"cited_paper":"/paper/2410.02205","citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:6e20624189860eecaebce25589edb46f5840070f8d1da80ce92542bd7de4c616","observation_id":"e8812be0-41bb-4229-9911-472ebb721813","resolution":{"observed_at":"2026-08-07T22:39:45.442603Z","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-07T22:39:46.539253Z","title":"NeuroLogic decoding: (un)supervised neural text generation with predicate logic constraints","venue":null,"work_id":"9fe123b6-0481-4049-b784-a2c96f60b6e3","year":2021},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.446647Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:f6f4b0b41f33e7c8dac56e60d14d4f8a2b9cad3732ebeb0dc68c2855feefd100","observation_id":"e98d6f1c-6352-4f85-ae64-4dc84fb04066","resolution":{"observed_at":"2026-08-07T22:39:46.542905Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T22:39:46.528479Z","title":"Towards logiglue: A brief survey and a benchmark for analyzing logical reasoning capabilities of language models,","venue":null,"work_id":"b5cb6993-a1ba-43d3-8e3f-71b54acfe3e5","year":2024},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.450473Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:ea34e423a39eb04a6abb8cf41e4a2e669483f749a8289b87bb76714246b22d95","observation_id":"9fbcc1dd-e9fb-4e81-9608-bae0ba1f049e","resolution":{"observed_at":"2026-08-07T22:39:46.532437Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T22:39:46.518446Z","title":"Knowra: Knowledge retrieval augmented method for document-level relation extraction with comprehensive reasoning abili- ties,","venue":null,"work_id":"294a32bd-5aa7-4cba-92de-3b60839d6319","year":2025},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.454105Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:7ee1e094eadc988cceb5150973167e92385c88ea3a39c6f46cd2b3b590fdab08","observation_id":"b2eff5e0-81a4-4bca-980e-a2dfbba80a01","resolution":{"observed_at":"2026-08-07T22:39:46.522029Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T22:39:46.507148Z","title":"Ex- ploring the role of reasoning structures for constructing proofs in multi- step natural language reasoning with large language models","venue":null,"work_id":"848f857c-b678-4cf1-b220-845e6b618bf5","year":2024},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.457730Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:15dcc7d36f5dd77f2757f61d2221a0d60e979386b2c59122f29fdb037e69a8cf","observation_id":"b3f7e866-e7b6-42b2-87b4-5e276d4bf376","resolution":{"observed_at":"2026-08-07T22:39:46.511150Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T22:39:46.496651Z","title":"McCarthy and P.J","venue":null,"work_id":"9b171914-7264-407c-814a-a736fd54dd3e","year":1981},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.461386Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:6d0be7e1a399b5bfad5340b85e9c07525366bdc50edeb4f6c1a84c17c5a497ee","observation_id":"ef5075f7-cd4a-4501-aa6e-65ef633c6a7e","resolution":{"observed_at":"2026-08-07T22:39:46.500308Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2501.19393","last_updated":"2025-03-01T06:07:39Z","snapshot_observed_at":"2026-07-06T20:29:11.710285Z","submitted_at":"2025-01-31T18:48:08Z","title":"s1: Simple test-time scaling","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.19393","snapshot_observed_at":"2026-08-07T22:39:45.476504Z","title":"s1: Simple test-time scaling","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.476504Z"},"links":{"cited_paper":"/paper/2501.19393","citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:077fd1b840d98653badfa82bf485a6de667bd5447b81bcbffb3439f8cccbd8a5","observation_id":"d33ba957-f801-4d21-a56d-ba2e063262f8","resolution":{"observed_at":"2026-08-07T22:39:45.476504Z","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-07T22:39:46.452856Z","title":"Newell and H","venue":null,"work_id":"635223fd-0c8d-46b9-a7d3-da5f580e893e","year":1956},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.480788Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:d5f8eb5fdf790a4d2364cab747094d2c112bf683a85530208e8770523d44f8f3","observation_id":"0a5398e4-0a66-4b0a-8e5f-2e8c41e0f05a","resolution":{"observed_at":"2026-08-07T22:39:46.456610Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T22:39:46.430003Z","title":"LINC: A neurosymbolic approach for logical reasoning by combining language models with first-order logic provers","venue":null,"work_id":"12f2d678-f14a-4320-968a-0e81ac310f34","year":2023},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.488871Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:df2ad1e5eb5d63707d3348561544ba17e143f9dd5234c09faca527ed138ade78","observation_id":"2ce883d9-cce8-4f83-a4a3-e806293f3ae5","resolution":{"observed_at":"2026-08-07T22:39:46.433683Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T22:39:46.419228Z","title":"Learning to reason with LLMs","venue":null,"work_id":"bb763a50-176d-4739-8cc9-1d392ee83879","year":2024},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.492585Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:ff6cf89c29ee77ac6f4f6833ac90c751039a2c5b40db771d991471f631a996bf","observation_id":"a6373884-da4d-46ae-a8c5-affb50baef8f","resolution":{"observed_at":"2026-08-07T22:39:46.422716Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T22:39:46.409409Z","title":"Fact- driven logical reasoning for machine reading comprehension,","venue":null,"work_id":"3cc76e6c-7d99-48c9-9eb7-54ceca3466d3","year":2023},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.496244Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:803f6c3541398eace3d180a8d3f08583d98d7323356eab9c70278251ebad3009","observation_id":"619163db-e7ac-49bb-a372-031516925097","resolution":{"observed_at":"2026-08-07T22:39:46.412823Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T22:39:46.399081Z","title":"Logic-LM: Empowering large language models with symbolic solvers for faithful logical reasoning","venue":null,"work_id":"2ed422fd-95be-4b8f-b354-f2a182fbe373","year":2023},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.500210Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:614bca61e2a031a3859fb1479ee48ccc1098c03190d15f1d1dae94613d4e2526","observation_id":"bdf81193-45b7-406a-9fe7-3a8c551b0dec","resolution":{"observed_at":"2026-08-07T22:39:46.403138Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T22:39:46.388351Z","title":"Logicbench: A benchmark for evaluation of logical reasoning,","venue":null,"work_id":"37536644-3885-4835-8505-f97e734e4c2e","year":2023},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.503992Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:846b65e07dd3c53de668666ecb80c9a10378333331e9de5474c886ede2213a77","observation_id":"ac76df87-0caa-4a96-86a5-a4d3388152dd","resolution":{"observed_at":"2026-08-07T22:39:46.392134Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T22:39:46.377501Z","title":"Logicbench: Towards systematic evaluation of logical reasoning ability of large language models","venue":null,"work_id":"7b07a847-5207-4101-833f-28a99a6cf1a1","year":2024},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.507684Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:41cc08771bf628db4e889b4964ee4ab3c971221b0558175219fd444f9caa8d49","observation_id":"50c163f0-4371-456c-a249-c6ca76d8963d","resolution":{"observed_at":"2026-08-07T22:39:46.381513Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T22:39:46.366517Z","title":"Logic for natural language analysis","venue":null,"work_id":"60353e8e-21b1-4823-b01b-e83b93e4cdce","year":1982},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.512353Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:8f973d4cb1f3ec46ed817ed43fc323dc423e2115ca4fcdf8ca12516c71ccf12f","observation_id":"e1609ede-2ae1-4774-9234-392fa3693b9f","resolution":{"observed_at":"2026-08-07T22:39:46.370143Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T22:39:45.520396Z","title":"Reasoning with large language models, a survey","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.520396Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:4bbee48ce9a980549de8f3a56ad26f8312d93f9949e97833c3b1ae597f06c984","observation_id":"c528de9f-2221-453b-b951-331dcc7e3039","resolution":{"observed_at":"2026-08-07T22:39:45.520396Z","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-07T22:39:46.345910Z","title":"Relevant or random: Can llms truly perform analogi- cal reasoning?,","venue":null,"work_id":"7e69bb57-a967-4871-81f1-9d23696d4f14","year":2024},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.524227Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:382916808824baafdbd6acec0e5aeeabba5e0f752d1cd10538bc7b7857faaaab","observation_id":"e35ea3d6-629f-4abc-ac0a-1cd6e0189213","resolution":{"observed_at":"2026-08-07T22:39:46.349534Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T22:39:46.335320Z","title":"Investigating transformer-guided chaining for interpretable natural logic reasoning","venue":null,"work_id":"c92d8c59-41d6-4b02-8b44-ca5af3430223","year":2023},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.527460Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:344493d48d4370a5d653dcabedd177ce810e799ca638fc3cca07b18e0ffb7e33","observation_id":"58f03588-afb9-47b2-84b1-12a9369a9468","resolution":{"observed_at":"2026-08-07T22:39:46.338979Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T22:39:46.324857Z","title":"AnaLog: Testing analytical and deductive logic learn- ability in language models","venue":null,"work_id":"04e16a7d-6b67-488c-b6c6-c0269a1efd63","year":2022},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.530757Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:b9f0ab87731a2e0ae56ab86e2f0065875b0086be9c8bbe6f5b778b275ee13998","observation_id":"4e0a44f7-c076-405e-8248-3609621776a6","resolution":{"observed_at":"2026-08-07T22:39:46.328625Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2410.08047","last_updated":"2025-02-25T09:30:50Z","snapshot_observed_at":"2026-07-06T19:31:13.821669Z","submitted_at":"2024-10-10T15:42:39Z","title":"Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.08047","snapshot_observed_at":"2026-08-07T22:39:45.534039Z","title":"Divide and translate: Compositional first-order logic transla- tion and verification for complex logical reasoning","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.534039Z"},"links":{"cited_paper":"/paper/2410.08047","citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:2cc7d6fc2d47fb31eb14e44733b46ffda95889a3b530d28af53fe5cecfb537ea","observation_id":"42fb3f60-1e88-4356-9701-7404e5a9fa5e","resolution":{"observed_at":"2026-08-07T22:39:45.534039Z","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-07T22:39:46.314120Z","title":"Testing the general de- ductive reasoning capacity of large language models using ood examples","venue":null,"work_id":"b9bd6bb9-a0ed-4097-9160-d1145d62e6fb","year":2023},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.537694Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:bc42049680561a728c3cb7fd6841f35ad1b7559a267f481781d4c8eeae89c909","observation_id":"c73c6f46-03ec-4459-ae1e-f19bd88dcd56","resolution":{"observed_at":"2026-08-07T22:39:46.318080Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T22:39:46.303370Z","title":"Chain of logic: Rule-based reasoning with large language models","venue":null,"work_id":"0930777f-e909-4d6e-8612-f87ab7038431","year":2024},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.541348Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:072e7fb7c61c1e890852307d0210e683e82f4f97eab7c8ab3613163b58eca05c","observation_id":"60918c92-9fc9-4adf-a5a8-034a781fb672","resolution":{"observed_at":"2026-08-07T22:39:46.307292Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T22:39:46.292394Z","title":"Neural natural logic inference for interpretable question answering","venue":null,"work_id":"1f29ee00-9480-4e49-8a25-1724822739f0","year":2021},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.544738Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:d718c1ddfb24e0615c1ca46f06bef08702842c9cecb7c7f73b01083ffe3bdc5f","observation_id":"1aef6bf8-215d-4a2a-b1ae-d898d2230656","resolution":{"observed_at":"2026-08-07T22:39:46.296422Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T22:39:46.280213Z","title":"Hamilton","venue":null,"work_id":"804d57f6-55dd-4928-bcc7-047cc294473e","year":2019},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.547909Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:08049e45337b16cb7fbf87c5bd4972347db9ccccf8dd7707a23cd61927ac682f","observation_id":"3ccfb1c9-6566-479c-a585-bae41164da62","resolution":{"observed_at":"2026-08-07T22:39:46.284216Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2206.04615","last_updated":"2023-06-12T17:51:15Z","snapshot_observed_at":"2026-07-06T13:19:12.109592Z","submitted_at":"2022-06-09T17:05:34Z","title":"Beyond the Imitation Game: Quantifying and extrapolating the capabilities of language models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2206.04615","snapshot_observed_at":"2026-08-07T22:39:45.551076Z","title":"Beyond the imitation game: Quantifying and extrapolating the capabilities of language models","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.551076Z"},"links":{"cited_paper":"/paper/2206.04615","citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:80d5de8d2f03bbb11a4ed6efd09449c1047eb39048ecccd0e1b558beb67385d8","observation_id":"474f5133-124c-4e81-8d04-d9ae99dadc0f","resolution":{"observed_at":"2026-08-07T22:39:45.551076Z","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-07T22:39:46.268303Z","title":"Logical reasoning with span-level predictions for interpretable and robust NLI models","venue":null,"work_id":"0349af70-6c04-4627-b6dd-d8bb1d6be8f6","year":2022},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.554856Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:996e540ba43007b55ad96dd19d141ed3bc559a186cbf82b836060094e7c43515","observation_id":"adfae405-30d8-4111-8f2d-2fae52ddef21","resolution":{"observed_at":"2026-08-07T22:39:46.272462Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T22:39:46.257599Z","title":"It is not true that transformers are inductive learners: Probing NLI models with external negation","venue":null,"work_id":"de4f15ab-08a2-469e-82e9-1e6789ac443c","year":2024},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.558462Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:bead4c762ac59958794bdef53aaf526b76cb8eb4712be0f878f35e68873e0caf","observation_id":"0af78712-56ec-4f4e-921c-c9b3b521e6e3","resolution":{"observed_at":"2026-08-07T22:39:46.261323Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2312.11562","last_updated":"2024-01-25T11:20:16Z","snapshot_observed_at":"2026-08-08T01:09:26.414662Z","submitted_at":"2023-12-17T15:16:13Z","title":"A Survey of Reasoning with Foundation Models","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2312.11562","snapshot_observed_at":"2026-08-07T22:39:45.561868Z","title":"A survey of reasoning with foundation models","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.561868Z"},"links":{"cited_paper":"/paper/2312.11562","citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:9fb43a4efc2da9eae3da85adfa4cf11779785f870eaab5595b3f7b779a3dd2da","observation_id":"27556593-eb74-48ec-8618-5e7ebd21dd1c","resolution":{"observed_at":"2026-08-07T22:39:45.561868Z","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-07T22:39:46.247228Z","title":"Determlr: Augmenting llm-based logical reasoning from indetermi- nacy to determinacy","venue":null,"work_id":"cea83e89-bfa4-4afa-b126-d79c2ed5ab63","year":2024},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.565778Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:626f51cc14143575227cb17fcc9fa2d17970919b54f94ce72332ec31bc9d76ba","observation_id":"48e54707-2bdb-4187-af87-1e053d4be916","resolution":{"observed_at":"2026-08-07T22:39:46.250770Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T22:39:46.238059Z","title":"ProofWriter: Generating implications, proofs, and abductive statements over natural language","venue":null,"work_id":"f0c79dda-252c-4f22-9234-334091a9aa94","year":2021},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.569958Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:f0e9c0b4ce66f90cb48d1bc75ae1d3db2db1d39c3242fd100066f4568dcc8371","observation_id":"beb528b3-1927-4e53-8d69-de03b0165ab7","resolution":{"observed_at":"2026-08-07T22:39:46.241371Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2501.08613","last_updated":"2025-09-05T06:35:41Z","snapshot_observed_at":"2026-07-06T20:21:18.369732Z","submitted_at":"2025-01-15T06:22:35Z","title":"Assessing the Sensitivity and Alignment of FOL Closeness Metrics","version":3},"cited_work":{"arxiv_id":"2501.08613","doi":null,"metadata_source":"pith","pith_arxiv_id":"2501.08613","snapshot_observed_at":"2026-08-07T22:39:45.899944Z","title":"Assessing the Sensitivity and Alignment of FOL Closeness Metrics","venue":"cs.CL","work_id":"41b9306f-bd94-431a-b504-26d0774420f0","year":2025},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.573633Z"},"links":{"cited_paper":"/paper/2501.08613","citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:32b7c9539a03ce86d2cb7a965f66fac5b10666927a3aa6e3828fcf845be61e74","observation_id":"45fa01d0-7d6e-413a-b412-a63fe8565b16","resolution":{"observed_at":"2026-08-07T22:39:45.904004Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T22:39:46.227086Z","title":"Diagnosing the first-order logical reasoning ability through LogicNLI","venue":null,"work_id":"7649cbdb-c9e2-43de-9e1f-54235a4eb747","year":2021},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.577477Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:73fa9783fb4dfb7f5f00a328c676bf383b993cd57552902754961f822b5fed69","observation_id":"29c7815d-471d-474f-a626-f941bff40086","resolution":{"observed_at":"2026-08-07T22:39:46.231328Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T22:39:46.215775Z","title":"Verifiable, debuggable, and repairable commonsense logi- cal reasoning via llm-based theory resolution","venue":null,"work_id":"17fd8cda-e678-4077-ba17-e9e7294ea524","year":2024},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.581013Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:07be7a2f86edda448138781546db62b28fd0783b8d38157ad85e0885bc5f7088","observation_id":"3b5f4a82-64f5-4d7e-8a77-92968826f141","resolution":{"observed_at":"2026-08-07T22:39:46.219533Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T22:39:46.204678Z","title":"Donti, Bryan Wilder, and Zico Kolter","venue":null,"work_id":"d63af947-422b-4953-8d61-7c7b445f8b7f","year":2019},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.584456Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:753431fff353c9bc96a9d49fdf836fdfa9d079438b9af02922d2483466af5b6f","observation_id":"a553b9a4-17de-43cb-b309-fb28e69edcfd","resolution":{"observed_at":"2026-08-07T22:39:46.208542Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T22:39:46.192424Z","title":"From lsat: The progress and challenges of com- plex reasoning","venue":null,"work_id":"54da0f90-a428-493c-ac87-42d3101ddd83","year":2022},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.588039Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:78db66cac5ff36c0195688bcf00d23fe05e29807c523c4e173a7c87b7856299d","observation_id":"7a7aa889-aa52-4893-952c-0f44ecb61be8","resolution":{"observed_at":"2026-08-07T22:39:46.196431Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2409.14495","last_updated":"2025-02-06T08:43:15Z","snapshot_observed_at":"2026-07-06T19:19:28.953455Z","submitted_at":"2024-09-22T15:44:43Z","title":"Thought-Path Contrastive Learning via Premise-Oriented Data Augmentation for Logical Reading Comprehension","version":3},"cited_work":{"arxiv_id":"2409.14495","doi":null,"metadata_source":"pith","pith_arxiv_id":"2409.14495","snapshot_observed_at":"2026-08-07T22:39:45.880237Z","title":"Thought-Path Contrastive Learning via Premise-Oriented Data Augmentation for Logical Reading Comprehension","venue":"cs.CL","work_id":"9f182325-670c-4650-b42b-845c5517eeb6","year":2024},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.591444Z"},"links":{"cited_paper":"/paper/2409.14495","citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:1c7dfc927024947b0acf1afb79dc225bd31946a1564a598a911cec6a52210262","observation_id":"bd3ef72c-3731-4bf3-97a4-2f8779ab4aee","resolution":{"observed_at":"2026-08-07T22:39:45.887351Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T22:39:46.180928Z","title":"ANA- LOGICAL - a novel benchmark for long text analogy evaluation in large language models","venue":null,"work_id":"11401f77-7b2d-4487-848c-6277513385ab","year":2023},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.595350Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:35ab0da626076f02744c8b9abd90977e3675b4cb77c66a55a2fe69dc38a750ac","observation_id":"d1ebf0e1-f909-4bd7-a746-adfedd9e23aa","resolution":{"observed_at":"2026-08-07T22:39:46.185016Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T22:39:46.168748Z","title":"Training large language models for reasoning through reverse curriculum reinforcement learning","venue":null,"work_id":"e0e7da7b-2693-428c-a9fa-720b47e9d6fe","year":2024},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.599320Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:8caeaada3653e2b4ff6e3db328bb72aa1bf01eb27e6205cc2caf8ec84e43184b","observation_id":"c400f1b3-5824-4bb9-b89a-791fb02a1df7","resolution":{"observed_at":"2026-08-07T22:39:46.172898Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2404.15676","last_updated":"2025-02-05T22:01:59Z","snapshot_observed_at":"2026-08-07T05:02:10.975472Z","submitted_at":"2024-04-24T06:12:00Z","title":"Beyond Chain-of-Thought: A Survey of Chain-of-X Paradigms for LLMs","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.15676","snapshot_observed_at":"2026-08-07T22:39:45.603039Z","title":"Beyond chain-of-thought: A survey of chain-of-x paradigms for llms.arXiv preprint arXiv:2404.15676,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.603039Z"},"links":{"cited_paper":"/paper/2404.15676","citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:687c4925e5f8afe8fb1276fb23adb6c4930c0c11fdbe14312608ab9676756dbb","observation_id":"c4871144-4c89-40c4-a071-93eb4f71556e","resolution":{"observed_at":"2026-08-07T22:39:45.603039Z","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-07T22:39:46.155574Z","title":"Are large language models really good logical reason- ers? a comprehensive evaluation and beyond,","venue":null,"work_id":"9f569be0-7ff3-4be2-8a2f-31582f4fffe8","year":2023},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.607071Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:96c38bfc06218b65863ffc52bcf0a3a2e310f7e36c4672ba7f154b7a372a4977","observation_id":"49d31e4e-f9aa-43e0-9b5e-bf16f8e80489","resolution":{"observed_at":"2026-08-07T22:39:46.160124Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T22:39:45.611017Z","title":"Aristotle: Mastering logical reasoning with a logic-complete decompose-search-resolve framework","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.611017Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:bb146a8bd4bc20d6b403acdaaf4f7604995535e3afc459ac6ddf312ea3acc578","observation_id":"640101bc-8b32-4a36-834b-f7bc25cf2840","resolution":{"observed_at":"2026-08-07T22:39:45.611017Z","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-07T22:39:46.144032Z","title":"Swope, Alex Gu, Rahul Chala- mala, Peiyang Song, et al","venue":null,"work_id":"a6e2ec01-94cf-42ea-ba3a-ec24933e371c","year":2023},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.614980Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:907c66083e5f577540e2211a680d7af4f1d007cb10289770cdac0a3faf5f8f05","observation_id":"e3703075-98bc-4f41-9c0c-a7720a59e9fe","resolution":{"observed_at":"2026-08-07T22:39:46.147906Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T22:39:46.132916Z","title":"Re- clor: A reading comprehension dataset requiring logical reasoning","venue":null,"work_id":"ae5fd447-192e-47c7-b662-5439f0cce1ee","year":2020},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.618585Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:a75708a8b90028cf3911e59050a3729823b2cf0176fc86f4a2cc2d69da64b45c","observation_id":"3ecc1785-913e-4d15-99cb-7b2b7df49690","resolution":{"observed_at":"2026-08-07T22:39:46.137050Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T22:39:46.121749Z","title":"Natural language reasoning, a survey","venue":null,"work_id":"2461c173-0428-497c-8786-87347660df4b","year":2024},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.622388Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:c7efe55be01953f9750c576b5eba6c78210ffc53d55a4e5678d285279c538d8f","observation_id":"3b7ed8bb-4e5d-402b-a75c-297c7a027f3f","resolution":{"observed_at":"2026-08-07T22:39:46.125522Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T22:39:46.110968Z","title":"Can pretrained language models (yet) reason deduc- tively? In Proc","venue":null,"work_id":"ca86051a-4b39-4697-a3d7-958fdcdb0b88","year":2023},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.626498Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:ed47ede969774ee7e0cf33f45769364c01b7b4b8437dad9092d295fd995c3eef","observation_id":"6eb73e51-ed7c-4e23-b31b-1a9e90a104e7","resolution":{"observed_at":"2026-08-07T22:39:46.114794Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T22:39:46.099306Z","title":"Formal language knowledge corpus for retrieval augmented generation,","venue":null,"work_id":"7299d0ec-e70d-473f-8c7a-d25e638bd575","year":2024},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.631030Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:c00335a106698046e8ca088503eee623e35e6c9815da290b7c5b29fb6084ee02","observation_id":"8f209bd9-2e21-44fb-b793-05bd09a6b736","resolution":{"observed_at":"2026-08-07T22:39:46.103248Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.00154","last_updated":"2024-12-10T04:39:25Z","snapshot_observed_at":"2026-08-05T17:55:01.214018Z","submitted_at":"2024-11-29T07:19:56Z","title":"o1-Coder: an o1 Replication for Coding","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.00154","snapshot_observed_at":"2026-08-07T22:39:45.635091Z","title":"o1-coder: an o1 replication for coding","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.635091Z"},"links":{"cited_paper":"/paper/2412.00154","citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:0547f1541f25fc5f68479103da83c2281d2a8334f4b7fd1b7bc42d4180c26659","observation_id":"1b0f40f6-8a1f-49e0-bdfa-f6ad35ba91ff","resolution":{"observed_at":"2026-08-07T22:39:45.635091Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2411.14405","last_updated":"2024-11-25T17:57:55Z","snapshot_observed_at":"2026-07-06T19:53:56.407834Z","submitted_at":"2024-11-21T18:37:33Z","title":"Marco-o1: Towards Open Reasoning Models for Open-Ended Solutions","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2411.14405","snapshot_observed_at":"2026-08-07T22:39:45.639575Z","title":"Marco-o1: Towards open reasoning models for open-ended solutions","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.639575Z"},"links":{"cited_paper":"/paper/2411.14405","citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:21f03b92b236111fcb734224eba65642956ae30713b2a54e12fba92223be74a3","observation_id":"5729f7e5-93fe-4f2d-ac77-1f7bf8ae5f2b","resolution":{"observed_at":"2026-08-07T22:39:45.639575Z","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-07T22:39:46.441663Z","title":"How well do sota legal reasoning models support abductive reasoning?,","venue":null,"work_id":"8c1bef23-e59f-4947-8676-289fa7d68ba2","year":2023},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":1956,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.484882Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:0a748df03368b05b4e0127b25b7026ab30d25dfd4d35e23ec8b57ceacea8bff7","observation_id":"472c8759-7be1-4607-8a8b-319c43897b22","resolution":{"observed_at":"2026-08-07T22:39:46.445487Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T22:39:46.474721Z","title":"Artificial intelligence, logic and formaliz- ing common sense","venue":null,"work_id":"ba0a4945-456e-4470-b46c-0e55d6796042","year":1989},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":1959,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.469064Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:6f485f530f5e528ac8009d1756030d846849b166bca124d0a2a6f4a6e90d6d00","observation_id":"0ef42abd-a759-4c1b-b103-1742e10cb153","resolution":{"observed_at":"2026-08-07T22:39:46.478643Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T22:39:46.485727Z","title":"Programs with common sense","venue":null,"work_id":"6a8f96d1-dc0b-4f7e-8311-990c2ac52cf3","year":1959},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":1981,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.465289Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:6e9be46090f5218920dcb591aa2ad4dbf3d302e0ba666eff14f449d9c3eb936f","observation_id":"b59d6ff7-460b-4566-a5e2-6f91c26a1b7c","resolution":{"observed_at":"2026-08-07T22:39:46.489646Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T22:39:46.356233Z","title":"Can language models learn analogical reasoning? investigating training ob- jectives and comparisons to human performance","venue":null,"work_id":"67eba637-9348-4945-85cd-d08fdc3ed9e6","year":2023},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":1982,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.516592Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:34175db6f9513c0392f0a5e2c07ca9dc32fa114cdc98a8b57c50d91dbd31c7b9","observation_id":"ede39628-3514-443f-a0fe-0b7dd4c395c1","resolution":{"observed_at":"2026-08-07T22:39:46.359840Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T22:39:46.463919Z","title":"Enhancing reasoning capabilities of llms via prin- cipled synthetic logic corpus","venue":null,"work_id":"4c48c0a6-40bf-4a6b-bb9f-1f0649f96b9f","year":2024},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":1989,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.472809Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:dfa39dc2a6fb33f818eaee8f6977420d774339578032341f80deb1abb7abc6e4","observation_id":"330fe452-8239-4669-9803-29052752405a","resolution":{"observed_at":"2026-08-07T22:39:46.467699Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T22:39:46.642185Z","title":"Deeplogic: Towards end-to-end differentiable logical reasoning,","venue":null,"work_id":"12db8a09-c231-447b-996e-fb7c46ea76a8","year":2019},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":1993,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.384609Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:203cc5e91d22879ab3754df9ef1e43b2ffd48949b110769df8c2565b332a9385","observation_id":"52c60847-df98-47f5-9e9a-b382a8822e99","resolution":{"observed_at":"2026-08-07T22:39:46.645894Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T22:39:46.631698Z","title":"Trans- formers as soft reasoners over language","venue":null,"work_id":"7866ee5c-66f8-41a4-809c-009177d4024a","year":2021},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":2019,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.388876Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:89c8ad0263e265f0e98ae0fbefa96bc98cbe97135ec4b53c6ea6a2d1acf963bb","observation_id":"7b5a2701-0204-4877-9775-b694d598c2f1","resolution":{"observed_at":"2026-08-07T22:39:46.635306Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T22:39:46.570370Z","title":"Log- itorch: A pytorch-based library for logical reasoning on natural language","venue":null,"work_id":"2821b1bd-2a32-45ce-bb3c-2039e091e07b","year":2022},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":2020,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.418606Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:ac519e6caacfb02d9bb896f2810220382fc892a29d199ba3194f4c4153b27412","observation_id":"067926a5-5708-43ca-8a00-74745f7cde17","resolution":{"observed_at":"2026-08-07T22:39:46.574054Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2110.14168","last_updated":"2021-11-18T00:23:45Z","snapshot_observed_at":"2026-08-07T01:45:38.840969Z","submitted_at":"2021-10-27T04:49:45Z","title":"Training Verifiers to Solve Math Word Problems","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2110.14168","snapshot_observed_at":"2026-08-07T22:39:45.392571Z","title":"Training verifiers to solve math word prob- lems","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":2021,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.392571Z"},"links":{"cited_paper":"/paper/2110.14168","citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:7596a257133e3ea4ceb5b8459e2d0fe43ef3732425134836a1c91b30e83a63b1","observation_id":"d78407f0-f683-43f0-b8e7-d8d00b8daa03","resolution":{"observed_at":"2026-08-07T22:39:45.392571Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2409.12929","last_updated":"2025-09-05T04:45:51Z","snapshot_observed_at":"2026-07-06T19:18:17.523057Z","submitted_at":"2024-09-19T17:30:45Z","title":"LogicPro: Improving Complex Logical Reasoning via Program-Guided Learning","version":3},"cited_work":{"arxiv_id":"2409.12929","doi":null,"metadata_source":"pith","pith_arxiv_id":"2409.12929","snapshot_observed_at":"2026-08-07T22:39:46.055450Z","title":"LogicPro: Improving Complex Logical Reasoning via Program-Guided Learning","venue":"cs.CL","work_id":"5a104407-3058-4dcb-a707-a3b595d8a71b","year":2024},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":2022,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.422374Z"},"links":{"cited_paper":"/paper/2409.12929","citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:8ec91e4f234175996a3d8f33224a0aeb7f6bd75b7d165e47b82b08c517932dc8","observation_id":"a12cb4b5-ac0c-4db1-96e9-d78f9995de18","resolution":{"observed_at":"2026-08-07T22:39:46.059462Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T22:39:46.610473Z","title":"DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning","venue":null,"work_id":"10d0afb0-9da1-4703-9095-3c1c705a4bbb","year":2025},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.400365Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:d21110dbb2377a3d6f81e52e74f112841348a60539c2890f6a7a879083ad37fa","observation_id":"0715924c-ec3a-4b37-9fc4-7f949b61bb93","resolution":{"observed_at":"2026-08-07T22:39:46.614189Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T22:39:46.663241Z","title":"A com- prehensive evaluation of inductive reasoning capabilities and problem solv- ing in large language models","venue":null,"work_id":"5cc6b003-7113-4290-afcf-19a913215694","year":2024},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.376340Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:b42feb295c763ba0cbbdf610a116774951354ea9152406ff8426f1d45245444f","observation_id":"b1db724d-d13f-4265-bc76-5739bc884427","resolution":{"observed_at":"2026-08-07T22:39:46.666841Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T22:39:46.600029Z","title":"True detective: A deep abductive reasoning benchmark undoable for GPT-3 and challenging for GPT-4","venue":null,"work_id":"ec8c4ddd-9586-45fa-9524-397da39354dc","year":2023},"citing_paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey","version":1},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-07T22:39:45.403801Z"},"links":{"citing_paper":"/paper/2502.09100"},"observation_digest":"sha256:c38c1caf8a36070e81609873c4830285a910cc468e187269748a38e528d876cd","observation_id":"1d7ec1b6-70c0-4d50-8f3d-a58752382d92","resolution":{"observed_at":"2026-08-07T22:39:46.603743Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2502.09100","last_updated":"2025-02-13T09:19:14Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-07T23:33:03.134022Z","submitted_at":"2025-02-13T09:19:14Z","title":"Logical Reasoning in Large Language Models: A Survey"},"reference_resolution":{"displayed":71,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":15,"verified_exact":3,"verified_fuzzy":53},"total_outbound_references":71},"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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 71 of 71 outbound references and 13 inbound Pith citation observations for arXiv:2502.09100."}