A Framework Based Isolation Forest for Detecting Anomalies in Natural Gas Production. - Shujuan Chen; Zhenjia Wang; Liping Liu; Yang Liu; Hu Chen; Xichen Tang (ATIS, 2021)

Detecting Anomalies in Natural Gas Production: A Boosting Tree Based Model. - Sibo Yang; Zhenjia Wang; Liping Liu; Yang Liu; Hu Chen; Xichen Tang (ATIS, 2021)

Systematic evaluation of abnormal detection methods on gas well sensor data. - Xichen Tang; Jinlong Wang; Ye Zhu 002; Robin Doss; Xin Han (ISCC, 2021)

A Data-Driven Framework for Identifying Abnormal Status in Natural Gas Wells. - Yang Cao 019; Yixiao Ma; Xichen Tang; Razeen A Rasheed; Hong Xian Li (ADMA (1), 2024)

AI for Mathematics Mathematical Formalized Problem Solving and Theorem Proving in Different Fields in Lean4. - Xichen Tang (CoRR, 2024)

A Comprehensive Survey of the Lean 4 Theorem Prover: Architecture, Applications, and Advances. - Xichen Tang (CoRR, 2025)