IC3-Evolve evolves IC3 heuristics via offline LLM patches that are admitted only after passing proof or witness validation, yielding standalone improved checkers evaluated on HWMCC and unseen benchmarks.
Aiger and-inverter-graph library and utilities (incl
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.AI 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking
IC3-Evolve evolves IC3 heuristics via offline LLM patches that are admitted only after passing proof or witness validation, yielding standalone improved checkers evaluated on HWMCC and unseen benchmarks.