{"as_of":"2026-08-07T18:52:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:7f011e503d4b4bf1c95ddd3569741b716ea4e3c451b329b2c90f66662953a52a","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-07T06:34:17.273281+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-07T14:26:53.972782Z","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:ec1a32f2e71a5354e3f8fad9cc1fe1e5b1e8f97e9caff0b65d88bc71a0d0b484","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:8d5e55e20ae1a264a8418cc01ac703ed09acc083b808291b888c71d30716d695","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-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"}},{"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:6aebfe81e64dc380997d388a2f0cd0007c23280e6920fc4bb0c89ae1c06d01a0","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-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"}},{"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:dabf2d404dbb46aaccc17150a14a1edcd89b48588af9f2946ad21334a5c704df","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-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"}},{"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:279149ff6b168bb07c5f82e3a2752462c21dca7fdfdf94cbd9f8b23ac9f4b968","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-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/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-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 6 inbound Pith citation observations for arXiv:2305.15541."}