Predicting Lemmas in Generalization of IC3. - Yuheng Su; Qiusong Yang; Yiwei Ci (DAC, 2024)

A Time-Aware Recommendation Model with Social Impact. - Yuheng Su; Yi Zhu 008; Mei Song; Weichao He; Guosheng Hao (DSA, 2024)

The rIC3 Hardware Model Checker. - Yuheng Su; Qiusong Yang; Yiwei Ci; Tianjun Bu; Ziyu Huang (CAV (1), 2025)

Deeply Optimizing the SAT Solver for the IC3 Algorithm. - Yuheng Su; Qiusong Yang; Yiwei Ci; Yingcheng Li; Tianjun Bu; Ziyu Huang (CAV (1), 2025)

Extended CTG Generalization and Dynamic Adjustment of Generalization Strategies in IC3. - Yuheng Su; Qiusong Yang; Yiwei Ci; Ziyu Huang (CoRR, 2025)