Paper Citation Record · LEDGER

HaVen: Hallucination-Mitigated LLM for Verilog Code Generation Aligned with HDL Engineers

As of 22 August 2026, this Paper Citation Record lists 35 of 35 outbound references and 5 inbound Pith citation observations for arXiv:2501.04908.

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

pith.paper-citation-record.v1
2501.04908 v1

Coverage vector

measured 35 of 35 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-10T21:26:20.594403Z

measured 40 of 40 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-22T06:32:14.747728+00:00

measured 5 of 5 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-07T10:45:07.103704Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-05-11T21:31:14.851487Z

Reference resolution

35 of 35 outbound references displayed

verified exact1
verified fuzzy18
unresolved16
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation daaf1bcb-6641-4ae6-8163-14a96a84a06b · outbound

This paper cites Wizardcoder: Empowering code large language models with evol-instruct,.

HaVen: Hallucination-Mitigated LLM for Verilog Code Generation Aligned with HDL Engineers Wizardcoder: Empowering code large language models with evol-instruct,

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:26:21.179339Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 14582546-60c6-437a-926a-b5072363ff3d · outbound

This paper cites Octopack: Instruction tuning code large language models,.

HaVen: Hallucination-Mitigated LLM for Verilog Code Generation Aligned with HDL Engineers Octopack: Instruction tuning code large language models,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:26:21.168150Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 328cddd1-1a7d-4130-877c-e2c018c81fdb · outbound

This paper cites Gpt-4 technical report,.

HaVen: Hallucination-Mitigated LLM for Verilog Code Generation Aligned with HDL Engineers Gpt-4 technical report,

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:26:21.157458Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 8dbec95d-a518-4f40-be3e-3138a1b70a7b · outbound

This paper cites Magicoder: Source code is all you need,.

HaVen: Hallucination-Mitigated LLM for Verilog Code Generation Aligned with HDL Engineers Magicoder: Source code is all you need,

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:26:21.146555Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation b5ce23f7-911f-414e-845a-428fc65cfbb9 · outbound

This paper cites WizardLM: Empowering large language models to follow complex instructions,.

HaVen: Hallucination-Mitigated LLM for Verilog Code Generation Aligned with HDL Engineers WizardLM: Empowering large language models to follow complex instructions,

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:26:21.134975Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 8229ad1b-ff52-4004-85c6-1382879e62c6 · outbound

This paper cites Opencodeinterpreter: Integrating code generation with execution and refinement,.

HaVen: Hallucination-Mitigated LLM for Verilog Code Generation Aligned with HDL Engineers Opencodeinterpreter: Integrating code generation with execution and refinement,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:26:21.124290Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 29433245-d598-4143-9ac9-88eb32b11932 · outbound

This paper cites Github copilot,.

HaVen: Hallucination-Mitigated LLM for Verilog Code Generation Aligned with HDL Engineers Github copilot,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:26:21.111876Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation ec0eeca2-05e9-4a04-833e-69c0ef8311b6 · outbound

This paper cites Evaluating Large Language Models Trained on Code.

HaVen: Hallucination-Mitigated LLM for Verilog Code Generation Aligned with HDL Engineers Evaluating Large Language Models Trained on Code

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-10T21:26:20.498929Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7559aa2f-075b-471e-8b5f-d2fdf76b1737 · outbound

This paper cites Is your code generated by chatgpt really correct? rigorous evaluation of large language models for code generation,.

HaVen: Hallucination-Mitigated LLM for Verilog Code Generation Aligned with HDL Engineers Is your code generated by chatgpt really correct? rigorous evaluation of large language models for code generation,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:26:21.100518Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 119e2290-3936-404e-b58b-6148110b03a0 · outbound

This paper cites Verilogeval: Evaluating large language models for verilog code generation,.

