{"as_of":"2026-08-08T20:50:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:2862eeba8a83de6b97dd6ac90d7c3a0da37c987a0334975be950004033516862","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":13,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":13,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":13,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":13,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T17:48:52.352163Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-07-09T10:56:11.275114Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2309.09437","last_updated":"2023-09-28T15:27:39Z","snapshot_observed_at":"2026-08-06T10:04:18.383733Z","submitted_at":"2023-09-18T02:37:43Z","title":"Using LLMs to Facilitate Formal Verification of RTL","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2309.09437","snapshot_observed_at":"2026-08-06T17:48:52.352163Z","title":"Using llms to facilitate formal verification of rtl,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.09965","last_updated":"2025-07-14T06:32:23Z","snapshot_observed_at":"2026-08-07T09:26:32.450214Z","submitted_at":"2025-07-14T06:32:23Z","title":"AnalogTester: A Large Language Model-Based Framework for Automatic Testbench Generation in Analog Circuit Design","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T17:48:52.352163Z"},"links":{"cited_paper":"/paper/2309.09437","citing_paper":"/paper/2507.09965"},"observation_digest":"sha256:65a1b3c7ab6d2dd456873aa039bdf1c4d2aea7a64ed17a3e5f742742abc463cc","observation_id":"c71d55c1-d45d-4605-b72f-6413dbf21a9f","resolution":{"observed_at":"2026-08-06T17:48:52.352163Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2309.09437","last_updated":"2023-09-28T15:27:39Z","snapshot_observed_at":"2026-08-06T10:04:18.383733Z","submitted_at":"2023-09-18T02:37:43Z","title":"Using LLMs to Facilitate Formal Verification of RTL","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2309.09437","snapshot_observed_at":"2026-08-06T15:22:33.051614Z","title":"From rtl to sva: Llm-assisted generation of formal verification testbenches,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.16203","last_updated":"2025-07-22T03:36:06Z","snapshot_observed_at":"2026-08-06T15:13:10.982642Z","submitted_at":"2025-07-22T03:36:06Z","title":"SVAgent: AI Agent for Hardware Security Verification Assertion","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-06T15:22:33.051614Z"},"links":{"cited_paper":"/paper/2309.09437","citing_paper":"/paper/2507.16203"},"observation_digest":"sha256:d831704bfb987150f9b5a3132420165aa9a730bed2b18faa016d06670361087f","observation_id":"25bbd721-6d0b-4379-b810-863631124e72","resolution":{"observed_at":"2026-08-06T15:22:33.051614Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2309.09437","last_updated":"2023-09-28T15:27:39Z","snapshot_observed_at":"2026-08-06T10:04:18.383733Z","submitted_at":"2023-09-18T02:37:43Z","title":"Using LLMs to Facilitate Formal Verification of RTL","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2309.09437","snapshot_observed_at":"2026-08-05T15:17:26.633827Z","title":"MCP4EDA: LLM-Powered Model Context Protocol RTL-to-GDSII Automation with Backend Aware Synthesis Optimization,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2508.20030","last_updated":"2025-08-27T16:33:51Z","snapshot_observed_at":"2026-08-06T07:49:00.648428Z","submitted_at":"2025-08-27T16:33:51Z","title":"Large Language Models (LLMs) for Electronic Design Automation (EDA)","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-05T15:17:26.633827Z"},"links":{"cited_paper":"/paper/2309.09437","citing_paper":"/paper/2508.20030"},"observation_digest":"sha256:4836b98165a988973d9c5c30fd2178e95d8a2899d2861a719f3896fd727cccd5","observation_id":"845a783f-10c2-42d6-8e14-7da68ed15ad7","resolution":{"observed_at":"2026-08-05T15:17:26.633827Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2309.09437","last_updated":"2023-09-28T15:27:39Z","snapshot_observed_at":"2026-08-06T10:04:18.383733Z","submitted_at":"2023-09-18T02:37:43Z","title":"Using LLMs to Facilitate Formal Verification of RTL","version":2},"cited_work":{"arxiv_id":"2309.09437","doi":null,"metadata_source":"pith","pith_arxiv_id":"2309.09437","snapshot_observed_at":"2026-07-09T10:56:11.275114Z","title":"Using LLMs to facilitate formal verification of RTL","venue":"cs.AR","work_id":"090710a1-5933-4ce0-8eab-cbeaa2186fb5","year":2023},"citing_paper":{"arxiv_id":"2511.02521","last_updated":"2026-06-25T18:44:49Z","snapshot_observed_at":"2026-08-08T15:44:37.846407Z","submitted_at":"2025-11-04T12:16:37Z","title":"Large Lemma Miners: Can LLMs do Induction Proofs for Hardware?","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-05-18T01:34:03.866227Z"},"links":{"cited_paper":"/paper/2309.09437","citing_paper":"/paper/2511.02521"},"observation_digest":"sha256:de62e21b3dd92d3ce13a5b35c8bd63c722df60ee55175965fc2efce7921bda12","observation_id":"9f1c2157-b4c4-491d-8047-702421d266da","resolution":{"observed_at":"2026-05-18T01:35:36.360618Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2309.09437","last_updated":"2023-09-28T15:27:39Z","snapshot_observed_at":"2026-08-06T10:04:18.383733Z","submitted_at":"2023-09-18T02:37:43Z","title":"Using LLMs to Facilitate Formal Verification of RTL","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2309.09437","snapshot_observed_at":"2026-08-04T00:14:50.087432Z","title":"Using LLMs to facilitate formal verification of RTL,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2511.02521","last_updated":"2026-06-25T18:44:49Z","snapshot_observed_at":"2026-08-08T15:44:37.846407Z","submitted_at":"2025-11-04T12:16:37Z","title":"Large Lemma Miners: Can LLMs do Induction Proofs for Hardware?","version":3},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-04T00:14:50.087432Z"},"links":{"cited_paper":"/paper/2309.09437","citing_paper":"/paper/2511.02521"},"observation_digest":"sha256:416d7b24a443cd7a90c3a8c7e0401f6477b40c527d81f6be67b46e7f5d10fc9f","observation_id":"0e659252-30a5-4b29-955d-b89439d500f8","resolution":{"observed_at":"2026-08-04T00:14:50.087432Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2309.09437","last_updated":"2023-09-28T15:27:39Z","snapshot_observed_at":"2026-08-06T10:04:18.383733Z","submitted_at":"2023-09-18T02:37:43Z","title":"Using LLMs to Facilitate Formal Verification of RTL","version":2},"cited_work":{"arxiv_id":"2309.09437","doi":null,"metadata_source":"pith","pith_arxiv_id":"2309.09437","snapshot_observed_at":"2026-07-09T10:56:11.275114Z","title":"Using LLMs to facilitate formal verification of RTL","venue":"cs.AR","work_id":"090710a1-5933-4ce0-8eab-cbeaa2186fb5","year":2023},"citing_paper":{"arxiv_id":"2511.20284","last_updated":"2026-05-05T13:11:45Z","snapshot_observed_at":"2026-08-03T04:18:43.042605Z","submitted_at":"2025-11-25T13:11:23Z","title":"Can LLMs Make (Personalized) Access Control Decisions?","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-17T05:33:18.457421Z"},"links":{"cited_paper":"/paper/2309.09437","citing_paper":"/paper/2511.20284"},"observation_digest":"sha256:52c20c58fd1ffdf6272d7e20c621672cf691691d7b3d93acef3cae5a3c7f746f","observation_id":"47a9021c-23f7-462f-b67e-db13e7c94ce1","resolution":{"observed_at":"2026-05-17T05:34:04.979472Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2309.09437","last_updated":"2023-09-28T15:27:39Z","snapshot_observed_at":"2026-08-06T10:04:18.383733Z","submitted_at":"2023-09-18T02:37:43Z","title":"Using LLMs to Facilitate Formal Verification of RTL","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2309.09437","snapshot_observed_at":"2026-08-03T19:22:03.930769Z","title":"arxiv.org (2023) https://doi.org/10.48550/arxiv.2309.09437","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2512.02080","last_updated":"2026-06-24T10:23:11Z","snapshot_observed_at":"2026-08-07T14:03:09.258284Z","submitted_at":"2025-11-30T22:19:09Z","title":"The 4/$\\delta$ Bound: Designing Predictable LLM-Verifier Systems for Formal Method Guarantee","version":3},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-03T19:22:03.930769Z"},"links":{"cited_paper":"/paper/2309.09437","citing_paper":"/paper/2512.02080"},"observation_digest":"sha256:386be48b77f8beb14b2dbbc767a8f2f66dd2855f21b9d5f085581433cd847768","observation_id":"eeac30aa-ae68-4e9e-b4cc-3f5f0dd26a70","resolution":{"observed_at":"2026-08-03T19:22:03.930769Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2309.09437","last_updated":"2023-09-28T15:27:39Z","snapshot_observed_at":"2026-08-06T10:04:18.383733Z","submitted_at":"2023-09-18T02:37:43Z","title":"Using LLMs to Facilitate Formal Verification of RTL","version":2},"cited_work":{"arxiv_id":"2309.09437","doi":null,"metadata_source":"pith","pith_arxiv_id":"2309.09437","snapshot_observed_at":"2026-07-09T10:56:11.275114Z","title":"Using LLMs to facilitate formal verification of RTL","venue":"cs.AR","work_id":"090710a1-5933-4ce0-8eab-cbeaa2186fb5","year":2023},"citing_paper":{"arxiv_id":"2604.02811","last_updated":"2026-04-15T05:23:09Z","snapshot_observed_at":"2026-08-03T17:05:57.832720Z","submitted_at":"2026-04-03T07:24:14Z","title":"ChatSVA: Bridging SVA Generation for Hardware Verification via Task-Specific LLMs","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-05-13T19:03:57.498462Z"},"links":{"cited_paper":"/paper/2309.09437","citing_paper":"/paper/2604.02811"},"observation_digest":"sha256:7402fa35038e157d08440ac0e1ae9e18481a86b93a8938ebdb05392796e34448","observation_id":"e51d573e-f3bb-4721-b316-60fdf96f2775","resolution":{"observed_at":"2026-05-13T19:08:10.050604Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2309.09437","last_updated":"2023-09-28T15:27:39Z","snapshot_observed_at":"2026-08-06T10:04:18.383733Z","submitted_at":"2023-09-18T02:37:43Z","title":"Using LLMs to Facilitate Formal Verification of RTL","version":2},"cited_work":{"arxiv_id":"2309.09437","doi":null,"metadata_source":"pith","pith_arxiv_id":"2309.09437","snapshot_observed_at":"2026-07-09T10:56:11.275114Z","title":"Using LLMs to facilitate formal verification of RTL","venue":"cs.AR","work_id":"090710a1-5933-4ce0-8eab-cbeaa2186fb5","year":2023},"citing_paper":{"arxiv_id":"2604.06607","last_updated":"2026-04-12T08:33:18Z","snapshot_observed_at":"2026-07-06T22:55:01.863342Z","submitted_at":"2026-04-08T02:41:15Z","title":"CoverAssert: Iterative LLM Assertion Generation Driven by Functional Coverage via Syntax-Semantic Representations","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-10T18:41:42.906023Z"},"links":{"cited_paper":"/paper/2309.09437","citing_paper":"/paper/2604.06607"},"observation_digest":"sha256:2af45e3042e05618d79579d13a0fbe870650cf12ee38f97f41e5b742a2746fb7","observation_id":"df119a78-3e04-4785-925e-1d781d82ff49","resolution":{"observed_at":"2026-05-11T00:05:50.980867Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2309.09437","last_updated":"2023-09-28T15:27:39Z","snapshot_observed_at":"2026-08-06T10:04:18.383733Z","submitted_at":"2023-09-18T02:37:43Z","title":"Using LLMs to Facilitate Formal Verification of RTL","version":2},"cited_work":{"arxiv_id":"2309.09437","doi":null,"metadata_source":"pith","pith_arxiv_id":"2309.09437","snapshot_observed_at":"2026-07-09T10:56:11.275114Z","title":"Using LLMs to facilitate formal verification of RTL","venue":"cs.AR","work_id":"090710a1-5933-4ce0-8eab-cbeaa2186fb5","year":2023},"citing_paper":{"arxiv_id":"2604.11044","last_updated":"2026-04-13T06:18:25Z","snapshot_observed_at":"2026-07-31T18:19:28.731184Z","submitted_at":"2026-04-13T06:18:25Z","title":"Automated SVA Generation with LLMs","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-05-10T16:14:26.057709Z"},"links":{"cited_paper":"/paper/2309.09437","citing_paper":"/paper/2604.11044"},"observation_digest":"sha256:14224acce2f1b99d9e19943ff0bfc8b9343e7da4913ffa869ae6463b1c5b8c2f","observation_id":"67643ced-40ea-4b95-8a62-c9e710ecd14e","resolution":{"observed_at":"2026-05-11T09:06:00.653582Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2309.09437","last_updated":"2023-09-28T15:27:39Z","snapshot_observed_at":"2026-08-06T10:04:18.383733Z","submitted_at":"2023-09-18T02:37:43Z","title":"Using LLMs to Facilitate Formal Verification of RTL","version":2},"cited_work":{"arxiv_id":"2309.09437","doi":null,"metadata_source":"pith","pith_arxiv_id":"2309.09437","snapshot_observed_at":"2026-07-09T10:56:11.275114Z","title":"Using LLMs to facilitate formal verification of RTL","venue":"cs.AR","work_id":"090710a1-5933-4ce0-8eab-cbeaa2186fb5","year":2023},"citing_paper":{"arxiv_id":"2604.23100","last_updated":"2026-04-25T01:46:33Z","snapshot_observed_at":"2026-08-05T22:13:27.111745Z","submitted_at":"2026-04-25T01:46:33Z","title":"From Language to Logic: Bridging LLMs & Formal Representations for RTL Assertion Generation","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-08T08:19:42.493657Z"},"links":{"cited_paper":"/paper/2309.09437","citing_paper":"/paper/2604.23100"},"observation_digest":"sha256:40efdab7a855a3b12323964fbe7941f31b7188cae8e75cc184be2ba9c0b1d568","observation_id":"2d5529a4-1a2c-4a60-9f8b-30ccb5ed196a","resolution":{"observed_at":"2026-05-11T20:41:11.977259Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2309.09437","last_updated":"2023-09-28T15:27:39Z","snapshot_observed_at":"2026-08-06T10:04:18.383733Z","submitted_at":"2023-09-18T02:37:43Z","title":"Using LLMs to Facilitate Formal Verification of RTL","version":2},"cited_work":{"arxiv_id":"2309.09437","doi":null,"metadata_source":"pith","pith_arxiv_id":"2309.09437","snapshot_observed_at":"2026-07-09T10:56:11.275114Z","title":"Using LLMs to facilitate formal verification of RTL","venue":"cs.AR","work_id":"090710a1-5933-4ce0-8eab-cbeaa2186fb5","year":2023},"citing_paper":{"arxiv_id":"2607.07444","last_updated":"2026-07-08T14:14:14Z","snapshot_observed_at":"2026-07-11T23:20:06.794636Z","submitted_at":"2026-07-08T14:14:14Z","title":"LLM Assisted Verification Assertion Generation: Challenges and Future Directions","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-09T10:46:26.906560Z"},"links":{"cited_paper":"/paper/2309.09437","citing_paper":"/paper/2607.07444"},"observation_digest":"sha256:badb214426641e93a796a5bf217cbb46d770fd1220fd5c2ebe5481922a6efa11","observation_id":"7f52892c-bd35-4834-9bbc-59d666f09cb5","resolution":{"observed_at":"2026-07-09T10:56:11.276441Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2309.09437","last_updated":"2023-09-28T15:27:39Z","snapshot_observed_at":"2026-08-06T10:04:18.383733Z","submitted_at":"2023-09-18T02:37:43Z","title":"Using LLMs to Facilitate Formal Verification of RTL","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2309.09437","snapshot_observed_at":"2026-08-01T00:37:11.599274Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.26181","last_updated":"2026-07-28T18:40:35Z","snapshot_observed_at":"2026-08-08T18:10:01.245237Z","submitted_at":"2026-07-28T18:40:35Z","title":"GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-01T00:37:11.599274Z"},"links":{"cited_paper":"/paper/2309.09437","citing_paper":"/paper/2607.26181"},"observation_digest":"sha256:fee9be192c44962c454a292f178fd8c51ca2e2ea87e0899e4765a5ae81794e70","observation_id":"87eb6e08-e678-4bbf-8075-688d14557ae8","resolution":{"observed_at":"2026-08-01T00:37:11.599274Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2309.09437/citation-record","integrity":"/paper/2309.09437/integrity","json":"/paper/2309.09437/citation-record.json","paper":"/paper/2309.09437"},"outbound":[],"paper":{"arxiv_id":"2309.09437","last_updated":"2023-09-28T15:27:39Z","latest_version":2,"primary_category":"cs.AR","snapshot_observed_at":"2026-08-06T10:04:18.383733Z","submitted_at":"2023-09-18T02:37:43Z","title":"Using LLMs to Facilitate Formal Verification of RTL"},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 13 inbound Pith citation observations for arXiv:2309.09437."}