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

Build a framework that uses LLMs to optimize and evolve the heuristics within the IC3/PDR model checking algorithm. This would bridge the gap between static verification algorithms and adaptive AI-driven search.

Suggested repo: ic3-evolve

"Let LLMs auto-tune your hardware verification heuristics."

Estimated effort: 60h