HaVen: Hallucination-Mitigated LLM for Verilog Code Generation Aligned with HDL Engineers Verilogeval: Evaluating large language models for verilog code generation,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:26:21.089458Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 9fd0bfc8-4714-4c8a-a11a-bf160d4c565c · outbound

This paper cites Survey of hallucination in natural language generation,.

HaVen: Hallucination-Mitigated LLM for Verilog Code Generation Aligned with HDL Engineers Survey of hallucination in natural language generation,

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-10T21:26:20.509426Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 41449508-abe7-4396-807c-5a7aa19aaa40 · outbound

This paper cites CodeHalu: Investigating Code Hallucinations in LLMs via Execution-based Verification.

HaVen: Hallucination-Mitigated LLM for Verilog Code Generation Aligned with HDL Engineers CodeHalu: Investigating Code Hallucinations in LLMs via Execution-based Verification

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-10T21:26:20.513365Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9afc7fd4-678d-4d8e-b4ac-792f2498b07b · outbound

This paper cites Exploring and evaluating hallucinations in llm-powered code generation,.

HaVen: Hallucination-Mitigated LLM for Verilog Code Generation Aligned with HDL Engineers Exploring and evaluating hallucinations in llm-powered code generation,

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-10T21:26:20.517114Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 16971a95-6c28-4291-b6b8-3acb056e4eea · outbound

This paper cites Starcoder: may the source be with you!.

HaVen: Hallucination-Mitigated LLM for Verilog Code Generation Aligned with HDL Engineers Starcoder: may the source be with you!

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:26:21.079215Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 324fce04-6a1d-46bb-9483-5656af0a1232 · outbound

This paper cites Revisiting VerilogEval: A Year of Improvements in Large-Language Models for Hardware Code Generation.

HaVen: Hallucination-Mitigated LLM for Verilog Code Generation Aligned with HDL Engineers Revisiting VerilogEval: A Year of Improvements in Large-Language Models for Hardware Code Generation

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-10T21:26:20.528037Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0d660522-5e21-4e4b-b341-8d4019b40474 · outbound

This paper cites Rtlfixer: Automatically fixing rtl syntax errors with large language model,.

HaVen: Hallucination-Mitigated LLM for Verilog Code Generation Aligned with HDL Engineers Rtlfixer: Automatically fixing rtl syntax errors with large language model,

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-10T21:26:20.532118Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fec93d85-1cf5-4c90-bacb-4e6ee14524b0 · outbound

This paper cites Origen: Enhancing rtl code generation with code-to-code augmentation and self-reflection,.

HaVen: Hallucination-Mitigated LLM for Verilog Code Generation Aligned with HDL Engineers Origen: Enhancing rtl code generation with code-to-code augmentation and self-reflection,

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:26:21.068785Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation b4bb0fa9-df6e-406f-bfe6-e69281659bd8 · outbound

This paper cites Fpga implementation of image enhancement using verilog hdl,.

HaVen: Hallucination-Mitigated LLM for Verilog Code Generation Aligned with HDL Engineers Fpga implementation of image enhancement using verilog hdl,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:26:21.058342Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 7b19e6ed-2dc5-4b3e-b604-21097c7c339a · outbound

This paper cites Lin, Digital System Designs and Practices: Using Verilog HDL and FPGAs.

HaVen: Hallucination-Mitigated LLM for Verilog Code Generation Aligned with HDL Engineers Lin, Digital System Designs and Practices: Using Verilog HDL and FPGAs

Reference 19

Resolution: verified exact; doi, observed 2026-08-10T21:26:20.633468Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation f44032ee-810d-480b-bb64-aa5b0955c924 · outbound

This paper cites Rtlcoder: Outperforming GPT-3.5 in design RTL generation with our open-source dataset and lightweight solution,.

HaVen: Hallucination-Mitigated LLM for Verilog Code Generation Aligned with HDL Engineers Rtlcoder: Outperforming GPT-3.5 in design RTL generation with our open-source dataset and lightweight solution,

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:26:21.047604Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation e784e6e6-e70c-43e1-a60e-7a2b9a72fe8c · outbound

