Paper Citation Record · LEDGER

Open-Source LLM-Driven Formal Verification: A Multi-Agent Pipeline for RTL Repair

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.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2607.28877 v1

Coverage vector

measured 9 of 9 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-03T01:29:16.320423Z

measured 9 of 9 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

9 of 9 outbound references displayed

verified exact0
verified fuzzy0
unresolved9
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 0061193a-94d0-4b18-8d25-55f69a70744a · outbound

This paper cites Symbolic model checking without BDDs,.

Open-Source LLM-Driven Formal Verification: A Multi-Agent Pipeline for RTL Repair Symbolic model checking without BDDs,

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-03T01:29:15.660188Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0eaa25d0-3ca3-4a68-bc25-0548cd42fc6e · outbound

This paper cites Checking safety properties using induction and a SAT-solver,.

Open-Source LLM-Driven Formal Verification: A Multi-Agent Pipeline for RTL Repair Checking safety properties using induction and a SAT-solver,

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-03T01:29:15.754445Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d1e0ce1a-0209-4784-9b71-5ea8188d2c6e · outbound

This paper cites Yosys Open SYnthesis Suite,.

Open-Source LLM-Driven Formal Verification: A Multi-Agent Pipeline for RTL Repair Yosys Open SYnthesis Suite,

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-03T01:29:15.887121Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f0876efd-b59f-47f3-8d63-8b6dc0622022 · outbound

This paper cites SymbiYosys (SBY): Front-end for Yosys-based formal ver- ification flows,.

Open-Source LLM-Driven Formal Verification: A Multi-Agent Pipeline for RTL Repair SymbiYosys (SBY): Front-end for Yosys-based formal ver- ification flows,

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-03T01:29:15.967309Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b6baf92d-e003-4712-bfc2-d3969be97cb5 · outbound

This paper cites Z3: An efficient SMT solver,.

Open-Source LLM-Driven Formal Verification: A Multi-Agent Pipeline for RTL Repair Z3: An efficient SMT solver,

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-03T01:29:16.064899Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3d4a764e-0cbc-49a2-b254-45781b7201f0 · outbound

This paper cites VeriGen: A Large Language Model for Verilog Code Generation.

Open-Source LLM-Driven Formal Verification: A Multi-Agent Pipeline for RTL Repair VeriGen: A Large Language Model for Verilog Code Generation

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-03T01:29:16.160698Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1a1f72c5-229d-4644-906a-c1ef3c6b6839 · outbound

This paper cites VerilogEval: Evaluating Large Language Models for Verilog Code Generation.

Open-Source LLM-Driven Formal Verification: A Multi-Agent Pipeline for RTL Repair VerilogEval: Evaluating Large Language Models for Verilog Code Generation

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-03T01:29:16.231691Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 32b7c193-c622-4f63-83c4-378e535f8e8b · outbound

This paper cites RTLFixer: Automatically fixing RTL syntax errors with large language models,.

Open-Source LLM-Driven Formal Verification: A Multi-Agent Pipeline for RTL Repair RTLFixer: Automatically fixing RTL syntax errors with large language models,

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-03T01:29:16.282581Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4106567d-0156-46f0-847a-10ab279b6dae · outbound

This paper cites RTLLM: An open-source benchmark for design RTL generation with large language model,.

Open-Source LLM-Driven Formal Verification: A Multi-Agent Pipeline for RTL Repair RTLLM: An open-source benchmark for design RTL generation with large language model,

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-03T01:29:16.320423Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.