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

arXiv:2604.03232v1 Announce Type: new Abstract: IC3, also known as propertydirected reachability PDR, is a commonlyused algorithm for hardware safety model checking. It checks if a state transition system complies with a given safety property.