Yuheng Su

11 papers A* 2Journal 6Unranked 3

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	CIll: CTI-Guided Invariant Generation via LLMs for Model Checking. CoRR Yuheng Su, Tianjun Bu, Qiusong Yang, Yiwei Ci, Enyuan Tian
2025	—	`conf`	Deeply Optimizing the SAT Solver for the IC3 Algorithm. CAV (1) Yuheng Su, Qiusong Yang, Yiwei Ci, Yingcheng Li, Tianjun Bu, Ziyu Huang
2025	J	`jnl`	Deeply Optimizing the SAT Solver for the IC3 Algorithm. CoRR Yuheng Su, Qiusong Yang, Yiwei Ci, Yingcheng Li, Tianjun Bu, Ziyu Huang
2025	J	`jnl`	Extended CTG Generalization and Dynamic Adjustment of Generalization Strategies in IC3. CoRR Yuheng Su, Qiusong Yang, Yiwei Ci, Ziyu Huang
2025	A*	`conf`	Property-driven Parallel Symbolic Model Checking of LTL. DAC Yuheng Su, Yingcheng Li, Qiusong Yang, Yiwei Ci, Ziyu Huang
2025	—	`conf`	The rIC3 Hardware Model Checker. CAV (1) Yuheng Su, Qiusong Yang, Yiwei Ci, Tianjun Bu, Ziyu Huang
2025	J	`jnl`	The rIC3 Hardware Model Checker. CoRR Yuheng Su, Qiusong Yang, Yiwei Ci, Tianjun Bu, Ziyu Huang
2025	J	`jnl`	Using composite attribute similarity multi-graph convolutional network for recommendation. Appl. Intell. Weichao He, Yi Zhu, Mei Song, Yuheng Su, Guosheng Hao
2024	—	`conf`	A Time-Aware Recommendation Model with Social Impact. DSA Yuheng Su, Yi Zhu, Mei Song, Weichao He, Guosheng Hao
2024	A*	`conf`	Predicting Lemmas in Generalization of IC3. DAC Yuheng Su, Qiusong Yang, Yiwei Ci
2024	J	`jnl`	Predicting Lemmas in Generalization of IC3. CoRR Yuheng Su, Qiusong Yang, Yiwei Ci