TY  - RPRT
TI  - A-IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model Checking
AU  - Xiaofeng Zhou
AU  - Guangyu Hu
AU  - Hongce Zhang
AU  - Wei Zhang
PY  - 2026
UR  - https://arxiv.org/abs/2604.21688
ID  - 2604.21688
ER  -