{"as_of":"2026-08-09T12:49:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:115bc899e02d82aeb010c06fda17008442350e742fd6cf85a0e9f600120d197e","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":6,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":6,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+00:00","state":"measured"},{"denominator":6,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":6,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T14:55:17.891901Z","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-03T17:18:43.459078Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2305.15541","last_updated":"2023-05-24T19:59:51Z","snapshot_observed_at":"2026-07-06T15:32:58.159006Z","submitted_at":"2023-05-24T19:59:51Z","title":"Harnessing the Power of Large Language Models for Natural Language to First-Order Logic Translation","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.15541","snapshot_observed_at":"2026-08-07T14:55:17.891901Z","title":null,"venue":null,"work_id":null,"year":2023},"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":43,"source":"arxiv_source","source_observed_at":"2026-08-07T14:55:17.891901Z"},"links":{"cited_paper":"/paper/2305.15541","citing_paper":"/paper/2505.16998"},"observation_digest":"sha256:8b3dbab10c7a1ae3e52d7fb0bb78d86c33966d8e530cb2d59aca917d53ceaa5e","observation_id":"346e63d9-9325-4271-ad06-06abd9fb1153","resolution":{"observed_at":"2026-08-07T14:55:17.891901Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.15541","last_updated":"2023-05-24T19:59:51Z","snapshot_observed_at":"2026-07-06T15:32:58.159006Z","submitted_at":"2023-05-24T19:59:51Z","title":"Harnessing the Power of Large Language Models for Natural Language to First-Order Logic Translation","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.15541","snapshot_observed_at":"2026-08-06T17:41:43.597810Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.10182","last_updated":"2025-07-14T11:44:04Z","snapshot_observed_at":"2026-08-08T23:20:51.475560Z","submitted_at":"2025-07-14T11:44:04Z","title":"Breaking the Myth: Can Small Models Infer Postconditions Too?","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-06T17:41:43.597810Z"},"links":{"cited_paper":"/paper/2305.15541","citing_paper":"/paper/2507.10182"},"observation_digest":"sha256:a4f14e17f727459915b3315f458e8579e32552e79172daee1909d7b690fb9c9e","observation_id":"385b9e34-d4a9-4db1-94f0-13e0653191e1","resolution":{"observed_at":"2026-08-06T17:41:43.597810Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.15541","last_updated":"2023-05-24T19:59:51Z","snapshot_observed_at":"2026-07-06T15:32:58.159006Z","submitted_at":"2023-05-24T19:59:51Z","title":"Harnessing the Power of Large Language Models for Natural Language to First-Order Logic Translation","version":1},"cited_work":{"arxiv_id":"2305.15541","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2305.15541","snapshot_observed_at":"2026-07-03T17:18:43.459078Z","title":"Harnessing the power of large language models for natural language to first-order logic translation","venue":null,"work_id":"5337c98a-b218-4691-8f3d-bf29637fcc47","year":2023},"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":50,"source":"arxiv_source","source_observed_at":"2026-05-18T12:57:45.584017Z"},"links":{"cited_paper":"/paper/2305.15541","citing_paper":"/paper/2509.24765"},"observation_digest":"sha256:612a8cb8a6ae2b6b38c2693e020d3894584c6dd0880c6a1239a9022d3c2c4fff","observation_id":"73a5f6b2-5341-4cc7-844e-612d58fc6265","resolution":{"observed_at":"2026-05-18T13:01:23.908007Z","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":"2305.15541","last_updated":"2023-05-24T19:59:51Z","snapshot_observed_at":"2026-07-06T15:32:58.159006Z","submitted_at":"2023-05-24T19:59:51Z","title":"Harnessing the Power of Large Language Models for Natural Language to First-Order Logic Translation","version":1},"cited_work":{"arxiv_id":"2305.15541","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2305.15541","snapshot_observed_at":"2026-07-03T17:18:43.459078Z","title":"Harnessing the power of large language models for natural language to first-order logic translation","venue":null,"work_id":"5337c98a-b218-4691-8f3d-bf29637fcc47","year":2023},"citing_paper":{"arxiv_id":"2604.18873","last_updated":"2026-04-20T21:53:11Z","snapshot_observed_at":"2026-08-03T18:32:08.065686Z","submitted_at":"2026-04-20T21:53:11Z","title":"From Natural Language to Executable Narsese: A Neuro-Symbolic Benchmark and Pipeline for Reasoning with NARS","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-10T04:08:38.327402Z"},"links":{"cited_paper":"/paper/2305.15541","citing_paper":"/paper/2604.18873"},"observation_digest":"sha256:c2e4cb4a6d7595395f03ff6b27a2e1d7251518e8d936ac34f9139457222137be","observation_id":"b6024eda-90c6-4a28-91fc-de5ba76ec7b9","resolution":{"observed_at":"2026-05-11T12:06:04.999357Z","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":"2305.15541","last_updated":"2023-05-24T19:59:51Z","snapshot_observed_at":"2026-07-06T15:32:58.159006Z","submitted_at":"2023-05-24T19:59:51Z","title":"Harnessing the Power of Large Language Models for Natural Language to First-Order Logic Translation","version":1},"cited_work":{"arxiv_id":"2305.15541","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2305.15541","snapshot_observed_at":"2026-07-03T17:18:43.459078Z","title":"Harnessing the power of large language models for natural language to first-order logic translation","venue":null,"work_id":"5337c98a-b218-4691-8f3d-bf29637fcc47","year":2023},"citing_paper":{"arxiv_id":"2606.07925","last_updated":"2026-06-06T01:27:20Z","snapshot_observed_at":"2026-08-07T03:14:29.507853Z","submitted_at":"2026-06-06T01:27:20Z","title":"ROSUM-MCTS: Monte Carlo Tree Search-Inspired HDL Code Summarization with Structural Rewards","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-06-27T20:22:27.538227Z"},"links":{"cited_paper":"/paper/2305.15541","citing_paper":"/paper/2606.07925"},"observation_digest":"sha256:f351e393664b2b27dbb027e234000b60203a3b1de4439de7d0116c83354ca32b","observation_id":"76e2e688-96e7-4e20-8ff7-dc89ff4a3155","resolution":{"observed_at":"2026-07-02T20:27:22.730404Z","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":"2305.15541","last_updated":"2023-05-24T19:59:51Z","snapshot_observed_at":"2026-07-06T15:32:58.159006Z","submitted_at":"2023-05-24T19:59:51Z","title":"Harnessing the Power of Large Language Models for Natural Language to First-Order Logic Translation","version":1},"cited_work":{"arxiv_id":"2305.15541","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2305.15541","snapshot_observed_at":"2026-07-03T17:18:43.459078Z","title":"Harnessing the power of large language models for natural language to first-order logic translation","venue":null,"work_id":"5337c98a-b218-4691-8f3d-bf29637fcc47","year":2023},"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":22,"source":"arxiv_source","source_observed_at":"2026-06-27T04:24:11.949884Z"},"links":{"cited_paper":"/paper/2305.15541","citing_paper":"/paper/2606.16118"},"observation_digest":"sha256:90f6f1a576d1b060be8ecdaec868844882f3601c547e2916e832d4b9c9b18fc6","observation_id":"643cf3db-b54f-413a-aaa5-5b185e095a13","resolution":{"observed_at":"2026-07-03T17:18:43.460636Z","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/2305.15541/citation-record","integrity":"/paper/2305.15541/integrity","json":"/paper/2305.15541/citation-record.json","paper":"/paper/2305.15541"},"outbound":[],"paper":{"arxiv_id":"2305.15541","last_updated":"2023-05-24T19:59:51Z","latest_version":1,"primary_category":"cs.CL","snapshot_observed_at":"2026-07-06T15:32:58.159006Z","submitted_at":"2023-05-24T19:59:51Z","title":"Harnessing the Power of Large Language Models for Natural Language to First-Order Logic Translation"},"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 6 inbound Pith citation observations for arXiv:2305.15541."}