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

This research introduces IC3-Evolve, a novel method for hardware model checking. It leverages proof- and witness-gated offline LLM-driven heuristic evolution to enhance the efficiency of the IC3 algorithm.