Yanzhen Lu

According to our database, Yanzhen Lu authored at least 4 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

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, July, 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, Mingxin Ye, Liping Zhang, Yong Xu, Xinyu Liu, Hao Jiang, Yanzhen Lu

IEEE Trans. Ind. Informatics, February, 2025

Fault Detection for Ex-Core Neutron Detectors in Nuclear Power Plants Using Global-Fused Dynamic Detection Model.

Weiqing Lin, Xiren Miao, Jing Chen, Pengbin Duan, Mingxin Ye, Yong Xu, Xinyu Liu, Hao Jiang, Yanzhen Lu

IEEE Trans. Instrum. Meas., 2025

2024

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, Mingxin Ye, Yong Xu, Xinyu Liu, Hao Jiang, Yanzhen Lu

Knowl. Based Syst., 2024