Haokun Li

Publications with FICTION

Conference Papers

1. Zhongyi Wang, Tengjie Lin, Mingshuai Chen, Mingqi Yang, Haokun Li, Xiao Yi, Shengchao Qin, Jianwei Yin (2025). Preguss: It Analyzes, It Specifies, It Verifies. In LMPL 2025. Cite