Xichen Tang

According to our database, Xichen Tang authored at least 6 papers between 2021 and 2025.

Collaborative distances:

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

2025

A Comprehensive Survey of the Lean 4 Theorem Prover: Architecture, Applications, and Advances.

Xichen Tang

CoRR, January, 2025

2024

AI for Mathematics Mathematical Formalized Problem Solving and Theorem Proving in Different Fields in Lean4.

Xichen Tang

CoRR, 2024

A Data-Driven Framework for Identifying Abnormal Status in Natural Gas Wells.

Yang Cao, Yixiao Ma, Xichen Tang, Razeen A Rasheed, Hong Xian Li

Proceedings of the Advanced Data Mining and Applications - 20th International Conference, 2024

2021

Systematic evaluation of abnormal detection methods on gas well sensor data.

Xichen Tang, Jinlong Wang, Ye Zhu, Robin Doss, Xin Han

Proceedings of the IEEE Symposium on Computers and Communications, 2021

Detecting Anomalies in Natural Gas Production: A Boosting Tree Based Model.

Sibo Yang, Zhenjia Wang, Liping Liu, Yang Liu, Hu Chen, Xichen Tang

Proceedings of the Applications and Techniques in Information Security, 2021

A Framework Based Isolation Forest for Detecting Anomalies in Natural Gas Production.

Shujuan Chen, Zhenjia Wang, Liping Liu, Yang Liu, Hu Chen, Xichen Tang

Proceedings of the Applications and Techniques in Information Security, 2021