{"as_of":"2026-08-08T13:46:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:785048f1d86d481dc7840085248c127190a8dee5c2202f7d175f1bfeb2f11afd","coverage":[{"denominator":0,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":24,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":24,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":24,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":24,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T23:19:36.702863Z","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-04T03:59:34.111501Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"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":"2209.00840","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2209.00840","snapshot_observed_at":"2026-07-04T03:59:34.111501Z","title":"Folio: Natural language reasoning with first-order logic","venue":null,"work_id":"8aaec3ee-3ba2-4027-ad4a-46cd696ab8e5","year":2024},"citing_paper":{"arxiv_id":"2305.14992","last_updated":"2023-10-23T07:24:28Z","snapshot_observed_at":"2026-07-06T15:32:25.931739Z","submitted_at":"2023-05-24T10:28:28Z","title":"Reasoning with Language Model is Planning with World Model","version":2},"reference_index":65,"source":"arxiv_source","source_observed_at":"2026-05-17T01:49:28.796581Z"},"links":{"cited_paper":"/paper/2209.00840","citing_paper":"/paper/2305.14992"},"observation_digest":"sha256:63cb61ca7a465e6fba12ebeaf8b6083d4b7ae5de299cf6d52f07468929270014","observation_id":"4bcdd179-8156-4cd6-b3e4-7af548a52255","resolution":{"observed_at":"2026-05-17T01:49:28.994469Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"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-07T23:19:36.702863Z","title":"arXiv preprint arXiv:2209.00840","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.08904","last_updated":"2025-02-27T01:49:15Z","snapshot_observed_at":"2026-08-07T23:14:06.470031Z","submitted_at":"2025-02-13T02:40:33Z","title":"MIH-TCCT: Mitigating Inconsistent Hallucinations in LLMs via Event-Driven Text-Code Cyclic Training","version":3},"reference_index":2022,"source":"pdf_text","source_observed_at":"2026-08-07T23:19:36.702863Z"},"links":{"cited_paper":"/paper/2209.00840","citing_paper":"/paper/2502.08904"},"observation_digest":"sha256:3981a2c579177d4af7a6a4582c9cf12a8cdf3e4463e4d84f03a49fd3f7f0d786","observation_id":"bf585a55-23b7-4bc7-aa1b-4c7e460f1a2c","resolution":{"observed_at":"2026-08-07T23:19:36.702863Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"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-07T18:31:46.629555Z","title":"arXiv:2209.00840","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.10338","last_updated":"2025-02-14T17:55:43Z","snapshot_observed_at":"2026-08-07T18:26:34.151573Z","submitted_at":"2025-02-14T17:55:43Z","title":"Evaluating the Meta- and Object-Level Reasoning of Large Language Models for Question Answering","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T18:31:46.629555Z"},"links":{"cited_paper":"/paper/2209.00840","citing_paper":"/paper/2502.10338"},"observation_digest":"sha256:d0370d46fba1620cbfee5b76f44118cf5cf8267586b8955feff3a395dcba6a64","observation_id":"9d1e3700-fe8f-4399-9c6a-19a46b3b3a00","resolution":{"observed_at":"2026-08-07T18:31:46.629555Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"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-07T15:36:25.653305Z","title":"Fabbri, Wojciech Kryscinski, Semih Yavuz, Ye Liu, Xi Victoria Lin, Shafiq Joty, Yingbo Zhou, Caiming Xiong, Rex Ying, Arman Cohan, and Dragomir Radev","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.14552","last_updated":"2025-05-21T07:43:57Z","snapshot_observed_at":"2026-08-07T15:30:04.786859Z","submitted_at":"2025-05-20T16:06:32Z","title":"KORGym: A Dynamic Game Platform for LLM Reasoning Evaluation","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T15:36:25.653305Z"},"links":{"cited_paper":"/paper/2209.00840","citing_paper":"/paper/2505.14552"},"observation_digest":"sha256:fab8cbb68d24b957aee9d46693d8d46a0dec21065855a6d292b436dad9547cfd","observation_id":"e21f3090-69cb-4441-a937-26476f5fd925","resolution":{"observed_at":"2026-08-07T15:36:25.653305Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"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-07T14:17:55.716989Z","title":"Folio: Natural language reasoning with first-order logic.arXiv preprint arXiv:2209.00840,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.19433","last_updated":"2025-06-01T13:59:15Z","snapshot_observed_at":"2026-08-07T14:11:55.401752Z","submitted_at":"2025-05-26T02:49:07Z","title":"Can Compressed LLMs Truly Act? An Empirical Evaluation of Agentic Capabilities in LLM Compression","version":2},"reference_index":2015,"source":"pdf_text","source_observed_at":"2026-08-07T14:17:55.716989Z"},"links":{"cited_paper":"/paper/2209.00840","citing_paper":"/paper/2505.19433"},"observation_digest":"sha256:76e3c28182db5c2656704a42d1cfdeef31b2596aa09ac91145900a18620175b8","observation_id":"dcd2eb07-fe73-4d35-8e7d-c89e2c8ca88c","resolution":{"observed_at":"2026-08-07T14:17:55.716989Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"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-07T14:11:09.786756Z","title":"Folio: Natural language reasoning with first-order logic.arXiv preprint arXiv:2209.00840, 2022","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.19914","last_updated":"2025-06-09T07:49:32Z","snapshot_observed_at":"2026-08-07T16:09:17.796555Z","submitted_at":"2025-05-26T12:40:31Z","title":"Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles","version":2},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-07T14:11:09.786756Z"},"links":{"cited_paper":"/paper/2209.00840","citing_paper":"/paper/2505.19914"},"observation_digest":"sha256:395e6d9d619e7cde94f926ddce7c6ff8135ac90e4b01e14f17a10d30a77a91be","observation_id":"dcaac41e-6170-4752-9e5f-151d9d1a7e9d","resolution":{"observed_at":"2026-08-07T14:11:09.786756Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"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-07T06:09:18.758315Z","title":"Folio: Natural language reasoning with first-order logic","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.06008","last_updated":"2025-06-06T11:53:27Z","snapshot_observed_at":"2026-08-07T10:44:12.390654Z","submitted_at":"2025-06-06T11:53:27Z","title":"Token Signature: Predicting Chain-of-Thought Gains with Token Decoding Feature in Large Language Models","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:18.758315Z"},"links":{"cited_paper":"/paper/2209.00840","citing_paper":"/paper/2506.06008"},"observation_digest":"sha256:6c00950b76bad37b88c59a6afbc89e907664af7c5d021ea0a366647c3838fd6e","observation_id":"3bdfb2a5-81ff-49af-9e46-c21fcf83efa7","resolution":{"observed_at":"2026-08-07T06:09:18.758315Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"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-07T04:55:42.781612Z","title":"Folio: Natural language reasoning with first-order logic","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.09433","last_updated":"2025-06-11T06:30:28Z","snapshot_observed_at":"2026-08-07T04:45:54.437993Z","submitted_at":"2025-06-11T06:30:28Z","title":"Mitigating Spurious Correlations in LLMs via Causality-Aware Post-Training","version":1},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-07T04:55:42.781612Z"},"links":{"cited_paper":"/paper/2209.00840","citing_paper":"/paper/2506.09433"},"observation_digest":"sha256:9210c795c4b5d3cb596f0faef51c4870d6a9f7754f4d03408312082b1bd1a59f","observation_id":"625eeb89-d441-417a-a1a8-add8febd28ee","resolution":{"observed_at":"2026-08-07T04:55:42.781612Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"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-07T06:00:19.879662Z","title":"Folio: Natural language reasoning with first-order logic,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.11102","last_updated":"2025-06-06T17:52:18Z","snapshot_observed_at":"2026-08-07T05:54:56.593167Z","submitted_at":"2025-06-06T17:52:18Z","title":"Evolutionary Perspectives on the Evaluation of LLM-Based AI Agents: A Comprehensive Survey","version":1},"reference_index":186,"source":"pdf_text","source_observed_at":"2026-08-07T06:00:19.879662Z"},"links":{"cited_paper":"/paper/2209.00840","citing_paper":"/paper/2506.11102"},"observation_digest":"sha256:e3bc073a329b795ecc15fad87fac286ea24249692390e2ab60fea6ce28a1278c","observation_id":"26761db9-9e12-4c75-a285-60377864d088","resolution":{"observed_at":"2026-08-07T06:00:19.879662Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"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-07T00:32:59.829841Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.13752","last_updated":"2025-06-16T17:57:05Z","snapshot_observed_at":"2026-08-07T00:24:26.783413Z","submitted_at":"2025-06-16T17:57:05Z","title":"Steering LLM Thinking with Budget Guidance","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T00:32:59.829841Z"},"links":{"cited_paper":"/paper/2209.00840","citing_paper":"/paper/2506.13752"},"observation_digest":"sha256:1c7795ea2397e575c94ab3e108d265f1e4f753254ca516740a724269ad913951","observation_id":"a1117513-2ed3-462c-a131-c30dc59528d7","resolution":{"observed_at":"2026-08-07T00:32:59.829841Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"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-06T04:33:34.393733Z","title":"Folio: Natural language reasoning with first-order logic","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2508.03366","last_updated":"2025-08-05T12:14:32Z","snapshot_observed_at":"2026-08-06T04:33:30.342321Z","submitted_at":"2025-08-05T12:14:32Z","title":"A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-06T04:33:34.393733Z"},"links":{"cited_paper":"/paper/2209.00840","citing_paper":"/paper/2508.03366"},"observation_digest":"sha256:0bbf7950edf6a5219fd9b95ca8938de7709813b1740f6f124bdd28ae0b135dae","observation_id":"50d8ed53-ff16-4208-b82b-0ddaeaf071a7","resolution":{"observed_at":"2026-08-06T04:33:34.393733Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"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-05T04:42:06.003231Z","title":"Folio: Natural language reasoning with first-order logic","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.06024","last_updated":"2025-09-07T11:52:18Z","snapshot_observed_at":"2026-08-06T03:19:32.912528Z","submitted_at":"2025-09-07T11:52:18Z","title":"Rethinking Reasoning Quality in Large Language Models through Enhanced Chain-of-Thought via RL","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-05T04:42:06.003231Z"},"links":{"cited_paper":"/paper/2209.00840","citing_paper":"/paper/2509.06024"},"observation_digest":"sha256:954fd7b92b789199bbfa3237f177384d0a58652b041254830b131738a3bac8d6","observation_id":"c1d3bab2-ec8e-4b06-b5ea-c4ff44d58900","resolution":{"observed_at":"2026-08-05T04:42:06.003231Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"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":"2209.00840","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2209.00840","snapshot_observed_at":"2026-07-04T03:59:34.111501Z","title":"Folio: Natural language reasoning with first-order logic","venue":null,"work_id":"8aaec3ee-3ba2-4027-ad4a-46cd696ab8e5","year":2024},"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":17,"source":"arxiv_source","source_observed_at":"2026-05-18T12:57:45.584017Z"},"links":{"cited_paper":"/paper/2209.00840","citing_paper":"/paper/2509.24765"},"observation_digest":"sha256:9d957a6fa99129bc5ae4dbbe5273d63c9d2022bc396575c703bb0b631b74ceae","observation_id":"11735ddc-b90d-4e91-9f9e-960368147cfc","resolution":{"observed_at":"2026-05-18T13:01:24.268440Z","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":"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":"2209.00840","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2209.00840","snapshot_observed_at":"2026-07-04T03:59:34.111501Z","title":"Folio: Natural language reasoning with first-order logic","venue":null,"work_id":"8aaec3ee-3ba2-4027-ad4a-46cd696ab8e5","year":2024},"citing_paper":{"arxiv_id":"2604.02733","last_updated":"2026-04-03T05:05:43Z","snapshot_observed_at":"2026-07-06T22:52:02.162758Z","submitted_at":"2026-04-03T05:05:43Z","title":"DeltaLogic: Minimal Premise Edits Reveal Belief-Revision Failures in Logical Reasoning Models","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-05-13T20:25:27.927263Z"},"links":{"cited_paper":"/paper/2209.00840","citing_paper":"/paper/2604.02733"},"observation_digest":"sha256:fad2fe99746cfe43b77b643c99da42a308e28f37a018ae08559993a0ca64c451","observation_id":"744d9d97-5ef5-439c-a1d0-b7eaa0d0a7a3","resolution":{"observed_at":"2026-05-13T20:28:14.020420Z","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":"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":"2209.00840","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2209.00840","snapshot_observed_at":"2026-07-04T03:59:34.111501Z","title":"Folio: Natural language reasoning with first-order logic","venue":null,"work_id":"8aaec3ee-3ba2-4027-ad4a-46cd696ab8e5","year":2024},"citing_paper":{"arxiv_id":"2604.05383","last_updated":"2026-04-07T03:30:52Z","snapshot_observed_at":"2026-07-06T22:54:08.897942Z","submitted_at":"2026-04-07T03:30:52Z","title":"Towards Effective In-context Cross-domain Knowledge Transfer via Domain-invariant-neurons-based Retrieval","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-10T19:31:53.895388Z"},"links":{"cited_paper":"/paper/2209.00840","citing_paper":"/paper/2604.05383"},"observation_digest":"sha256:453890abcb2160eef7753b261e0b05a5eaf2c45e74e9f20f63b8e9f58a57ffe3","observation_id":"fa423443-444e-497b-ad5b-37a0b5579495","resolution":{"observed_at":"2026-05-10T22:50:49.973825Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"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":"2209.00840","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2209.00840","snapshot_observed_at":"2026-07-04T03:59:34.111501Z","title":"Folio: Natural language reasoning with first-order logic","venue":null,"work_id":"8aaec3ee-3ba2-4027-ad4a-46cd696ab8e5","year":2024},"citing_paper":{"arxiv_id":"2604.05396","last_updated":"2026-04-07T03:48:08Z","snapshot_observed_at":"2026-07-30T19:50:42.421488Z","submitted_at":"2026-04-07T03:48:08Z","title":"Reason Analogically via Cross-domain Prior Knowledge: An Empirical Study of Cross-domain Knowledge Transfer for In-Context Learning","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-10T19:19:47.474410Z"},"links":{"cited_paper":"/paper/2209.00840","citing_paper":"/paper/2604.05396"},"observation_digest":"sha256:11b4ce3f72fea7678a4769061498205bb189b97d362f1418dbaba497ba075ace","observation_id":"72838af7-086b-421f-a3b8-99e177850f55","resolution":{"observed_at":"2026-05-10T23:10:49.989459Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"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":"2209.00840","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2209.00840","snapshot_observed_at":"2026-07-04T03:59:34.111501Z","title":"Folio: Natural language reasoning with first-order logic","venue":null,"work_id":"8aaec3ee-3ba2-4027-ad4a-46cd696ab8e5","year":2024},"citing_paper":{"arxiv_id":"2605.08905","last_updated":"2026-05-09T11:57:25Z","snapshot_observed_at":"2026-07-06T23:21:06.773761Z","submitted_at":"2026-05-09T11:57:25Z","title":"Forge: Quality-Aware Reinforcement Learning for NP-Hard Optimization in LLMs","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-05-12T02:44:33.143247Z"},"links":{"cited_paper":"/paper/2209.00840","citing_paper":"/paper/2605.08905"},"observation_digest":"sha256:71b7a3f54ac88ff29582e8a7461313f127391a7c9eee1330557793c9f34c761d","observation_id":"506cbdfb-65af-4810-b127-f9ebad2c49f1","resolution":{"observed_at":"2026-05-12T02:46:18.942014Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"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":"2209.00840","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2209.00840","snapshot_observed_at":"2026-07-04T03:59:34.111501Z","title":"Folio: Natural language reasoning with first-order logic","venue":null,"work_id":"8aaec3ee-3ba2-4027-ad4a-46cd696ab8e5","year":2024},"citing_paper":{"arxiv_id":"2605.24305","last_updated":"2026-05-23T00:34:17Z","snapshot_observed_at":"2026-08-04T04:13:49.382996Z","submitted_at":"2026-05-23T00:34:17Z","title":"ChaosBench-Logic v2: Evaluating LLM Logical Reasoning over Dynamical Systems at Scale","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-06-30T14:14:30.097305Z"},"links":{"cited_paper":"/paper/2209.00840","citing_paper":"/paper/2605.24305"},"observation_digest":"sha256:7944d510e7e83fa3f450181ec76fd4a7482725bee7f80fb299a9668e6f46985f","observation_id":"aa94ccf6-1189-4b8f-9fb1-3a67ca90e56f","resolution":{"observed_at":"2026-06-30T14:14:45.364965Z","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":"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":"2209.00840","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2209.00840","snapshot_observed_at":"2026-07-04T03:59:34.111501Z","title":"Folio: Natural language reasoning with first-order logic","venue":null,"work_id":"8aaec3ee-3ba2-4027-ad4a-46cd696ab8e5","year":2024},"citing_paper":{"arxiv_id":"2606.02907","last_updated":"2026-06-03T23:53:39Z","snapshot_observed_at":"2026-08-08T08:15:07.803866Z","submitted_at":"2026-06-01T21:22:15Z","title":"Linear Probes Detect Task Format, Not Reasoning Mode in Language Model Hidden States","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-06-28T14:21:35.807504Z"},"links":{"cited_paper":"/paper/2209.00840","citing_paper":"/paper/2606.02907"},"observation_digest":"sha256:9a834a1e026fe839f735038b655a4618c4fd6829adf13af62fa6bc671a714646","observation_id":"70995dd9-1e4c-42aa-9d0c-f39abba03d5d","resolution":{"observed_at":"2026-07-01T23:26:22.718639Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"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":"2209.00840","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2209.00840","snapshot_observed_at":"2026-07-04T03:59:34.111501Z","title":"Folio: Natural language reasoning with first-order logic","venue":null,"work_id":"8aaec3ee-3ba2-4027-ad4a-46cd696ab8e5","year":2024},"citing_paper":{"arxiv_id":"2606.16118","last_updated":"2026-06-19T01:41:59Z","snapshot_observed_at":"2026-07-06T23:52:37.922109Z","submitted_at":"2026-06-15T02:14:49Z","title":"Know Your Limits : On the Faithfulness of LLMs as Solvers and Autoformalizers in Legal Reasoning","version":2},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-06-27T04:24:11.949884Z"},"links":{"cited_paper":"/paper/2209.00840","citing_paper":"/paper/2606.16118"},"observation_digest":"sha256:e8f80b59a01aee8ac19f601b58e7f8d5bcb99337ef796f36fd6e398b9f982447","observation_id":"c4e29945-6da3-43d2-a639-49a3e71297ad","resolution":{"observed_at":"2026-07-03T17:18:43.463800Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"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":"2209.00840","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2209.00840","snapshot_observed_at":"2026-07-04T03:59:34.111501Z","title":"Folio: Natural language reasoning with first-order logic","venue":null,"work_id":"8aaec3ee-3ba2-4027-ad4a-46cd696ab8e5","year":2024},"citing_paper":{"arxiv_id":"2606.20873","last_updated":"2026-06-18T19:02:17Z","snapshot_observed_at":"2026-08-07T04:47:33.342706Z","submitted_at":"2026-06-18T19:02:17Z","title":"SciLens: Multi-modal Scientific Claim Verification with Agentic Entailment and Grounding","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-06-26T17:17:53.433056Z"},"links":{"cited_paper":"/paper/2209.00840","citing_paper":"/paper/2606.20873"},"observation_digest":"sha256:2bf424bc678cd375cf66ed0835e1c67188a687380cae69405ac4236ee9916e86","observation_id":"70fc5c36-629e-4ef6-8353-7980f431fb3f","resolution":{"observed_at":"2026-07-04T03:59:34.113175Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"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":"2209.00840","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2209.00840","snapshot_observed_at":"2026-07-04T03:59:34.111501Z","title":"Folio: Natural language reasoning with first-order logic","venue":null,"work_id":"8aaec3ee-3ba2-4027-ad4a-46cd696ab8e5","year":2024},"citing_paper":{"arxiv_id":"2607.01612","last_updated":"2026-07-02T02:29:33Z","snapshot_observed_at":"2026-08-07T21:17:52.584061Z","submitted_at":"2026-07-02T02:29:33Z","title":"Scaling with Confidence: Calibrating Confidence of LLMs for Adaptive Test Time Scaling","version":1},"reference_index":50,"source":"arxiv_source","source_observed_at":"2026-07-03T14:49:33.364596Z"},"links":{"cited_paper":"/paper/2209.00840","citing_paper":"/paper/2607.01612"},"observation_digest":"sha256:9200867ab16b1aeaee3782efb1b2bb71f642a5300ce6b382bcc9bddf167512b9","observation_id":"2d2977e4-26d9-45bd-ab54-e5e6982d07fd","resolution":{"observed_at":"2026-07-03T14:58:32.512333Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"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-01T13:34:14.740630Z","title":"arXiv preprint arXiv:2209.00840 , url =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.19088","last_updated":"2026-07-21T13:25:00Z","snapshot_observed_at":"2026-08-07T04:46:39.668290Z","submitted_at":"2026-07-21T13:25:00Z","title":"DAIS: Dependency-Aware Intermediate QA Supervision for Complex Reasoning","version":1},"reference_index":71,"source":"arxiv_source","source_observed_at":"2026-08-01T13:34:14.740630Z"},"links":{"cited_paper":"/paper/2209.00840","citing_paper":"/paper/2607.19088"},"observation_digest":"sha256:71bd10c49edf57e30094900e8ad71abe01051c5a59778223b777a47a89f7d50b","observation_id":"08db19f0-1f04-4c9a-9b80-e7446d739655","resolution":{"observed_at":"2026-08-01T13:34:14.740630Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"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-07-30T23:41:20.179943Z","title":"FOLIO: Natural language reasoning with first-order logic.arXiv preprint arXiv:2209.00840,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.23386","last_updated":"2026-07-25T22:40:02Z","snapshot_observed_at":"2026-08-01T23:27:14.965982Z","submitted_at":"2026-07-25T22:40:02Z","title":"Confidently Wrong: Exception Chain Collapse in Frontier LLM Rule Evaluation","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-30T23:41:20.179943Z"},"links":{"cited_paper":"/paper/2209.00840","citing_paper":"/paper/2607.23386"},"observation_digest":"sha256:1031d45ac63e3a327c257631469679d75d2607d4edc22315b27b913fc62e14f3","observation_id":"b508200d-e0fb-459e-a670-b3e3247ce2b5","resolution":{"observed_at":"2026-07-30T23:41:20.179943Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2209.00840/citation-record","integrity":"/paper/2209.00840/integrity","json":"/paper/2209.00840/citation-record.json","paper":"/paper/2209.00840"},"outbound":[],"paper":{"arxiv_id":"2209.00840","last_updated":"2024-10-11T20:08:54Z","latest_version":3,"primary_category":"cs.CL","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"},"reference_resolution":{"displayed":0,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":0,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":0},"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 0 of 0 outbound references and 24 inbound Pith citation observations for arXiv:2209.00840."}