This paper cites Autovcoder: A systematic framework for automated verilog code generation using llms,.

HaVen: Hallucination-Mitigated LLM for Verilog Code Generation Aligned with HDL Engineers Autovcoder: A systematic framework for automated verilog code generation using llms,

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:26:21.035969Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 2e7aa60f-6424-4fa9-b20f-17de66f802ee · outbound

This paper cites an unresolved cited work.

HaVen: Hallucination-Mitigated LLM for Verilog Code Generation Aligned with HDL Engineers Unresolved cited work

Reference 23

Resolution: unresolved; raw_fallback, observed 2026-08-10T21:26:21.022486Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 78da88c2-fcc4-4817-a957-f3973967c3a4 · outbound

This paper cites Palnitkar, Verilog® hdl: a guide to digital design and synthesis, second edition, 2nd ed.

HaVen: Hallucination-Mitigated LLM for Verilog Code Generation Aligned with HDL Engineers Palnitkar, Verilog® hdl: a guide to digital design and synthesis, second edition, 2nd ed

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:26:21.010302Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 26b0167a-cadc-49e4-962f-5f8f52667056 · outbound

This paper cites an unresolved cited work.

HaVen: Hallucination-Mitigated LLM for Verilog Code Generation Aligned with HDL Engineers Unresolved cited work

Reference 25

Resolution: unresolved; raw_fallback, observed 2026-08-10T21:26:20.999223Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 7c35b929-827e-40b7-84a1-bf70aa4072eb · outbound

This paper cites Popoloski, “Slang,” 2023, online.

HaVen: Hallucination-Mitigated LLM for Verilog Code Generation Aligned with HDL Engineers Popoloski, “Slang,” 2023, online

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:26:20.988358Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 58819cc1-bd82-42ce-a2ce-5c93c5e0903c · outbound

This paper cites Code Llama: Open Foundation Models for Code.

HaVen: Hallucination-Mitigated LLM for Verilog Code Generation Aligned with HDL Engineers Code Llama: Open Foundation Models for Code

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-10T21:26:20.568236Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2b6830f1-5e01-4fef-8653-df0f0bbfc53c · outbound

This paper cites DeepSeek-Coder: When the Large Language Model Meets Programming -- The Rise of Code Intelligence.

HaVen: Hallucination-Mitigated LLM for Verilog Code Generation Aligned with HDL Engineers DeepSeek-Coder: When the Large Language Model Meets Programming -- The Rise of Code Intelligence

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-10T21:26:20.572041Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1f839873-5ae3-49b6-8cf0-b6140574d896 · outbound

This paper cites Qwen Technical Report.

HaVen: Hallucination-Mitigated LLM for Verilog Code Generation Aligned with HDL Engineers Qwen Technical Report

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-10T21:26:20.575251Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 734068f0-e1d5-4a51-bc6c-b44eb7b2e300 · outbound

This paper cites ChipNeMo: Domain-Adapted LLMs for Chip Design.

HaVen: Hallucination-Mitigated LLM for Verilog Code Generation Aligned with HDL Engineers ChipNeMo: Domain-Adapted LLMs for Chip Design

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-10T21:26:20.578132Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 75a4a9d6-44fd-4643-8241-8700d084bb47 · outbound

This paper cites Verigen: A large language model for verilog code generation,.

HaVen: Hallucination-Mitigated LLM for Verilog Code Generation Aligned with HDL Engineers Verigen: A large language model for verilog code generation,

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-10T21:26:20.581176Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3db64489-ba0c-4c20-a82d-9e163053c385 · outbound

This paper cites Betterv: Controlled verilog generation with discriminative guidance,.

HaVen: Hallucination-Mitigated LLM for Verilog Code Generation Aligned with HDL Engineers Betterv: Controlled verilog generation with discriminative guidance,

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:26:20.975747Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation c7ab7378-5c46-4b99-9aed-456aa9d81e11 · outbound

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

