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

Diese Forschung stellt IC3-Evolve vor, eine neuartige Methode zur Hardware-Modellprüfung. Sie nutzt eine durch Beweise/Zeugen gesteuerte Offline-LLM-getriebene heuristische Evolution, um die Effizienz des IC3-Algorithmus zu verbessern.