{"as_of":"2026-08-09T08:16:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:727ec7d34e5263388678b2ada2482fefd357d8141ec2a237e427cc14412ba3eb","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":11,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":11,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+00:00","state":"measured"},{"denominator":11,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":11,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T04:55:42.778568Z","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-24T11:14:23.233028Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2012.13048","last_updated":"2021-06-03T19:15:08Z","snapshot_observed_at":"2026-08-08T08:19:06.524784Z","submitted_at":"2020-12-24T00:55:46Z","title":"ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language","version":2},"cited_work":{"arxiv_id":"2012.13048","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2012.13048","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Tafjord, B","venue":null,"work_id":"a608ff8c-6587-4eca-9873-a2e39105c0b0","year":2012},"citing_paper":{"arxiv_id":"2211.14275","last_updated":"2022-11-25T18:19:44Z","snapshot_observed_at":"2026-08-01T02:16:43.109337Z","submitted_at":"2022-11-25T18:19:44Z","title":"Solving math word problems with process- and outcome-based feedback","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-05-24T11:10:40.864420Z"},"links":{"cited_paper":"/paper/2012.13048","citing_paper":"/paper/2211.14275"},"observation_digest":"sha256:3dddeef5021b6ce744a57575a7ce5e5fc50b56764aec5bd742e15933e211c93b","observation_id":"4d71ef74-1662-4544-b6c7-f78cc6df8c3a","resolution":{"observed_at":"2026-05-24T11:14:23.235339Z","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":"2012.13048","last_updated":"2021-06-03T19:15:08Z","snapshot_observed_at":"2026-08-08T08:19:06.524784Z","submitted_at":"2020-12-24T00:55:46Z","title":"ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language","version":2},"cited_work":{"arxiv_id":"2012.13048","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2012.13048","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Tafjord, B","venue":null,"work_id":"a608ff8c-6587-4eca-9873-a2e39105c0b0","year":2012},"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":64,"source":"arxiv_source","source_observed_at":"2026-05-17T01:49:28.796581Z"},"links":{"cited_paper":"/paper/2012.13048","citing_paper":"/paper/2305.14992"},"observation_digest":"sha256:1fdc052598f59504c66251c8123c8cb8b43d89c8a78714fc00fb3c14f3bd3db4","observation_id":"734377eb-1d69-4586-beef-856a3a7be224","resolution":{"observed_at":"2026-05-17T01:49:28.984789Z","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":"2012.13048","last_updated":"2021-06-03T19:15:08Z","snapshot_observed_at":"2026-08-08T08:19:06.524784Z","submitted_at":"2020-12-24T00:55:46Z","title":"ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language","version":2},"cited_work":{"arxiv_id":"2012.13048","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2012.13048","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Tafjord, B","venue":null,"work_id":"a608ff8c-6587-4eca-9873-a2e39105c0b0","year":2012},"citing_paper":{"arxiv_id":"2309.11495","last_updated":"2023-09-25T15:25:49Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-09-20T17:50:55Z","title":"Chain-of-Verification Reduces Hallucination in Large Language Models","version":2},"reference_index":76,"source":"arxiv_source","source_observed_at":"2026-05-18T01:06:49.811982Z"},"links":{"cited_paper":"/paper/2012.13048","citing_paper":"/paper/2309.11495"},"observation_digest":"sha256:54839521d72862be99d8c3b93e2f84020c198ec90e69996eeb61f25f0f638143","observation_id":"fb393814-f987-450e-90b7-e88fc077fc5c","resolution":{"observed_at":"2026-05-18T01:06:50.249009Z","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":"2012.13048","last_updated":"2021-06-03T19:15:08Z","snapshot_observed_at":"2026-08-08T08:19:06.524784Z","submitted_at":"2020-12-24T00:55:46Z","title":"ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2012.13048","snapshot_observed_at":"2026-08-07T04:55:42.778568Z","title":"Proofwriter: Generating implications, proofs, and abductive statements over natural language","venue":null,"work_id":null,"year":2012},"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":43,"source":"arxiv_source","source_observed_at":"2026-08-07T04:55:42.778568Z"},"links":{"cited_paper":"/paper/2012.13048","citing_paper":"/paper/2506.09433"},"observation_digest":"sha256:c8d69d721bf31b09c7dc354b656e96667bb98efadb6f8b5c1d020eef772ef4e4","observation_id":"a374efc8-3b1d-4231-b541-cb205caf8b02","resolution":{"observed_at":"2026-08-07T04:55:42.778568Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2012.13048","last_updated":"2021-06-03T19:15:08Z","snapshot_observed_at":"2026-08-08T08:19:06.524784Z","submitted_at":"2020-12-24T00:55:46Z","title":"ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2012.13048","snapshot_observed_at":"2026-08-06T21:38:12.584725Z","title":"ProofWriter: Generating implications, proofs, and abductive state- ments over natural language","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2507.00092","last_updated":"2025-06-30T09:53:41Z","snapshot_observed_at":"2026-08-08T10:51:41.279421Z","submitted_at":"2025-06-30T09:53:41Z","title":"Thinking About Thinking: SAGE-nano's Inverse Reasoning for Self-Aware Language Models","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-06T21:38:12.584725Z"},"links":{"cited_paper":"/paper/2012.13048","citing_paper":"/paper/2507.00092"},"observation_digest":"sha256:5a8fc3b83a3ae5ca94aa364d72f5e4bd74e8c1d2ef2093aa6379fc3e1d87ae49","observation_id":"a21ab4f1-d809-4dd7-993e-b9eb4f28087d","resolution":{"observed_at":"2026-08-06T21:38:12.584725Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2012.13048","last_updated":"2021-06-03T19:15:08Z","snapshot_observed_at":"2026-08-08T08:19:06.524784Z","submitted_at":"2020-12-24T00:55:46Z","title":"ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2012.13048","snapshot_observed_at":"2026-08-06T20:39:05.981599Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.02170","last_updated":"2025-07-02T21:53:44Z","snapshot_observed_at":"2026-08-09T05:26:17.885271Z","submitted_at":"2025-07-02T21:53:44Z","title":"Synergizing Logical Reasoning, Knowledge Management and Collaboration in Multi-Agent LLM System","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-06T20:39:05.981599Z"},"links":{"cited_paper":"/paper/2012.13048","citing_paper":"/paper/2507.02170"},"observation_digest":"sha256:c0df7a8c8f2daed97f8777852e94878713721cf866468b598e9e4d846eb5a79d","observation_id":"503bdc61-f2dc-450a-b5e2-b4606280f501","resolution":{"observed_at":"2026-08-06T20:39:05.981599Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2012.13048","last_updated":"2021-06-03T19:15:08Z","snapshot_observed_at":"2026-08-08T08:19:06.524784Z","submitted_at":"2020-12-24T00:55:46Z","title":"ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2012.13048","snapshot_observed_at":"2026-08-06T19:53:38.311047Z","title":"Proofwriter: Generating implications, proofs, and abductive statements over natural language","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2507.04391","last_updated":"2025-07-06T13:47:55Z","snapshot_observed_at":"2026-08-09T06:26:17.899664Z","submitted_at":"2025-07-06T13:47:55Z","title":"Does Learning Mathematical Problem-Solving Generalize to Broader Reasoning?","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-06T19:53:38.311047Z"},"links":{"cited_paper":"/paper/2012.13048","citing_paper":"/paper/2507.04391"},"observation_digest":"sha256:ad7da607a55f8d1f8d8f395306fc33e7e0d9daddbd593e6b8fdd248015b57706","observation_id":"937a02aa-8ed8-4cf7-babe-cd06a0e94de5","resolution":{"observed_at":"2026-08-06T19:53:38.311047Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2012.13048","last_updated":"2021-06-03T19:15:08Z","snapshot_observed_at":"2026-08-08T08:19:06.524784Z","submitted_at":"2020-12-24T00:55:46Z","title":"ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language","version":2},"cited_work":{"arxiv_id":"2012.13048","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2012.13048","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Tafjord, B","venue":null,"work_id":"a608ff8c-6587-4eca-9873-a2e39105c0b0","year":2012},"citing_paper":{"arxiv_id":"2507.15707","last_updated":"2026-04-27T20:35:43Z","snapshot_observed_at":"2026-08-07T07:03:48.994890Z","submitted_at":"2025-07-21T15:15:30Z","title":"Is Large Language Model Performance on Reasoning Tasks Impacted by Different Ways Questions Are Asked?","version":2},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-05-19T03:52:56.761396Z"},"links":{"cited_paper":"/paper/2012.13048","citing_paper":"/paper/2507.15707"},"observation_digest":"sha256:430a2c11d1305c37d3ff935702a7d22f7df84605e3f7c343c27ecb5ca1fbb38c","observation_id":"bdabb406-c063-4542-a93b-b4d13dc5f993","resolution":{"observed_at":"2026-05-19T03:57:03.042674Z","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":"2012.13048","last_updated":"2021-06-03T19:15:08Z","snapshot_observed_at":"2026-08-08T08:19:06.524784Z","submitted_at":"2020-12-24T00:55:46Z","title":"ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2012.13048","snapshot_observed_at":"2026-08-06T11:03:16.584987Z","title":"Proofwriter: Generating implications, proofs, and abductive statements over natural language","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2507.23167","last_updated":"2025-07-31T00:35:45Z","snapshot_observed_at":"2026-08-06T13:09:34.050342Z","submitted_at":"2025-07-31T00:35:45Z","title":"LENS: Learning Ensemble Confidence from Neural States for Multi-LLM Answer Integration","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T11:03:16.584987Z"},"links":{"cited_paper":"/paper/2012.13048","citing_paper":"/paper/2507.23167"},"observation_digest":"sha256:6e73741b8e5e1018d6c82a65b5d409d860cfb48ad2696b1af9747ea548ee34d1","observation_id":"af928b3c-b0dd-4b99-862c-7185b5d7a57a","resolution":{"observed_at":"2026-08-06T11:03:16.584987Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2012.13048","last_updated":"2021-06-03T19:15:08Z","snapshot_observed_at":"2026-08-08T08:19:06.524784Z","submitted_at":"2020-12-24T00:55:46Z","title":"ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2012.13048","snapshot_observed_at":"2026-08-05T18:37:52.109297Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2508.14488","last_updated":"2025-08-20T07:26:53Z","snapshot_observed_at":"2026-08-07T22:07:57.426765Z","submitted_at":"2025-08-20T07:26:53Z","title":"Reasoning is about giving reasons","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-05T18:37:52.109297Z"},"links":{"cited_paper":"/paper/2012.13048","citing_paper":"/paper/2508.14488"},"observation_digest":"sha256:ed65e351482b267dd911910d78a84f1c20dcfda5ca52fc02c653c1c1f940661a","observation_id":"86687bf6-08c4-4175-880b-810d759239df","resolution":{"observed_at":"2026-08-05T18:37:52.109297Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2012.13048","last_updated":"2021-06-03T19:15:08Z","snapshot_observed_at":"2026-08-08T08:19:06.524784Z","submitted_at":"2020-12-24T00:55:46Z","title":"ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language","version":2},"cited_work":{"arxiv_id":"2012.13048","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2012.13048","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Tafjord, B","venue":null,"work_id":"a608ff8c-6587-4eca-9873-a2e39105c0b0","year":2012},"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":40,"source":"arxiv_source","source_observed_at":"2026-05-18T12:57:45.584017Z"},"links":{"cited_paper":"/paper/2012.13048","citing_paper":"/paper/2509.24765"},"observation_digest":"sha256:5b0350007ca36a93f3b39b003326e5b5dc61e16af3a3007ed9bdc8063f69623b","observation_id":"6982af3f-e511-4bd7-8a67-b2a500dadb44","resolution":{"observed_at":"2026-05-18T13:01:24.264313Z","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"}}],"links":{"evidence":"/evidence","html":"/paper/2012.13048/citation-record","integrity":"/paper/2012.13048/integrity","json":"/paper/2012.13048/citation-record.json","paper":"/paper/2012.13048"},"outbound":[],"paper":{"arxiv_id":"2012.13048","last_updated":"2021-06-03T19:15:08Z","latest_version":2,"primary_category":"cs.CL","snapshot_observed_at":"2026-08-08T08:19:06.524784Z","submitted_at":"2020-12-24T00:55:46Z","title":"ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language"},"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 11 inbound Pith citation observations for arXiv:2012.13048."}