-
1
Explanations for Neural Networks by Neural Networks
Published 2022-01-01Subjects: Get full text
Article -
2
Neural networks for inference, inference for neural networks
Published 2018“…In this thesis, we consider how neural networks (NNs) can be used to assist with both of these problems. …”
Thesis -
3
Neural network branching for neural network verification
Published 2020“…Formal verification of neural networks is essential for their deployment in safetycritical areas. …”
Journal article -
4
-
5
-
6
-
7
Reductions of ReLU neural networks to linear neural networks and their applications
Published 2022“…In this thesis, we describe reductions of ReLU neural networks to linear neural networks, under various general condition of network architectures, loss functions and datasets. …”
Get full text
Thesis -
8
-
9
-
10
-
11
-
12
-
13
-
14
-
15
-
16
-
17
-
18
-
19
-
20