Comprehensive study on complex-valued ZNN models activated by novel nonlinear functions for dynamic complex linear equations. - Jianhua Dai; Yiwei Li 006; Lin Xiao 002; Lei Jia; Qing Liao 001; Jichun Li 002 (Inf. Sci., 2021)

Zeroing Neural Network for Time-Varying Linear Equations With Application to Dynamic Positioning. - Jianhua Dai; Yiwei Li 006; Lin Xiao 002; Lei Jia (IEEE Trans. Ind. Informatics, 2022)

ZNN With Fuzzy Adaptive Activation Functions and Its Application to Time-Varying Linear Matrix Equation. - Jianhua Dai; Xing Yang; Lin Xiao 002; Lei Jia; Yiwei Li 006 (IEEE Trans. Ind. Informatics, 2022)

Design and Analysis of Two Nonlinear ZNN Models for Matrix LR and QR Factorization With Application to 3-D Moving Target Location. - Lin Xiao 002; Yongjun He 001; Yiwei Li 006; Jianhua Dai (IEEE Trans. Ind. Informatics, 2023)

Design and Analysis of a Novel Distributed Gradient Neural Network for Solving Consensus Problems in a Predefined Time. - Lin Xiao 002; Lei Jia; Jianhua Dai; Yingkun Cao; Yiwei Li 006; Quanxin Zhu; Jichun Li 002; Min Liu 008 (IEEE Trans. Neural Networks Learn. Syst., 2024)

Comprehensive Study on Zeroing Neural Network With High-Order Evolutionary Formula, Nonlinear Functions, and Variable Parameter for Time-Changing Matrix Cholesky Decomposition. - Lin Xiao 002; Sida Xiao; Yongjun He 001; Jianhua Dai; Yaonan Wang 001; Yiwei Li 006 (IEEE Trans. Syst. Man Cybern. Syst., 2024)

THINK: Tackling API Hallucinations in LLMs via Injecting Knowledge. - Jiaxin Liu; Yating Zhang; Deze Wang; Yiwei Li 006; Wei Dong 006 (SANER, 2025)

Iterative program synthesis with code knowledge. - Jiaxin Liu; Yiwei Li 006; Jianhua Dai; Rongjia Xu; Yating Zhang; Wei Dong 006 (Inf. Sci., 2025)

CIPAC: A framework of automated software construction based on collective intelligence. - Jiaxin Liu; Yating Zhang; Yiwei Li 006; Tiecheng Ma; Wei Dong 006 (J. Syst. Softw., 2025)

Incremental Verification of Concurrent Programs through Refinement Constraint Adaptation. - Liangze Yin; Yiwei Li 006; Kun Chen; Wei Dong 006; Ji Wang 001 (Proc. ACM Softw. Eng., 2025)