Shaojun Deng

According to our database, Shaojun Deng authored at least 2 papers between 2024 and 2025.

Collaborative distances:

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

2025

UR4NNV: Neural Network Verification, Under-approximation Reachability Works!

Zhen Liang, Taoran Wu, Ran Zhao, Bai Xue, Ji Wang, Wenjing Yang, Shaojun Deng, Wanwei Liu

Proceedings of the International Joint Conference on Neural Networks, 2025

2024

Runtime Verification of Neural-Symbolic Systems.

Shaojun Deng, Wanwei Liu, Miaomiao Zhang

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2024