IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking
Explore IC3-Evolve, an advanced framework leveraging offline Large Language Models to autonomously evolve heuristics for hardware model checking while strict...
Level: advanced
By Mingkai Miao, Guangyu Hu, Ziyi Yang, Hongce Zhang