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

1. 1Utilize proof- and witness-gated offline LLM-driven heuristic evolution to improve IC3 performance
2. 2Apply IC3-Evolve to hardware safety model checking
3. 3Evaluate the effectiveness of IC3-Evolve in reducing the web of interacting heuristics and improving model checking efficiency

This research benefits AI engineers and researchers working on model checking and formal verification, as it improves the performance of IC3 algorithms

💡 LLM-driven heuristic evolution can improve the performance of IC3 algorithms in hardware model checking

💡 LLM-driven heuristic evolution for IC3 model checking