Selected | Guangyu HUhttps://guangyuhu.me/category/selected/SelectedWowchemy (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.pngSelectedhttps://guangyuhu.me/category/selected/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/SegSEM: Enabling and Enhancing SAM2 for SEM Contour Extractionhttps://guangyuhu.me/publication/iscas26-segsem/Fri, 01 May 2026 00:00:00 +0000https://guangyuhu.me/publication/iscas26-segsem/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/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/E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesishttps://guangyuhu.me/publication/dac25-e-morphic/Sun, 01 Jun 2025 00:00:00 +0000https://guangyuhu.me/publication/dac25-e-morphic/E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesishttps://guangyuhu.me/publication/dac24-e-syn/Sat, 01 Jun 2024 00:00:00 +0000https://guangyuhu.me/publication/dac24-e-syn/