อัลกอริทึม IC3 (หรือ PDR) เป็นเครื่องมือหลักในการตรวจสอบความถูกต้องของระบบฮาร์ดแวร์ แต่การปรับแต่ง Heuristics ของอัลกอริทึมนี้ให้ทำงานได้ดีที่สุดนั้นเป็นเรื่องยากและต้องอาศัยผู้เชี่ยวชาญ
งานวิจัยนี้นำเสนอ IC3-Evolve ซึ่งเป็นเฟรมเวิร์กที่ใช้ LLM มาช่วยวิวัฒนาการโค้ดในรูปแบบออฟไลน์ (Offline code evolution) จุดเด่นที่สำคัญคือการมีระบบ 'Proof-/Witness-gated validation' ซึ่งจะทำการตรวจสอบทุกการแก้ไขที่ LLM เสนอมา หากการแก้ไขทำให้ระบบคำนวณผิดพลาดหรือให้หลักฐานการตรวจสอบไม่ได้ การแก้ไขนั้นจะถูกปฏิเสธทันที
ผลลัพธ์ที่ได้คือซอฟต์แวร์ตรวจสอบฮาร์ดแวร์ที่มีประสิทธิภาพสูงขึ้น โดยที่ไม่มีภาระในการรันโมเดล AI ในขณะใช้งาน (Zero ML inference overhead) ทำให้สามารถนำไปใช้งานในโปรดักชันได้ทันทีด้วยความน่าเชื่อถือระดับเดิมแต่ความเร็วที่สูงกว่า
