{"as_of":"2026-08-09T11:19:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:74167f550b1510a7815d78fe1a8505cc493281bce9d503fef5c3d1e6fcf5986f","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":26,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":26,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+00:00","state":"measured"},{"denominator":26,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":26,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-08T18:34:26.717301Z","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:bd4ca51eaa1d646e4b95d71e5ecea197aca6e61583b6c2182305143e6011cc79","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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":"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-08T18:34:26.717301Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.07813","last_updated":"2025-03-12T13:17:27Z","snapshot_observed_at":"2026-08-08T18:28:00.443323Z","submitted_at":"2025-02-08T17:19:43Z","title":"CryptoX : Compositional Reasoning Evaluation of Large Language Models","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-08T18:34:26.717301Z"},"links":{"cited_paper":"/paper/2209.00840","citing_paper":"/paper/2502.07813"},"observation_digest":"sha256:41e74ba76a8fc95e9e463347bd6181f322bd006e5d6664b3e8c86deebc36b6f8","observation_id":"25176236-cd10-4602-85f3-52cccce66007","resolution":{"observed_at":"2026-08-08T18:34:26.717301Z","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-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-08T16:15:05.187445Z","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:6ae82a1cd31e1c24706931d902b8fa0a3987aea7f52bd7c4a6bf1502dc098412","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-09T00:02:11.688683Z","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:6b8ad0ba3586406bc41afda58824bf1c9dc3e114d1c111abadbbd9ab10f74697","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-09T08:47:24.549169Z","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:03230bcb1cc9d19542706d37428e3001bc8635b6fd5aef5b3e8badd285cce072","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-09T05:55:16.389343Z","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:f988331b5a93e24b0552a6672b0c72c716eabe3a2a0e881f9d21d467c455d853","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-09T05:35:21.916120Z","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:1018e41ba0165aa64b826c4d096227c79cbd20b5dc2512c213580910c100fedd","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:1ab7f8fc6c5cff8978409e343ecf04540469d5af53bae481f1b339f68c5c50ea","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:b82a2f7fba87f4022ad0d065f69b6608ac5da390533f2832f8a8aeb8b357c96e","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:5add3354575bb3692a7dbdec0e44fb47b1562bfd0c6ccc3a12161406bcc7f7a8","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:5257d0f0f34a1fdbafd485ee37dcf6e6820f2beb74ca5e412737cf6a5820524a","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:2f50aa53719a9a3866818b2d893aa2b3261947ce7302e063dc9b63099c91acc2","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:cb6200a8085bfb52f5aaefa5f7bd25df1c24e3cdbc3d24162efbcbbf7ec8057b","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:15949880297dfd9acf5e3acd8e66c5ff71f8522eae5b0eba058505cbc71a5075","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:5afd57a1b80bd8849931559061f7f55113ba7d8a9cef6e979227ddf2aa40a383","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:83053a433b4fb3795ebbfa0135aa4b54c67507d4406072e930076686c9b8a55f","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:b3e30d1b0b4c4956cc0bf99c64e7e482b30a3a234a31cdcb90e3949f3786ce75","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T16:52:19.365177Z","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:df536a68c47e8a86324759def5a2610a83c4b81a335366e591d3d6c2f1fad830","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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 26 inbound Pith citation observations for arXiv:2209.00840."}