Paper Citation Record · LEDGER

IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking

As of 6 August 2026, this Paper Citation Record lists 20 of 20 outbound references and 2 inbound Pith citation observations for arXiv:2604.03232.

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

pith.paper-citation-record.v1
2604.03232 v1

Coverage vector

measured 20 of 20 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-05-16T13:23:20.746776Z

measured 22 of 22 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-06T06:34:29.942622+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-02T13:56:09.320746Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-05-19T21:52:48.422736Z

Reference resolution

20 of 20 outbound references displayed

verified exact2
verified fuzzy16
unresolved1
parse uncertain0
malformed identifier0
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 05eeb89f-a704-4ec1-9475-4ddda11c8b31 · outbound

This paper cites CaDiCaL 2.0.

IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking CaDiCaL 2.0

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-05-16T13:27:56.811658Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 0b9acde5-9dcf-4385-98f5-a25e376d5ef7 · outbound

This paper cites Aiger and-inverter-graph library and utilities (incl.

IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking Aiger and-inverter-graph library and utilities (incl

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-05-16T13:27:56.814131Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 93ef8861-1eac-411d-9dbe-32fd60905a7f · outbound

This paper cites an unresolved cited work.

IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-05-16T13:27:56.801545Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation a8a7367a-434d-45c6-a659-42b9d2ec7974 · outbound

This paper cites [Bradley, 2013] Aaron R.

IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking [Bradley, 2013] Aaron R

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-05-16T13:27:56.804326Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 040894e9-20f8-4f50-8993-2f44b2e8bf4d · outbound

This paper cites Abc: An academic industrial-strength ver- ification tool.

IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking Abc: An academic industrial-strength ver- ification tool

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-05-16T13:27:56.807232Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation e5b7dbec-6481-4707-a544-f5f6eb058e6c · outbound

This paper cites Efficient implementation of property directed reachability.

IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking Efficient implementation of property directed reachability

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-05-16T13:27:56.809566Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 961597ae-c5d1-44fd-9778-6ded98939f9d · outbound

This paper cites Neuropdr: Integrating neural networks in the pdr algorithm for hardware model checking.

IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking Neuropdr: Integrating neural networks in the pdr algorithm for hardware model checking

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-05-16T13:27:56.841518Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 22b983da-d59a-44df-b881-347a92fe6db1 · outbound

This paper cites Deepic3: Guiding ic3 algorithms by graph neural network clause prediction.

IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking Deepic3: Guiding ic3 algorithms by graph neural network clause prediction

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-05-16T13:27:56.838878Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 1d5a81ac-e081-43cf-b577-d65625eba49d · outbound

This paper cites https://hwmcc.github.io/2024/.

IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking https://hwmcc.github.io/2024/

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-05-16T13:27:56.836409Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 2ae260b8-a8ff-48fd-8635-9a8aae8c262d · outbound

This paper cites https://hwmcc.github.io/2025/.

IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking https://hwmcc.github.io/2025/

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-05-16T13:27:56.834137Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 0a15646f-5137-45e1-aa32-226f0ffd9530 · outbound

This paper cites Can chatgpt support software veri- fication? InInternational Conference on Fundamen- tal Approaches to Software Engineering, pages 266–279.

IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking Can chatgpt support software veri- fication? InInternational Conference on Fundamen- tal Approaches to Software Engineering, pages 266–279

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-05-16T13:27:56.831914Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 52d98a1f-d02d-4f15-9e43-fe0846d693f6 · outbound

This paper cites Data-driven optimization of inductive generalization.

IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking Data-driven optimization of inductive generalization

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-05-16T13:27:56.829263Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 9cc1f798-abc5-4c11-834c-9ffc2ac0de99 · outbound

This paper cites AlphaEvolve: A coding agent for scientific and algorithmic discovery.

IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking AlphaEvolve: A coding agent for scientific and algorithmic discovery

Reference 13

Resolution: verified exact; local_arxiv, observed 2026-05-16T13:27:55.888454Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 672dc85b-6178-41fb-a8f9-689b1bc5df23 · outbound

This paper cites Addendum to gpt-5 system card: Gpt-5-codex.

IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking Addendum to gpt-5 system card: Gpt-5-codex

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-05-16T13:27:56.826902Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation f0940534-65ae-4b98-ae02-7e0c0fbdb76a · outbound

This paper cites Llm-generated invariants for bounded model checking without loop un- rolling.

IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking Llm-generated invariants for bounded model checking without loop un- rolling

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-05-16T13:27:56.824674Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 53bd0cd5-5e59-43e6-a728-94e133647cce · outbound

This paper cites Predicting lemmas in generalization of ic3.

IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking Predicting lemmas in generalization of ic3

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-05-16T13:27:56.821930Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation fd757683-e1cb-4f82-9d6d-d2657da3fdd7 · outbound

This paper cites AutoSAT: Automatically Optimize SAT Solvers via Large Language Models.

IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking AutoSAT: Automatically Optimize SAT Solvers via Large Language Models

Reference 17

Resolution: verified exact; arxiv_id, observed 2026-05-16T13:27:55.893010Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation f6e2d788-21bc-4f25-a8f7-23154ad0a63b · outbound

This paper cites Llm meets bounded model checking: Neuro-symbolic loop invariant inference.

IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking Llm meets bounded model checking: Neuro-symbolic loop invariant inference

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-05-16T13:27:56.819438Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 00164917-b0d8-453f-ae10-bf77342f3299 · outbound

This paper cites Progress in certifying hardware model checking results.

IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking Progress in certifying hardware model checking results

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-05-16T13:27:56.816591Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 7b07f1a5-39e7-4145-90bb-118d7cea5364 · outbound

This paper cites Autonomous Code Evolution Meets NP-Completeness.

IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking Autonomous Code Evolution Meets NP-Completeness

Reference 20

Resolution: metadata mismatch; arxiv_id, observed 2026-05-16T13:27:55.899728Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Pith citing papers

Observation 4b0ca917-1852-4a66-9578-9dcb527fb7cc · inbound

Certificate-Aware Property-Directed Reachability cites this paper.

Certificate-Aware Property-Directed Reachability IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking

Reference 21

Resolution: verified exact; local_arxiv, observed 2026-05-19T21:52:48.424165Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 5e63b83d-2bec-4cb3-80d0-5175b867c582 · inbound

Certificate-Aware Property-Directed Reachability cites this paper.

Certificate-Aware Property-Directed Reachability IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-02T13:56:09.320746Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.