{"as_of":"2026-08-09T10:48:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:2b85e59105e4ef27180fc213bdffb2cf47d33804dcb1cfdb97d172591a7d89bb","coverage":[{"denominator":9,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":9,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-03T01:29:16.320423Z","state":"measured"},{"denominator":9,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":9,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.28877/citation-record","integrity":"/paper/2607.28877/integrity","json":"/paper/2607.28877/citation-record.json","paper":"/paper/2607.28877"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T01:29:15.660188Z","title":"Symbolic model checking without BDDs,","venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2607.28877","last_updated":"2026-07-30T22:43:33Z","snapshot_observed_at":"2026-08-09T08:42:47.349439Z","submitted_at":"2026-07-30T22:43:33Z","title":"Open-Source LLM-Driven Formal Verification: A Multi-Agent Pipeline for RTL Repair","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-03T01:29:15.660188Z"},"links":{"citing_paper":"/paper/2607.28877"},"observation_digest":"sha256:273b63c74ea11bd86b7e8d3eae4ae3ecb74d523e2d52bf5b559c84843c54616c","observation_id":"0061193a-94d0-4b18-8d25-55f69a70744a","resolution":{"observed_at":"2026-08-03T01:29:15.660188Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T01:29:15.754445Z","title":"Checking safety properties using induction and a SAT-solver,","venue":null,"work_id":null,"year":1954},"citing_paper":{"arxiv_id":"2607.28877","last_updated":"2026-07-30T22:43:33Z","snapshot_observed_at":"2026-08-09T08:42:47.349439Z","submitted_at":"2026-07-30T22:43:33Z","title":"Open-Source LLM-Driven Formal Verification: A Multi-Agent Pipeline for RTL Repair","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-03T01:29:15.754445Z"},"links":{"citing_paper":"/paper/2607.28877"},"observation_digest":"sha256:79129be1e1a61b8b86f35dc0578fda1b5d813e7a99fb920ef4ef68ee4958a7eb","observation_id":"0eaa25d0-3ca3-4a68-bc25-0548cd42fc6e","resolution":{"observed_at":"2026-08-03T01:29:15.754445Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T01:29:15.887121Z","title":"Yosys Open SYnthesis Suite,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.28877","last_updated":"2026-07-30T22:43:33Z","snapshot_observed_at":"2026-08-09T08:42:47.349439Z","submitted_at":"2026-07-30T22:43:33Z","title":"Open-Source LLM-Driven Formal Verification: A Multi-Agent Pipeline for RTL Repair","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-03T01:29:15.887121Z"},"links":{"citing_paper":"/paper/2607.28877"},"observation_digest":"sha256:bfb75719821f28c503346e3f917d977f0df321ce14fcc08347bab08f80aed225","observation_id":"d1e0ce1a-0209-4784-9b71-5ea8188d2c6e","resolution":{"observed_at":"2026-08-03T01:29:15.887121Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T01:29:15.967309Z","title":"SymbiYosys (SBY): Front-end for Yosys-based formal ver- ification flows,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.28877","last_updated":"2026-07-30T22:43:33Z","snapshot_observed_at":"2026-08-09T08:42:47.349439Z","submitted_at":"2026-07-30T22:43:33Z","title":"Open-Source LLM-Driven Formal Verification: A Multi-Agent Pipeline for RTL Repair","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-03T01:29:15.967309Z"},"links":{"citing_paper":"/paper/2607.28877"},"observation_digest":"sha256:fee07d9795e485c8350243c367cc287c524c7fbdcb2f535fe7345c0809b53cc2","observation_id":"f0876efd-b59f-47f3-8d63-8b6dc0622022","resolution":{"observed_at":"2026-08-03T01:29:15.967309Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T01:29:16.064899Z","title":"Z3: An efficient SMT solver,","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.28877","last_updated":"2026-07-30T22:43:33Z","snapshot_observed_at":"2026-08-09T08:42:47.349439Z","submitted_at":"2026-07-30T22:43:33Z","title":"Open-Source LLM-Driven Formal Verification: A Multi-Agent Pipeline for RTL Repair","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-03T01:29:16.064899Z"},"links":{"citing_paper":"/paper/2607.28877"},"observation_digest":"sha256:a28b2a8553c55bd9c209d8234ad5dac7b26b28b1b250d883b082d7040e24a08f","observation_id":"b6baf92d-e003-4712-bfc2-d3969be97cb5","resolution":{"observed_at":"2026-08-03T01:29:16.064899Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2308.00708","last_updated":"2023-07-28T02:57:14Z","snapshot_observed_at":"2026-08-09T08:42:13.291478Z","submitted_at":"2023-07-28T02:57:14Z","title":"VeriGen: A Large Language Model for Verilog Code Generation","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2308.00708","snapshot_observed_at":"2026-08-03T01:29:16.160698Z","title":"VeriGen: A large language model for Verilog code generation,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.28877","last_updated":"2026-07-30T22:43:33Z","snapshot_observed_at":"2026-08-09T08:42:47.349439Z","submitted_at":"2026-07-30T22:43:33Z","title":"Open-Source LLM-Driven Formal Verification: A Multi-Agent Pipeline for RTL Repair","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-03T01:29:16.160698Z"},"links":{"cited_paper":"/paper/2308.00708","citing_paper":"/paper/2607.28877"},"observation_digest":"sha256:2f9b2ee4151adcde6cdfe39fb51e8e320e8b5175bdc2f51da69297cb7055ba39","observation_id":"3d4a764e-0cbc-49a2-b254-45781b7201f0","resolution":{"observed_at":"2026-08-03T01:29:16.160698Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2309.07544","last_updated":"2023-12-10T00:23:04Z","snapshot_observed_at":"2026-08-03T23:24:33.278328Z","submitted_at":"2023-09-14T09:15:34Z","title":"VerilogEval: Evaluating Large Language Models for Verilog Code Generation","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2309.07544","snapshot_observed_at":"2026-08-03T01:29:16.231691Z","title":"VerilogEval: Evaluating large language models for Verilog code generation,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.28877","last_updated":"2026-07-30T22:43:33Z","snapshot_observed_at":"2026-08-09T08:42:47.349439Z","submitted_at":"2026-07-30T22:43:33Z","title":"Open-Source LLM-Driven Formal Verification: A Multi-Agent Pipeline for RTL Repair","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-03T01:29:16.231691Z"},"links":{"cited_paper":"/paper/2309.07544","citing_paper":"/paper/2607.28877"},"observation_digest":"sha256:6836259dffd687eb977e23fccd8c8385c57eed0f8f435e09faa4e83a704f6037","observation_id":"1a1f72c5-229d-4644-906a-c1ef3c6b6839","resolution":{"observed_at":"2026-08-03T01:29:16.231691Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T01:29:16.282581Z","title":"RTLFixer: Automatically fixing RTL syntax errors with large language models,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.28877","last_updated":"2026-07-30T22:43:33Z","snapshot_observed_at":"2026-08-09T08:42:47.349439Z","submitted_at":"2026-07-30T22:43:33Z","title":"Open-Source LLM-Driven Formal Verification: A Multi-Agent Pipeline for RTL Repair","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-03T01:29:16.282581Z"},"links":{"citing_paper":"/paper/2607.28877"},"observation_digest":"sha256:851724fa139206700a806ae3f54fe064e7b61e32914dfacf8749228c4a7b9de2","observation_id":"32b7c193-c622-4f63-83c4-378e535f8e8b","resolution":{"observed_at":"2026-08-03T01:29:16.282581Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T01:29:16.320423Z","title":"RTLLM: An open-source benchmark for design RTL generation with large language model,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.28877","last_updated":"2026-07-30T22:43:33Z","snapshot_observed_at":"2026-08-09T08:42:47.349439Z","submitted_at":"2026-07-30T22:43:33Z","title":"Open-Source LLM-Driven Formal Verification: A Multi-Agent Pipeline for RTL Repair","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-03T01:29:16.320423Z"},"links":{"citing_paper":"/paper/2607.28877"},"observation_digest":"sha256:25f4992311e9134254d7dc60a740ca1c838d2ddc9c37afbe2a54e097847114b4","observation_id":"4106567d-0156-46f0-847a-10ab279b6dae","resolution":{"observed_at":"2026-08-03T01:29:16.320423Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.28877","last_updated":"2026-07-30T22:43:33Z","latest_version":1,"primary_category":"cs.AR","snapshot_observed_at":"2026-08-09T08:42:47.349439Z","submitted_at":"2026-07-30T22:43:33Z","title":"Open-Source LLM-Driven Formal Verification: A Multi-Agent Pipeline for RTL Repair"},"reference_resolution":{"displayed":9,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":9,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":9},"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 9 of 9 outbound references and 0 inbound Pith citation observations for arXiv:2607.28877."}