Miao, M., Hu, G., Yang, Z., & Zhang, H. (2026). IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking.
Citazione stile Chigago Style (17a edizione)Miao, Mingkai, Guangyu Hu, Ziyi Yang, e Hongce Zhang. IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking. 2026.
Citatione MLA (9a ed.)Miao, Mingkai, et al. IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking. 2026.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.