Model Checking | Guangyu HUhttps://guangyuhu.me/tag/model-checking/Model CheckingWowchemy (https://wowchemy.com)en-us© 2026 Guangyu HuSat, 01 Aug 2026 00:00:00 +0000https://guangyuhu.me/media/icon_hu6538e1dfe75408a7f53e3e32c6b9c68d_2141_512x512_fill_lanczos_center_2.pngModel Checkinghttps://guangyuhu.me/tag/model-checking/IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checkinghttps://guangyuhu.me/publication/ijcai26-ic3-evolve/Sat, 01 Aug 2026 00:00:00 +0000https://guangyuhu.me/publication/ijcai26-ic3-evolve/A-IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model Checkinghttps://guangyuhu.me/publication/cav26-a-ic3/Wed, 01 Jul 2026 00:00:00 +0000https://guangyuhu.me/publication/cav26-a-ic3/LeGend: A Data-Driven Framework for Lemma Generation in Hardware Model Checkinghttps://guangyuhu.me/publication/dac26-legend/Mon, 01 Jun 2026 00:00:00 +0000https://guangyuhu.me/publication/dac26-legend/AutoPDR: Circuit-Aware Solver Configuration Prediction for Hardware Model Checkinghttps://guangyuhu.me/publication/iseda26-autopdr/Fri, 01 May 2026 00:00:00 +0000https://guangyuhu.me/publication/iseda26-autopdr/EvolveGen: Algorithmic Level Hardware Model Checking Benchmark Generation through Reinforcement Learninghttps://guangyuhu.me/publication/tacas26-evolvegen/Wed, 01 Apr 2026 00:00:00 +0000https://guangyuhu.me/publication/tacas26-evolvegen/DeepIC3: Guiding IC3 Algorithms by Graph Neural Network Clause Predictionhttps://guangyuhu.me/publication/aspdac24-deepic3/Mon, 01 Jan 2024 00:00:00 +0000https://guangyuhu.me/publication/aspdac24-deepic3/NeuroPDR: Integrating Neural Networks in the PDR Algorithm for Hardware Model Checkinghttps://guangyuhu.me/publication/mlcad23-neuropdr/Fri, 01 Sep 2023 00:00:00 +0000https://guangyuhu.me/publication/mlcad23-neuropdr/