Linxuan He

According to our database, Linxuan He authored at least 6 papers between 2022 and 2025.

Collaborative distances:

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

2025

Efficient Safety Verification of Autonomous Vehicles with Neural Network Operator.

Lingxiang Fan, Linxuan He, Haoyuan Ji, Shuo Feng

CoRR, December, 2025

Towards provable probabilistic safety for scalable embodied AI systems.

Linxuan He, Qing-Shan Jia, Ang Li, Hongyan Sang, Ling Wang, Jiwen Lu, Tao Zhang, Jie Zhou, Yi Zhang, Yisen Wang, Peng Wei, Zhongyuan Wang, Henry X. Liu, Shuo Feng

CoRR, June, 2025

2024

Network model with internal complexity bridges artificial intelligence and neuroscience.

Linxuan He, Yunhui Xu, Weihua He, Yihan Lin, Yang Tian, Yujie Wu, Wenhui Wang, Ziyang Zhang, Junwei Han, Yonghong Tian, Bo Xu, Guoqi Li

Nat. Comput. Sci., August, 2024

Neural Dynamics Pruning for Energy-Efficient Spiking Neural Networks.

Haoyu Huang, Linxuan He, Faqiang Liu, Rong Zhao, Luping Shi

Proceedings of the IEEE International Conference on Multimedia and Expo, 2024

2022

Detection of heavy metals in vegetable soil based on THz spectroscopy.

Wei Lu, Hui Luo, Linxuan He, Wenxuan Duan, Yilin Tao, Xinyi Wang, Shuaishuai Li

Comput. Electron. Agric., 2022

Parameters Optimization of UAV for Insulator Inspection on Power Transmission Line.

Lin Yin, Jing Hu, Wenbin Wang, Jiachen Zou, Linxuan He, Zhou Xiong, Mingjun Liu, Fan Li, Youping Tu

IEEE Access, 2022