Xinmin Duan

Publication Activity (10 Years)

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

Top Topics

Feasible Solution

Feedforward Neural Networks

Back Propagation

Top Venues

Publications

Liang Zhao, Xinmin Duan, Chenglong Yang, Yuehao Liu, Yansong Dong, Xiaobing Wang, Wensheng Wang
Efficient verification of neural networks based on neuron branching and LP abstraction. Neurocomputing 596 (2024)