Shaojun Deng

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 1

Top Topics

Approximation Error

Back Propagation

Multilayer Perceptron

Bp Neural Network

Top Venues

Publications

Zhen Liang, Taoran Wu, Ran Zhao, Bai Xue, Ji Wang, Wenjing Yang, Shaojun Deng, Wanwei Liu
UR4NNV: Neural Network Verification, Under-approximation Reachability Works! CoRR (2024)