Learning from Failures: Translation of Natural Language Requirements into Linear Temporal Logic with Large Language Models. - Yilongfei Xu; Jincao Feng; Weikai Miao (QRS, 2024)

S3DA: A 3D Point Cloud Based PCB Solder Defect Detection Algorithm. - Yilongfei Xu; Zhewei Wang; Jinhao Liang; Yueling Zhang; Jincao Feng; Weikai Miao; Jiangtao Wang 009; Geguang Pu (SFPVV, 2024)