2 papers
cs.LG2022
Credit Assignment for Trained Neural Networks Based on Koopman Operator Theory
Zhen Liang, Changyuan Zhao, Wanwei Liu +3
Credit assignment problem of neural networks refers to evaluating the credit of each network component to the final outputs. For an untrained neural network, approaches to tackling…
cs.AI2022
Safety Verification for Neural Networks Based on Set-boundary Analysis
Zhen Liang, Dejin Ren, Wanwei Liu +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…