Paper Citation Record · LEDGER

Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning with Testbench Feedback

As of 22 August 2026, this Paper Citation Record lists 40 of 40 outbound references and 2 inbound Pith citation observations for arXiv:2504.15804.

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

pith.paper-citation-record.v1
2504.15804 v1

Coverage vector

measured 40 of 40 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-16T11:22:02.415434Z

measured 42 of 42 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 2 of 2 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-07T13:20:54.929448Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-08-07T13:21:01.812135Z

Reference resolution

40 of 40 outbound references displayed

verified exact0
verified fuzzy7
unresolved33
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation c58f6ad4-dbcf-4bb4-828f-3b4cec844548 · outbound

This paper cites Concrete Problems in AI Safety.

Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning with Testbench Feedback Concrete Problems in AI Safety

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-16T11:22:02.253536Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d4756dad-289d-4630-abb4-508c25fde563 · outbound

This paper cites Claude 3 sonnet.

Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning with Testbench Feedback Claude 3 sonnet

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:22:03.138511Z

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 e1fcaac3-dbdf-45cf-bf69-c52d3a7fc120 · outbound

This paper cites Qwen Technical Report.

Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning with Testbench Feedback Qwen Technical Report

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-16T11:22:02.263484Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a71ee65b-7249-4a81-9999-bba745e645c1 · outbound

This paper cites Training a Helpful and Harmless Assistant with Reinforcement Learning from Human Feedback.

Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning with Testbench Feedback Training a Helpful and Harmless Assistant with Reinforcement Learning from Human Feedback

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-16T11:22:02.267999Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d5dfe428-ed4b-49bf-bc20-c46f5cf8c082 · outbound

This paper cites Evaluating Large Language Models Trained on Code.

Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning with Testbench Feedback Evaluating Large Language Models Trained on Code

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-16T11:22:02.272188Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d6ba3cc4-d250-4185-8ac9-fb223539d838 · outbound

This paper cites OriGen:Enhancing RTL Code Generation with Code-to-Code Augmentation and Self-Reflection.

Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning with Testbench Feedback OriGen:Enhancing RTL Code Generation with Code-to-Code Augmentation and Self-Reflection

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-16T11:22:02.276316Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e71a4b5c-9854-4a26-ac25-edb133ed392e · outbound

This paper cites an unresolved cited work.

Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning with Testbench Feedback Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:22:03.125067Z

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 ed6db6bd-d72d-4928-aca6-b8e6967cb4b5 · outbound

This paper cites The Llama 3 Herd of Models.

Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning with Testbench Feedback The Llama 3 Herd of Models

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-16T11:22:02.285108Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fdee0e80-56a3-41eb-868f-1286e364e14f · outbound

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

Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning with Testbench Feedback DeepSeek-Coder: When the Large Language Model Meets Programming -- The Rise of Code Intelligence

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-16T11:22:02.289182Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e49969f1-011c-4315-b1dc-f71802ef4032 · outbound

This paper cites an unresolved cited work.

Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning with Testbench Feedback Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:22:03.112002Z

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 e7e84c63-5439-4290-8ea7-40cae1ca4571 · outbound

This paper cites Qwen2.5-Coder Technical Report.

Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning with Testbench Feedback Qwen2.5-Coder Technical Report

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-16T11:22:02.297511Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fb3e77a7-fc51-4dca-99c7-a777517ceadf · outbound

This paper cites GPT-4o System Card.

Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning with Testbench Feedback GPT-4o System Card

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-16T11:22:02.301876Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 230ee76f-8083-45fa-8371-069eb9d25967 · outbound

This paper cites an unresolved cited work.

Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning with Testbench Feedback Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-16T11:22:02.305956Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d62b8600-16dc-4bc6-8aa8-6cf7468b1827 · outbound

This paper cites Decomposed Prompting: A Modular Approach for Solving Complex Tasks.

Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning with Testbench Feedback Decomposed Prompting: A Modular Approach for Solving Complex Tasks

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-16T11:22:02.309754Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 59ff72a6-f134-47cf-aff2-fb3b8d1eafff · outbound

This paper cites an unresolved cited work.

Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning with Testbench Feedback Unresolved cited work

Reference 15

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:22:03.089908Z

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 325eef15-5183-4a9c-bb2d-cea0fd84d919 · outbound

This paper cites DrAttack: Prompt Decomposition and Reconstruction Makes Powerful LLM Jailbreakers.

Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning with Testbench Feedback DrAttack: Prompt Decomposition and Reconstruction Makes Powerful LLM Jailbreakers

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-16T11:22:02.318012Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 33b07571-1e13-4752-9dd0-70cbe4c81bd5 · outbound

This paper cites DeepSeek-V3 Technical Report.

Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning with Testbench Feedback DeepSeek-V3 Technical Report

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-16T11:22:02.322270Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c9d82cc4-7d88-4f1e-8ba3-297f19bf0d48 · outbound

This paper cites an unresolved cited work.

Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning with Testbench Feedback Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:22:03.076631Z

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 3498f55a-3730-486a-a7b9-e5d268fb12e0 · outbound

This paper cites an unresolved cited work.

Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning with Testbench Feedback Unresolved cited work

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:22:03.063158Z

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 c266b73f-8f04-4648-82b9-a2e743b2b97d · outbound

This paper cites OpenLLM-RTL: Open Dataset and Benchmark for LLM-Aided Design RTL Generation.

Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning with Testbench Feedback OpenLLM-RTL: Open Dataset and Benchmark for LLM-Aided Design RTL Generation

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-16T11:22:02.335336Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eeadc240-2756-493e-837c-110c894e72ef · outbound

