{"as_of":"2026-08-07T17:04:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:585987a69180c74ee0c6732f4c0c7f0d4c1c8eb92246335c44e945a98659a758","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":3,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":3,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+00:00","state":"measured"},{"denominator":3,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":3,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T14:55:17.740445Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":1,"source":"arxiv_reference","source_observed_at":"2026-08-05T02:28:24.338817Z","state":"measured"}],"external_citation_measurements":[{"count":0,"observed_at":"2026-08-05T02:28:24.338817Z","source":"arxiv_reference"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2409.16461","last_updated":"2024-09-24T21:24:07Z","snapshot_observed_at":"2026-07-06T19:21:29.370574Z","submitted_at":"2024-09-24T21:24:07Z","title":"Strategies for Improving NL-to-FOL Translation with LLMs: Data Generation, Incremental Fine-Tuning, and Verification","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2409.16461","snapshot_observed_at":"2026-08-07T14:55:17.740445Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.16998","last_updated":"2025-05-22T17:57:23Z","snapshot_observed_at":"2026-08-07T14:49:30.596587Z","submitted_at":"2025-05-22T17:57:23Z","title":"Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:17.740445Z"},"links":{"cited_paper":"/paper/2409.16461","citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:3bf2c8ecf0e3f85b43d1dd1a854a70d5b52f187ba7e3125c8853ed3f37bc8f0e","observation_id":"ca608db8-6b78-4f60-acac-53d8d037c4b7","resolution":{"observed_at":"2026-08-07T14:55:17.740445Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2409.16461","last_updated":"2024-09-24T21:24:07Z","snapshot_observed_at":"2026-07-06T19:21:29.370574Z","submitted_at":"2024-09-24T21:24:07Z","title":"Strategies for Improving NL-to-FOL Translation with LLMs: Data Generation, Incremental Fine-Tuning, and Verification","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2409.16461","snapshot_observed_at":"2026-08-05T15:26:52.784006Z","title":"Buntine, and Ehsan Shareghi","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.19903","last_updated":"2025-08-27T14:08:43Z","snapshot_observed_at":"2026-08-06T11:25:29.798508Z","submitted_at":"2025-08-27T14:08:43Z","title":"Logical Reasoning with Outcome Reward Models for Test-Time Scaling","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-05T15:26:52.784006Z"},"links":{"cited_paper":"/paper/2409.16461","citing_paper":"/paper/2508.19903"},"observation_digest":"sha256:671f21b11aece4120393a18f9ee0968e31ee68ce8c02a867fce3b2eaedde5485","observation_id":"364cffa8-0ada-4631-844e-ad15dfe307d4","resolution":{"observed_at":"2026-08-05T15:26:52.784006Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2409.16461","last_updated":"2024-09-24T21:24:07Z","snapshot_observed_at":"2026-07-06T19:21:29.370574Z","submitted_at":"2024-09-24T21:24:07Z","title":"Strategies for Improving NL-to-FOL Translation with LLMs: Data Generation, Incremental Fine-Tuning, and Verification","version":1},"cited_work":{"arxiv_id":"2409.16461","doi":"10.48550/arxiv.2409.16461","metadata_source":"arxiv_reference","pith_arxiv_id":"2409.16461","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"CoRR , volume =","venue":"arXiv (Cornell University)","work_id":"b07c6de0-7c23-4089-8f49-57f82f841c31","year":2024},"citing_paper":{"arxiv_id":"2606.02837","last_updated":"2026-06-01T20:00:35Z","snapshot_observed_at":"2026-08-02T04:05:04.855729Z","submitted_at":"2026-06-01T20:00:35Z","title":"Fixing FOLIO and MALLS: Verified Annotations and an LLM-assisted Framework to Focus Human Relabeling","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-06-28T14:29:43.379840Z"},"links":{"cited_paper":"/paper/2409.16461","citing_paper":"/paper/2606.02837"},"observation_digest":"sha256:a1b1eb92494632ef6269bb1b88c8bd2ef11366cabb19ed1bc8bea677c779cc64","observation_id":"662f921a-9d80-4159-ae94-659b0614c409","resolution":{"observed_at":"2026-06-28T14:32:17.757969Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2409.16461/citation-record","integrity":"/paper/2409.16461/integrity","json":"/paper/2409.16461/citation-record.json","paper":"/paper/2409.16461"},"outbound":[],"paper":{"arxiv_id":"2409.16461","last_updated":"2024-09-24T21:24:07Z","latest_version":1,"primary_category":"cs.CL","snapshot_observed_at":"2026-07-06T19:21:29.370574Z","submitted_at":"2024-09-24T21:24:07Z","title":"Strategies for Improving NL-to-FOL Translation with LLMs: Data Generation, Incremental Fine-Tuning, and Verification"},"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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 7 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 3 inbound Pith citation observations for arXiv:2409.16461."}