{"as_of":"2026-08-08T22:56:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:8fb400043caec1c97cde8fa13638eea870e1f205ba1aa69ae774310a345ee164","coverage":[{"denominator":25,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":25,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-08T15:08:26.067388Z","state":"measured"},{"denominator":31,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":31,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":6,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":6,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T12:35:19.306365Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-05-18T13:01:23.947475Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2502.06563","last_updated":"2025-03-02T16:38:28Z","snapshot_observed_at":"2026-08-08T15:00:36.926597Z","submitted_at":"2025-02-10T15:31:54Z","title":"Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.06563","snapshot_observed_at":"2026-08-07T12:35:19.306365Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.24264","last_updated":"2025-05-30T06:38:39Z","snapshot_observed_at":"2026-08-07T12:25:00.520357Z","submitted_at":"2025-05-30T06:38:39Z","title":"Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-07T12:35:19.306365Z"},"links":{"cited_paper":"/paper/2502.06563","citing_paper":"/paper/2505.24264"},"observation_digest":"sha256:78b9ea84f74bfb047d806135ffd7c462ee0905157c64fec239c48581ba00042b","observation_id":"68c99d71-793b-42b3-84bd-46ce86b62c49","resolution":{"observed_at":"2026-08-07T12:35:19.306365Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.06563","last_updated":"2025-03-02T16:38:28Z","snapshot_observed_at":"2026-08-08T15:00:36.926597Z","submitted_at":"2025-02-10T15:31:54Z","title":"Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.06563","snapshot_observed_at":"2026-08-05T15:26:52.776686Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2508.19903","last_updated":"2025-08-27T14:08:43Z","snapshot_observed_at":"2026-08-08T08:17:40.776630Z","submitted_at":"2025-08-27T14:08:43Z","title":"Logical Reasoning with Outcome Reward Models for Test-Time Scaling","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-05T15:26:52.776686Z"},"links":{"cited_paper":"/paper/2502.06563","citing_paper":"/paper/2508.19903"},"observation_digest":"sha256:10f87d51761a10914ef495ff614b290d3635a31295c982224a7fd5f1907601bb","observation_id":"ce3e289a-d08b-4d3d-8d3f-f37884a6f23d","resolution":{"observed_at":"2026-08-05T15:26:52.776686Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.06563","last_updated":"2025-03-02T16:38:28Z","snapshot_observed_at":"2026-08-08T15:00:36.926597Z","submitted_at":"2025-02-10T15:31:54Z","title":"Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation","version":2},"cited_work":{"arxiv_id":"2502.06563","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2502.06563","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Large language models meet symbolic provers for logical reasoning evaluation","venue":null,"work_id":"772a2c8e-601a-43f7-96fa-b9036f70087f","year":2025},"citing_paper":{"arxiv_id":"2509.24765","last_updated":"2026-04-22T06:35:36Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-09-29T13:31:22Z","title":"Semantic-Aware Logical Reasoning via a Semiotic Framework","version":8},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-05-18T12:57:45.584017Z"},"links":{"cited_paper":"/paper/2502.06563","citing_paper":"/paper/2509.24765"},"observation_digest":"sha256:e2cbbadef2681de95e66b5c2cb5ac7a3cbb1283ece2d8cc98d49d2e40fc0eb9d","observation_id":"041a955d-7a58-48e9-8cc3-81659d9d7f04","resolution":{"observed_at":"2026-05-18T13:01:24.233126Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.06563","last_updated":"2025-03-02T16:38:28Z","snapshot_observed_at":"2026-08-08T15:00:36.926597Z","submitted_at":"2025-02-10T15:31:54Z","title":"Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.06563","snapshot_observed_at":"2026-08-04T07:59:25.524284Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2510.23379","last_updated":"2026-05-30T06:33:05Z","snapshot_observed_at":"2026-08-07T14:32:31.636565Z","submitted_at":"2025-10-27T14:29:22Z","title":"Symbolic Neural Generation with Applications to Lead Discovery in Drug Design","version":2},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-04T07:59:25.524284Z"},"links":{"cited_paper":"/paper/2502.06563","citing_paper":"/paper/2510.23379"},"observation_digest":"sha256:fe84f53d64739f2830a28847ca0e46bb43e0f539cfae3abb76ce06cec0043bb8","observation_id":"6146b01b-d163-4128-bff6-f98a96f67ad1","resolution":{"observed_at":"2026-08-04T07:59:25.524284Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.06563","last_updated":"2025-03-02T16:38:28Z","snapshot_observed_at":"2026-08-08T15:00:36.926597Z","submitted_at":"2025-02-10T15:31:54Z","title":"Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation","version":2},"cited_work":{"arxiv_id":"2502.06563","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2502.06563","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Large language models meet symbolic provers for logical reasoning evaluation","venue":null,"work_id":"772a2c8e-601a-43f7-96fa-b9036f70087f","year":2025},"citing_paper":{"arxiv_id":"2604.18873","last_updated":"2026-04-20T21:53:11Z","snapshot_observed_at":"2026-08-03T18:32:08.065686Z","submitted_at":"2026-04-20T21:53:11Z","title":"From Natural Language to Executable Narsese: A Neuro-Symbolic Benchmark and Pipeline for Reasoning with NARS","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-10T04:08:38.327402Z"},"links":{"cited_paper":"/paper/2502.06563","citing_paper":"/paper/2604.18873"},"observation_digest":"sha256:1e61872d6f90eb8775c400aeb50e898d27558b2e7e005765549b77b61aa37521","observation_id":"9c945406-850c-4314-a7ed-96135dc10c0a","resolution":{"observed_at":"2026-05-11T12:06:05.019348Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.06563","last_updated":"2025-03-02T16:38:28Z","snapshot_observed_at":"2026-08-08T15:00:36.926597Z","submitted_at":"2025-02-10T15:31:54Z","title":"Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation","version":2},"cited_work":{"arxiv_id":"2502.06563","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2502.06563","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Large language models meet symbolic provers for logical reasoning evaluation","venue":null,"work_id":"772a2c8e-601a-43f7-96fa-b9036f70087f","year":2025},"citing_paper":{"arxiv_id":"2604.25155","last_updated":"2026-04-28T02:57:20Z","snapshot_observed_at":"2026-08-04T04:22:10.934988Z","submitted_at":"2026-04-28T02:57:20Z","title":"Rethinking Wireless Communications through Formal Mathematical AI Reasoning","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-05-07T15:42:24.167986Z"},"links":{"cited_paper":"/paper/2502.06563","citing_paper":"/paper/2604.25155"},"observation_digest":"sha256:fbb3d0ed80f86e183e705af85c16e638df13470f6dc1a5d8c6f6f62490c07e03","observation_id":"7b3879f0-8de8-448d-a15d-b43dafce4d79","resolution":{"observed_at":"2026-05-12T00:11:16.674940Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2502.06563/citation-record","integrity":"/paper/2502.06563/integrity","json":"/paper/2502.06563/citation-record.json","paper":"/paper/2502.06563"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2407.06245","last_updated":"2024-07-13T22:48:44Z","snapshot_observed_at":"2026-07-31T08:29:12.270884Z","submitted_at":"2024-07-08T13:07:50Z","title":"ORAN-Bench-13K: An Open Source Benchmark for Assessing LLMs in Open Radio Access Networks","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.06245","snapshot_observed_at":"2026-08-08T15:08:25.562802Z","title":"Oran-bench-13k: An open source benchmark for assessing llms in open radio access networks","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.06563","last_updated":"2025-03-02T16:38:28Z","snapshot_observed_at":"2026-08-08T15:00:36.926597Z","submitted_at":"2025-02-10T15:31:54Z","title":"Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-08T15:08:25.562802Z"},"links":{"cited_paper":"/paper/2407.06245","citing_paper":"/paper/2502.06563"},"observation_digest":"sha256:9f657dc63c6942465b8937a9bf5be1fd1215e013e939e8ff2c16d9a34cc1e3b1","observation_id":"cc0d78c7-c6b4-4a91-b5fa-ea2a17279dfc","resolution":{"observed_at":"2026-08-08T15:08:25.562802Z","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-08T15:08:26.642454Z","title":"F7\": \"playful","venue":null,"work_id":"34a9cf02-18d8-441d-97c3-c29a32728142","year":2025},"citing_paper":{"arxiv_id":"2502.06563","last_updated":"2025-03-02T16:38:28Z","snapshot_observed_at":"2026-08-08T15:00:36.926597Z","submitted_at":"2025-02-10T15:31:54Z","title":"Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-08T15:08:26.061235Z"},"links":{"citing_paper":"/paper/2502.06563"},"observation_digest":"sha256:8a9eca42bde857e7b06cdad3d2b5434206955935101b9c2a827451e39216caff","observation_id":"cd4099bc-b246-452d-b22a-b8334ebf5b16","resolution":{"observed_at":"2026-08-08T15:08:26.647251Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2310.06825","last_updated":"2023-10-10T17:54:58Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-10-10T17:54:58Z","title":"Mistral 7B","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.06825","snapshot_observed_at":"2026-08-08T15:08:25.615630Z","title":"Mistral 7b","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.06563","last_updated":"2025-03-02T16:38:28Z","snapshot_observed_at":"2026-08-08T15:00:36.926597Z","submitted_at":"2025-02-10T15:31:54Z","title":"Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-08T15:08:25.615630Z"},"links":{"cited_paper":"/paper/2310.06825","citing_paper":"/paper/2502.06563"},"observation_digest":"sha256:4d3e193a49be9f1115dc9d5644dd4c9c8199a99c689f7351a146f477e9912d6e","observation_id":"11831a62-f16c-4a82-82ae-7c84a3e0c327","resolution":{"observed_at":"2026-08-08T15:08:25.615630Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.04088","last_updated":"2024-01-08T18:47:34Z","snapshot_observed_at":"2026-08-08T06:16:25.839566Z","submitted_at":"2024-01-08T18:47:34Z","title":"Mixtral of Experts","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.04088","snapshot_observed_at":"2026-08-08T15:08:25.633937Z","title":"Mixtral of experts","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.06563","last_updated":"2025-03-02T16:38:28Z","snapshot_observed_at":"2026-08-08T15:00:36.926597Z","submitted_at":"2025-02-10T15:31:54Z","title":"Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-08T15:08:25.633937Z"},"links":{"cited_paper":"/paper/2401.04088","citing_paper":"/paper/2502.06563"},"observation_digest":"sha256:8d3f248d349ca1cac148f36a5ab11fd650471b27a0cbc67e610139c50f17645f","observation_id":"e7a5f2b5-51c5-45b8-95a6-5ab9c5773076","resolution":{"observed_at":"2026-08-08T15:08:25.633937Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T15:08:25.645998Z","title":"Jian Liu, Leyang Cui, Hanmeng Liu, Dandan Huang, Yile Wang, and Yue Zhang","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.06563","last_updated":"2025-03-02T16:38:28Z","snapshot_observed_at":"2026-08-08T15:00:36.926597Z","submitted_at":"2025-02-10T15:31:54Z","title":"Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-08T15:08:25.645998Z"},"links":{"citing_paper":"/paper/2502.06563"},"observation_digest":"sha256:10ffdc39cd0225b27f250869362d7a6c0c80668d26f0fa5204443ab5941d6ae5","observation_id":"17c24e16-bfb6-4e5a-b081-8e52f6874266","resolution":{"observed_at":"2026-08-08T15:08:25.645998Z","resolver_source":null,"status":"malformed_identifier"},"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-08T15:08:27.386590Z","title":"Faithful chain-of-thought reasoning","venue":null,"work_id":"63fad6d8-1a95-4f6e-ae04-7e71c7204707","year":2023},"citing_paper":{"arxiv_id":"2502.06563","last_updated":"2025-03-02T16:38:28Z","snapshot_observed_at":"2026-08-08T15:00:36.926597Z","submitted_at":"2025-02-10T15:31:54Z","title":"Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-08T15:08:25.657421Z"},"links":{"citing_paper":"/paper/2502.06563"},"observation_digest":"sha256:fdd53f0ac01823a9e6eb6349405f0d46ebf4aba0174a1f60d923b50395031676","observation_id":"ad001465-445f-41d5-ade7-57833e5f7c76","resolution":{"observed_at":"2026-08-08T15:08:27.392105Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T15:08:27.096823Z","title":"An investigation of llms’ inefficacy in understanding converse relations","venue":null,"work_id":"cfc95b11-c1de-42fc-8377-86d0060e1728","year":2023},"citing_paper":{"arxiv_id":"2502.06563","last_updated":"2025-03-02T16:38:28Z","snapshot_observed_at":"2026-08-08T15:00:36.926597Z","submitted_at":"2025-02-10T15:31:54Z","title":"Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-08T15:08:25.810262Z"},"links":{"citing_paper":"/paper/2502.06563"},"observation_digest":"sha256:ba54d651bc4b65feaf190073ceb89d88db65af882acb1a92c95fb3d121886692","observation_id":"0de303a2-7bad-4302-90e5-2d03c2e59592","resolution":{"observed_at":"2026-08-08T15:08:27.102572Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T15:08:26.940296Z","title":"Clutrr: A diag- nostic benchmark for inductive reasoning from text","venue":null,"work_id":"c06e1d24-3549-449c-8349-9548cb75b75c","year":2019},"citing_paper":{"arxiv_id":"2502.06563","last_updated":"2025-03-02T16:38:28Z","snapshot_observed_at":"2026-08-08T15:00:36.926597Z","submitted_at":"2025-02-10T15:31:54Z","title":"Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-08T15:08:25.815621Z"},"links":{"citing_paper":"/paper/2502.06563"},"observation_digest":"sha256:d472245baf4ef23685835bcc560b7de1df9668a00e70c12fed9b575c6abb4689","observation_id":"f1169ac6-dc2f-4c7e-92e9-7457b62d1d23","resolution":{"observed_at":"2026-08-08T15:08:27.047960Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2403.01081","last_updated":"2024-04-29T18:55:34Z","snapshot_observed_at":"2026-07-06T17:38:30.401240Z","submitted_at":"2024-03-02T03:48:37Z","title":"LAB: Large-Scale Alignment for ChatBots","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.01081","snapshot_observed_at":"2026-08-08T15:08:25.820486Z","title":"Haitian Sun, William W Cohen, and Ruslan Salakhutdinov","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.06563","last_updated":"2025-03-02T16:38:28Z","snapshot_observed_at":"2026-08-08T15:00:36.926597Z","submitted_at":"2025-02-10T15:31:54Z","title":"Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-08T15:08:25.820486Z"},"links":{"cited_paper":"/paper/2403.01081","citing_paper":"/paper/2502.06563"},"observation_digest":"sha256:c853436b9ee746bc7959115be428f5c9f316d6b547573db852eeb3ddd79600f4","observation_id":"ee3eeac2-c23f-4076-9a8f-35364951b62b","resolution":{"observed_at":"2026-08-08T15:08:25.820486Z","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-08T15:08:26.923884Z","title":"Proofwriter: Generating implications, proofs, and abductive statements over natural language","venue":null,"work_id":"0708d1bc-00b5-42bd-b0a0-9c475ce912d3","year":2021},"citing_paper":{"arxiv_id":"2502.06563","last_updated":"2025-03-02T16:38:28Z","snapshot_observed_at":"2026-08-08T15:00:36.926597Z","submitted_at":"2025-02-10T15:31:54Z","title":"Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-08T15:08:25.826329Z"},"links":{"citing_paper":"/paper/2502.06563"},"observation_digest":"sha256:488e30009b0b0a664504c5928952fc19bd69b103b79632743547a070f531aa22","observation_id":"04725cb7-156f-4df6-b2f4-02fbc5d16e20","resolution":{"observed_at":"2026-08-08T15:08:26.929529Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T15:08:26.905284Z","title":"Diagnosing the first-order logical reasoning ability through logicnli","venue":null,"work_id":"aa3da3e5-6280-4a73-94c8-1533ab235d1a","year":2021},"citing_paper":{"arxiv_id":"2502.06563","last_updated":"2025-03-02T16:38:28Z","snapshot_observed_at":"2026-08-08T15:00:36.926597Z","submitted_at":"2025-02-10T15:31:54Z","title":"Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-08T15:08:25.928489Z"},"links":{"citing_paper":"/paper/2502.06563"},"observation_digest":"sha256:ec9d17d9285a88197d158112c8d3c686732764151ec5be858ff3a65b9916cbbd","observation_id":"badd10d8-7e86-4f5e-ae96-2c08d3850d23","resolution":{"observed_at":"2026-08-08T15:08:26.910770Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T15:08:26.888751Z","title":"Large lan- guage models still can’t plan (a benchmark for llms on planning and reasoning about change)","venue":null,"work_id":"fd11f042-7f02-4bdf-bbd4-a046bd99a7b9","year":2025},"citing_paper":{"arxiv_id":"2502.06563","last_updated":"2025-03-02T16:38:28Z","snapshot_observed_at":"2026-08-08T15:00:36.926597Z","submitted_at":"2025-02-10T15:31:54Z","title":"Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-08T15:08:25.988093Z"},"links":{"citing_paper":"/paper/2502.06563"},"observation_digest":"sha256:241b67453802946a870da0154be43ba62a010f409c568434c998b00a4de13e80","observation_id":"6d8726ac-2cf1-43b7-b4b8-ec6491eda7fe","resolution":{"observed_at":"2026-08-08T15:08:26.893978Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2104.06598","last_updated":"2021-04-15T02:21:45Z","snapshot_observed_at":"2026-08-05T05:08:46.627049Z","submitted_at":"2021-04-14T02:53:32Z","title":"AR-LSAT: Investigating Analytical Reasoning of Text","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2104.06598","snapshot_observed_at":"2026-08-08T15:08:26.050187Z","title":"Ar-lsat: Investigating analytical reasoning of text","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.06563","last_updated":"2025-03-02T16:38:28Z","snapshot_observed_at":"2026-08-08T15:00:36.926597Z","submitted_at":"2025-02-10T15:31:54Z","title":"Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-08T15:08:26.050187Z"},"links":{"cited_paper":"/paper/2104.06598","citing_paper":"/paper/2502.06563"},"observation_digest":"sha256:91f045a6ef5bea409fbeec5529f3ca2588a9d34ce923f0e38c248f3ef99bb676","observation_id":"44bfd5ed-ba68-47b3-b484-15fb4a36af7a","resolution":{"observed_at":"2026-08-08T15:08:26.050187Z","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-08T15:08:26.699565Z","title":"category","venue":null,"work_id":"6c778b83-cd7f-42ad-b8b6-0d60ef680c34","year":2025},"citing_paper":{"arxiv_id":"2502.06563","last_updated":"2025-03-02T16:38:28Z","snapshot_observed_at":"2026-08-08T15:00:36.926597Z","submitted_at":"2025-02-10T15:31:54Z","title":"Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-08T15:08:26.055588Z"},"links":{"citing_paper":"/paper/2502.06563"},"observation_digest":"sha256:853ba5a5da9129f353658053378cb4defc725b4ff05f690eebebfbc867efe0c5","observation_id":"84447c6d-4170-490e-9907-d30a947d8a9a","resolution":{"observed_at":"2026-08-08T15:08:26.835572Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T15:08:26.625436Z","title":"2-shot) into the prompt did not consistently improve the performance of LLMs","venue":null,"work_id":"43e67c05-0643-4904-98ba-bb2a87681067","year":2025},"citing_paper":{"arxiv_id":"2502.06563","last_updated":"2025-03-02T16:38:28Z","snapshot_observed_at":"2026-08-08T15:00:36.926597Z","submitted_at":"2025-02-10T15:31:54Z","title":"Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-08T15:08:26.067388Z"},"links":{"citing_paper":"/paper/2502.06563"},"observation_digest":"sha256:a7d0a4b260e2c5f10bf59e06d62a1be6afb1c6b141d0151152e77eb422f1e748","observation_id":"172fc5ae-730b-47dd-a41c-dadf35a1ce46","resolution":{"observed_at":"2026-08-08T15:08:26.631144Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T15:08:27.113410Z","title":"Linc: A neurosymbolic approach for logical reasoning by com- bining language models with first-order logic provers","venue":null,"work_id":"83f8496f-6503-455d-9d3d-9a4abccbcdc3","year":2023},"citing_paper":{"arxiv_id":"2502.06563","last_updated":"2025-03-02T16:38:28Z","snapshot_observed_at":"2026-08-08T15:00:36.926597Z","submitted_at":"2025-02-10T15:31:54Z","title":"Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation","version":2},"reference_index":1995,"source":"pdf_text","source_observed_at":"2026-08-08T15:08:25.800143Z"},"links":{"citing_paper":"/paper/2502.06563"},"observation_digest":"sha256:85993dcd953c4f210ff5e5c5780b0399755aaae91cd6626fc87c099bb39a889d","observation_id":"96ca3663-8d25-444b-8265-e227bf915e95","resolution":{"observed_at":"2026-08-08T15:08:27.119652Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T15:08:27.130461Z","title":"Smith, Mateusz Paprocki, Ond ˇrej ˇCert´ık, Sergey B","venue":null,"work_id":"19e0159b-0842-4c9e-aad0-9f3d242aadd8","year":2025},"citing_paper":{"arxiv_id":"2502.06563","last_updated":"2025-03-02T16:38:28Z","snapshot_observed_at":"2026-08-08T15:00:36.926597Z","submitted_at":"2025-02-10T15:31:54Z","title":"Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation","version":2},"reference_index":2005,"source":"pdf_text","source_observed_at":"2026-08-08T15:08:25.702601Z"},"links":{"citing_paper":"/paper/2502.06563"},"observation_digest":"sha256:95fdca5869d6dbf8ae3a5af115603b8ea1e805d421612448d7fbc1e02ebf6fea","observation_id":"581516ee-6df6-4734-addf-4d97b527226d","resolution":{"observed_at":"2026-08-08T15:08:27.225696Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T15:08:27.480322Z","title":"The lean theorem prover (system description)","venue":null,"work_id":"8b4c6ca4-b732-403e-b653-d9b63b6efe4e","year":2025},"citing_paper":{"arxiv_id":"2502.06563","last_updated":"2025-03-02T16:38:28Z","snapshot_observed_at":"2026-08-08T15:00:36.926597Z","submitted_at":"2025-02-10T15:31:54Z","title":"Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation","version":2},"reference_index":2008,"source":"pdf_text","source_observed_at":"2026-08-08T15:08:25.527570Z"},"links":{"citing_paper":"/paper/2502.06563"},"observation_digest":"sha256:9a14eedb80d657ee5a286abd4fc4c255c03686f2634cf2e35132686940d0f6e7","observation_id":"9428ebac-f006-455e-aa04-4736ffeb147a","resolution":{"observed_at":"2026-08-08T15:08:27.534848Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.21783","last_updated":"2024-11-23T23:27:33Z","snapshot_observed_at":"2026-07-06T18:55:11.576666Z","submitted_at":"2024-07-31T17:54:27Z","title":"The Llama 3 Herd of Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.21783","snapshot_observed_at":"2026-08-08T15:08:25.551741Z","title":"The llama 3 herd of models","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.06563","last_updated":"2025-03-02T16:38:28Z","snapshot_observed_at":"2026-08-08T15:00:36.926597Z","submitted_at":"2025-02-10T15:31:54Z","title":"Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation","version":2},"reference_index":2015,"source":"pdf_text","source_observed_at":"2026-08-08T15:08:25.551741Z"},"links":{"cited_paper":"/paper/2407.21783","citing_paper":"/paper/2502.06563"},"observation_digest":"sha256:b2409a5a657092c4d1ec9ffabdaadfb16998d460a1812bd084d69ba3462dde89","observation_id":"63f8f42b-c542-4cf8-8579-991f0563fd7d","resolution":{"observed_at":"2026-08-08T15:08:25.551741Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T15:08:25.795845Z","title":"doi: 10.7717/peerj-cs.103","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.06563","last_updated":"2025-03-02T16:38:28Z","snapshot_observed_at":"2026-08-08T15:00:36.926597Z","submitted_at":"2025-02-10T15:31:54Z","title":"Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation","version":2},"reference_index":2017,"source":"pdf_text","source_observed_at":"2026-08-08T15:08:25.795845Z"},"links":{"citing_paper":"/paper/2502.06563"},"observation_digest":"sha256:76cfe85a4dae837370eebda71962e7c9d3699b9d4806270fda97c6f3009e5235","observation_id":"5bea2b2d-a00a-4d32-a7e9-527d212ca9c4","resolution":{"observed_at":"2026-08-08T15:08:25.795845Z","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":"2402.11903","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T15:08:26.312266Z","title":"Sola: Solver-layer adaption of llm for better logic reasoning","venue":null,"work_id":"3dbb28d7-c4c7-4e93-b73d-3dd183afbbc9","year":null},"citing_paper":{"arxiv_id":"2502.06563","last_updated":"2025-03-02T16:38:28Z","snapshot_observed_at":"2026-08-08T15:00:36.926597Z","submitted_at":"2025-02-10T15:31:54Z","title":"Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation","version":2},"reference_index":2019,"source":"pdf_text","source_observed_at":"2026-08-08T15:08:26.045649Z"},"links":{"citing_paper":"/paper/2502.06563"},"observation_digest":"sha256:5dbcf3ef59fe320e5fb9bd1950e0aab3939883c089011a779d28c9189c30be0d","observation_id":"e3e21e73-5f74-424a-84a4-16e5ef0e487f","resolution":{"observed_at":"2026-08-08T15:08:26.336432Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2209.00840","last_updated":"2024-10-11T20:08:54Z","snapshot_observed_at":"2026-07-06T13:48:09.566161Z","submitted_at":"2022-09-02T06:50:11Z","title":"FOLIO: Natural Language Reasoning with First-Order Logic","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2209.00840","snapshot_observed_at":"2026-08-08T15:08:25.569771Z","title":"Folio: Natural language reasoning with first-order logic","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.06563","last_updated":"2025-03-02T16:38:28Z","snapshot_observed_at":"2026-08-08T15:00:36.926597Z","submitted_at":"2025-02-10T15:31:54Z","title":"Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation","version":2},"reference_index":2021,"source":"pdf_text","source_observed_at":"2026-08-08T15:08:25.569771Z"},"links":{"cited_paper":"/paper/2209.00840","citing_paper":"/paper/2502.06563"},"observation_digest":"sha256:d441ee867dd0babbb81b3ae676783cd5ea3c9f7e8f32e23cd4bd76ebd9efbe78","observation_id":"5ab026af-b9bc-4f83-8b8a-69d546b5b095","resolution":{"observed_at":"2026-08-08T15:08:25.569771Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2307.02394","last_updated":"2023-07-05T16:09:21Z","snapshot_observed_at":"2026-07-06T15:50:37.546095Z","submitted_at":"2023-07-05T16:09:21Z","title":"Won't Get Fooled Again: Answering Questions with False Premises","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2307.02394","snapshot_observed_at":"2026-08-08T15:08:25.574666Z","title":"Won’t get fooled again: Answering questions with false premises","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.06563","last_updated":"2025-03-02T16:38:28Z","snapshot_observed_at":"2026-08-08T15:00:36.926597Z","submitted_at":"2025-02-10T15:31:54Z","title":"Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation","version":2},"reference_index":2022,"source":"pdf_text","source_observed_at":"2026-08-08T15:08:25.574666Z"},"links":{"cited_paper":"/paper/2307.02394","citing_paper":"/paper/2502.06563"},"observation_digest":"sha256:a8f3dd12d5df69af9528c42c8e1f4f863590b68715a376e411a0519bd7226de9","observation_id":"e01b56df-3326-42c0-acd2-2daefff14d30","resolution":{"observed_at":"2026-08-08T15:08:25.574666Z","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-08T15:08:27.402483Z","title":"Chatgpt is fun, but it is not funny! humor is still challenging large language models","venue":null,"work_id":"1eb058f9-70ad-44ce-81a8-2aed1eda7add","year":2023},"citing_paper":{"arxiv_id":"2502.06563","last_updated":"2025-03-02T16:38:28Z","snapshot_observed_at":"2026-08-08T15:00:36.926597Z","submitted_at":"2025-02-10T15:31:54Z","title":"Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation","version":2},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-08T15:08:25.590828Z"},"links":{"citing_paper":"/paper/2502.06563"},"observation_digest":"sha256:752f64b07f3e86d68b878a2232f16be37951cb4245119ffb81ec24e13a8d40ab","observation_id":"bbf83b27-1534-49cf-ad09-cb50a139179c","resolution":{"observed_at":"2026-08-08T15:08:27.407685Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.12295","last_updated":"2023-10-19T01:54:27Z","snapshot_observed_at":"2026-08-07T13:11:49.965934Z","submitted_at":"2023-05-20T22:25:38Z","title":"Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.12295","snapshot_observed_at":"2026-08-08T15:08:25.805554Z","title":"Liangming Pan, Alon Albalak, Xinyi Wang, and William Yang Wang","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.06563","last_updated":"2025-03-02T16:38:28Z","snapshot_observed_at":"2026-08-08T15:00:36.926597Z","submitted_at":"2025-02-10T15:31:54Z","title":"Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation","version":2},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-08T15:08:25.805554Z"},"links":{"cited_paper":"/paper/2305.12295","citing_paper":"/paper/2502.06563"},"observation_digest":"sha256:56a348306c833decae0edb3dee7d70b7f1bbac0578ac643bcf04d9d63e0af3cd","observation_id":"bf513ac5-1bbb-484e-a12e-17cb30a23d72","resolution":{"observed_at":"2026-08-08T15:08:25.805554Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2502.06563","last_updated":"2025-03-02T16:38:28Z","latest_version":2,"primary_category":"cs.CL","snapshot_observed_at":"2026-08-08T15:00:36.926597Z","submitted_at":"2025-02-10T15:31:54Z","title":"Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation"},"reference_resolution":{"displayed":25,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":10,"verified_exact":1,"verified_fuzzy":13},"total_outbound_references":25},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 25 of 25 outbound references and 6 inbound Pith citation observations for arXiv:2502.06563."}