This paper cites Statistical Rejection Sampling Improves Preference Optimization.

Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning with Testbench Feedback Statistical Rejection Sampling Improves Preference Optimization

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-16T11:22:02.339249Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3b9e470f-9cd1-4a3f-bbf4-4cb1a72ebf58 · outbound

This paper cites an unresolved cited work.

Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning with Testbench Feedback Unresolved cited work

Reference 22

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:22:03.049875Z

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 cc753b71-31f0-446e-9b02-c06c2affe186 · outbound

This paper cites Nadimi, G.

Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning with Testbench Feedback Nadimi, G

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-16T11:22:02.347113Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 460238ed-3808-4954-8697-e455cdd33166 · outbound

This paper cites Papineni, S.

Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning with Testbench Feedback Papineni, S

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-16T11:22:02.350952Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f29cebc1-d808-49e4-8ad4-3ab91bcc46f9 · outbound

This paper cites Pinckney, C.

Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning with Testbench Feedback Pinckney, C

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:22:03.027443Z

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 9b4fc2fe-3480-49ee-9d7e-5ea68a03e22f · outbound

This paper cites an unresolved cited work.

Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning with Testbench Feedback Unresolved cited work

Reference 26

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:22:03.014262Z

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 8e1fd8ad-250d-4bd9-9182-8ba4b811d1d7 · outbound

This paper cites Rafailov, A.

Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning with Testbench Feedback Rafailov, A

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:22:03.000295Z

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 cdc91899-0ed5-4657-837b-c41cc67446b0 · outbound

This paper cites A Survey of Hallucination in Large Foundation Models.

Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning with Testbench Feedback A Survey of Hallucination in Large Foundation Models

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-16T11:22:02.367007Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 92da724b-f9d9-4dee-9011-09cb9cb139f0 · outbound

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

Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning with Testbench Feedback Code Llama: Open Foundation Models for Code

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-16T11:22:02.370914Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 70a3d8dc-ff93-4f07-8a09-68e0fba445ba · outbound

This paper cites Execution-based Code Generation using Deep Reinforcement Learning.

Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning with Testbench Feedback Execution-based Code Generation using Deep Reinforcement Learning

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-16T11:22:02.374907Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 136d9cd7-1522-4099-b7dd-4f996dfa38a6 · outbound

This paper cites Takamaeda-Yamazaki.

Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning with Testbench Feedback Takamaeda-Yamazaki

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:22:02.987133Z

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 f0dfdebf-fdd7-4518-9ece-f380a690f8d1 · outbound

This paper cites Thakur, B.

Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning with Testbench Feedback Thakur, B

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:22:02.971907Z

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 2565d436-a6bd-4be2-b903-a4817a4b8a59 · outbound

This paper cites Large Language Model for Verilog Generation with Code-Structure-Guided Reinforcement Learning.

Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning with Testbench Feedback Large Language Model for Verilog Generation with Code-Structure-Guided Reinforcement Learning

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-16T11:22:02.386711Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0454af7f-1994-4569-af2f-9f874e967bda · outbound

This paper cites an unresolved cited work.

Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning with Testbench Feedback Unresolved cited work

Reference 34

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:22:02.957940Z

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 36229d6a-0948-4106-956e-f176b2d74a70 · outbound

This paper cites an unresolved cited work.

Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning with Testbench Feedback Unresolved cited work

Reference 35

Resolution: unresolved; raw_fallback, observed 2026-08-16T11:22:02.944571Z

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 87db4575-ac21-4e9f-836d-d2d8008a2065 · outbound

This paper cites Zehua, H.

Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning with Testbench Feedback Zehua, H

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:22:02.930830Z

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 9cc610f7-a633-4152-8530-f563083ae995 · outbound

This paper cites $\textbf{PLUM}$: Improving Code LMs with Execution-Guided On-Policy Preference Learning Driven By Synthetic Test Cases.

Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning with Testbench Feedback $\textbf{PLUM}$: Improving Code LMs with Execution-Guided On-Policy Preference Learning Driven By Synthetic Test Cases

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-16T11:22:02.402508Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 55925e03-fa47-4c72-9f3b-47261a545f79 · outbound

This paper cites Zhang, Y.

Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning with Testbench Feedback Zhang, Y

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T11:22:02.917039Z

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 b0bcd161-aed8-4d82-bb37-6f7587a6a80d · outbound

This paper cites CodeV: Empowering LLMs with HDL Generation through Multi-Level Summarization.

Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning with Testbench Feedback CodeV: Empowering LLMs with HDL Generation through Multi-Level Summarization

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-16T11:22:02.411161Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0a241b47-aaa7-4789-bbc8-2c9c6d117b35 · outbound

This paper cites Least-to-Most Prompting Enables Complex Reasoning in Large Language Models.

Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning with Testbench Feedback Least-to-Most Prompting Enables Complex Reasoning in Large Language Models

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-16T11:22:02.415434Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 3ec5f2a1-0732-431b-80ce-7f6d64f9296d · inbound

iDSE: Navigating Design Space Exploration in High-Level Synthesis Using LLMs cites this paper.

iDSE: Navigating Design Space Exploration in High-Level Synthesis Using LLMs Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning with Testbench Feedback

Reference 58

Resolution: verified exact; local_arxiv, observed 2026-08-07T13:21:01.949937Z

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 ab754f08-a62c-47d1-9883-98313771a904 · inbound

A Progressive Approach to Synthesizable RTL Design Generation Using LLMs cites this paper.

A Progressive Approach to Synthesizable RTL Design Generation Using LLMs Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning with Testbench Feedback

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-01T15:14:11.555202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.