Weikun He

According to our database, Weikun He authored at least 4 papers between 2016 and 2026.

Collaborative distances:

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

2026

Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics.

Junqi Liu, Zihao Zhou, Zekai Zhu, Marco Dos Santos, Weikun He, Jiawei Liu, Ran Wang, Yunzhou Xie, Junqiao Zhao, Qiufeng Wang, Lihong Zhi, Jia Li, Wenda Li

CoRR, January, 2026

Target Detection in Wind Farm Clutter for Short-CPI Airborne Radar Based on Spatiotemporal Feature Fusion.

Jilong Zhao, Weikun He, Yichuan Luo

IEEE Trans. Aerosp. Electron. Syst., 2026

2024

Motion Clutter Suppression for Non-Cooperative Target Identification Based on Frequency Correlation Dual-SVD Reconstruction.

Weikun He, Yichuan Luo, Xiaoxiao Shang

Sensors, August, 2024

2016

Thermal characterization of planar high temperature power module packages with sintered nanosilver interconnection.

David Berry, Adrian Townsend, Weikun He, Hanguang Zheng, Khai D. T. Ngo, Guo-Quan Lu

Microelectron. Reliab., 2016