Machine Learning | Guangyu HUhttps://guangyuhu.me/tag/machine-learning/Machine LearningWowchemy (https://wowchemy.com)en-us© 2026 Guangyu HuWed, 01 Jul 2026 00:00:00 +0000https://guangyuhu.me/media/icon_hu6538e1dfe75408a7f53e3e32c6b9c68d_2141_512x512_fill_lanczos_center_2.pngMachine Learninghttps://guangyuhu.me/tag/machine-learning/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/BDD2Seq: Enabling Scalable Reversible-Circuit Synthesis via Graph-to-Sequence Learninghttps://guangyuhu.me/publication/aaai26-bdd2seq/Thu, 01 Jan 2026 00:00:00 +0000https://guangyuhu.me/publication/aaai26-bdd2seq/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/