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

Cette recherche introduit IC3-Evolve, une nouvelle méthode pour la vérification de modèles matériels. Elle utilise l'évolution heuristique hors ligne pilotée par LLM et contrôlée par preuves/témoins pour améliorer l'efficacité de l'algorithme IC3.