6 citations · 11 across the 7 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
cs.LG2023
An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks
Ye Tao, Wanwei Liu, Fu Song +3
Deep neural networks, (DNNs, a.k.a. NNs), have been widely used in various tasks and have been proven to be successful. However, the accompanied expensive computing and storage cos…
cs.LG2023
Verifying Safety of Neural Networks from Topological Perspectives
Zhen Liang, Dejin Ren, Bai Xue +3
Neural networks (NNs) are increasingly applied in safety-critical systems such as autonomous vehicles. However, they are fragile and are often ill-behaved. Consequently, their beha…
cs.LG2023★ 1 cited
Repairing Deep Neural Networks Based on Behavior Imitation
Zhen Liang, Taoran Wu, Changyuan Zhao +4
The increasing use of deep neural networks (DNNs) in safety-critical systems has raised concerns about their potential for exhibiting ill-behaviors. While DNN verification and test…