HaVen: Hallucination-Mitigated LLM for Verilog Code Generation Aligned with HDL Engineers Rtllm: An open-source benchmark for design rtl generation with large language model,

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:26:20.962539Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 58beb9ce-6e8d-4cd5-8c45-5419fcfbcaca · outbound

This paper cites DeepSeek-Coder-V2: Breaking the Barrier of Closed-Source Models in Code Intelligence.

HaVen: Hallucination-Mitigated LLM for Verilog Code Generation Aligned with HDL Engineers DeepSeek-Coder-V2: Breaking the Barrier of Closed-Source Models in Code Intelligence

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-10T21:26:20.594403Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f0f2d0b1-38b6-4ec0-a04f-3cc3126cf304 · outbound

This paper cites StarCoder: may the source be with you!.

HaVen: Hallucination-Mitigated LLM for Verilog Code Generation Aligned with HDL Engineers StarCoder: may the source be with you!

Reference 2023

Resolution: unresolved; no resolver link, observed 2026-08-10T21:26:20.523911Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 20f65a1a-7c6d-468b-a6c6-a934b98be680 · outbound

This paper cites Available: https://doi.org/10.1109/ASP-DAC58780.2024.

HaVen: Hallucination-Mitigated LLM for Verilog Code Generation Aligned with HDL Engineers Available: https://doi.org/10.1109/ASP-DAC58780.2024

Reference 2024

Resolution: unresolved; no resolver link, observed 2026-08-10T21:26:20.590720Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 8f369cf8-5964-4cfe-8658-6817eca83ec7 · inbound

hdl2v: A Code Translation Dataset for Enhanced LLM Verilog Generation cites this paper.

hdl2v: A Code Translation Dataset for Enhanced LLM Verilog Generation HaVen: Hallucination-Mitigated LLM for Verilog Code Generation Aligned with HDL Engineers

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-07T10:45:07.103704Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ca366cb2-eb66-40aa-891a-bbea68d4b427 · inbound

VeriOpt: PPA-Aware High-Quality Verilog Generation via Multi-Role LLMs cites this paper.

VeriOpt: PPA-Aware High-Quality Verilog Generation via Multi-Role LLMs HaVen: Hallucination-Mitigated LLM for Verilog Code Generation Aligned with HDL Engineers

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-06T15:51:34.480702Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 90e026dc-a184-4fba-91a6-8254070bdacb · inbound

VERIRL: Boosting the LLM-based Verilog Code Generation via Reinforcement Learning cites this paper.

VERIRL: Boosting the LLM-based Verilog Code Generation via Reinforcement Learning HaVen: Hallucination-Mitigated LLM for Verilog Code Generation Aligned with HDL Engineers

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-05T16:28:23.466779Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cd338a6f-fb55-422f-bfde-f49e6efea719 · inbound

AutoPPA: Automated Circuit PPA Optimization via Contrastive Code-based Rule Library Learning cites this paper.

AutoPPA: Automated Circuit PPA Optimization via Contrastive Code-based Rule Library Learning HaVen: Hallucination-Mitigated LLM for Verilog Code Generation Aligned with HDL Engineers

Reference 28

Resolution: verified exact; arxiv_id, observed 2026-05-10T12:10:23.046542Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation b20746bb-c2d5-450a-aff6-f90c945be39b · inbound

TimingLLM: A Two-Stage Retrieval-Augmented Framework for Pre-Synthesis Timing Prediction from Verilog cites this paper.

TimingLLM: A Two-Stage Retrieval-Augmented Framework for Pre-Synthesis Timing Prediction from Verilog HaVen: Hallucination-Mitigated LLM for Verilog Code Generation Aligned with HDL Engineers

Reference 3

Resolution: verified exact; arxiv_id, observed 2026-05-11T21:31:14.856474Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.