Fault detection and isolation for multi-type sensors in nuclear power plants via a knowledge-guided spatial-temporal model. - Weiqing Lin; Xiren Miao; Jing Chen 022; Mingxin Ye; Yong Xu; Xinyu Liu 006; Hao Jiang 008; Yanzhen Lu (Knowl. Based Syst., 2024)

Fault Detection for Ex-Core Neutron Detectors in Nuclear Power Plants Using Global-Fused Dynamic Detection Model. - Weiqing Lin; Xiren Miao; Jing Chen 022; Pengbin Duan; Mingxin Ye; Yong Xu; Xinyu Liu 006; Hao Jiang 008; Yanzhen Lu (IEEE Trans. Instrum. Meas., 2025)

ST-SAM: Spatial-Temporal State Adaptation Model for Neutron Detector Fault Detection and Isolation in Nuclear Power Plants. - Weiqing Lin; Xiren Miao; Jing Chen 022; Mingxin Ye; Liping Zhang; Yong Xu; Xinyu Liu 006; Hao Jiang 008; Yanzhen Lu (IEEE Trans. Ind. Informatics, 2025)

Clarifying Before Reasoning: A Coq Prover with Structural Context. - Yanzhen Lu; Hanbin Yang; Xiaodie Wang; Ge Zhang; Biao Li; Chenxu Fu; Chao Li; Yang Yuan; Andrew Chi-Chih Yao (CoRR, 2025)