Chengwu Liu

According to our database, Chengwu Liu authored at least 4 papers between 2020 and 2023.

Collaborative distances:

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

2023

FIMO: A Challenge Formal Dataset for Automated Theorem Proving.

Chengwu Liu, Jianhao Shen, Huajian Xin, Zhengying Liu, Ye Yuan, Haiming Wang, Wei Ju, Chuanyang Zheng, Yichun Yin, Lin Li, Ming Zhang, Qun Liu

CoRR, 2023

Deep Learning for Compressed Sensing-Based Blade Vibration Reconstruction From Sub-Sampled Tip-Timing Signals.

Zhongsheng Chen, Hao Sheng, Lianying Liao, Chengwu Liu, Yeping Xiong

IEEE Access, 2023

2021

Optimization of cogging torque in permanent magnet motors based on parameter sensitivity and Kriging model.

Chengwu Liu, Ming Wu, Ping Wu, Zhiliang Zhu

J. Comput. Methods Sci. Eng., 2021

2020

Comparison of the Therapeutic Effects of Tension Band with Cannulated Screw and Tension Band with Kirschner Wire on Patella Fracture.

Chengwu Liu, Haitao Ren, Chunyan Wan, Jianlin Ma

Comput. Math. Methods Medicine, 2020