-
Notifications
You must be signed in to change notification settings - Fork 0
/
results.txt
143 lines (137 loc) · 2.41 KB
/
results.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
Test cases for which adversarial examples found: conv1 1st, fc2 2nd
1. Basic Zonotope, no optimization
Evaluating network fc1...
not verified
not verified
Evaluating network fc2...
not verified
not verified
Evaluating network fc3...
verified
verified
Evaluating network fc4...
not verified
not verified
Evaluating network fc5...
not verified
not verified
Evaluating network conv1...
not verified
not verified
Evaluating network conv2...
verified
not verified
Evaluating network conv3...
verified
not verified
Evaluating network conv4...
verified
not verified
Evaluating network conv5...
not verified
not verified
2. Pruning Zonotope
Evaluating network fc1...
verified
not verified
Evaluating network fc2...
verified
not verified
Evaluating network fc3...
verified
verified
Evaluating network fc4...
not verified
not verified
Evaluating network fc5...
not verified
not verified
Evaluating network conv1...
not verified
not verified
Evaluating network conv2...
verified
not verified
Evaluating network conv3...
verified
not verified
Evaluating network conv4...
verified
not verified
Evaluating network conv5...
not verified
not verified
3. list of lambda
Evaluating network fc1...
verified
not verified
Evaluating network fc2...
verified
not verified
Evaluating network fc3...
verified
verified
Evaluating network fc4...
verified
verified
Evaluating network fc5...
not verified
not verified
Evaluating network conv1...
not verified
not verified
Evaluating network conv2...
verified
verified
Evaluating network conv4...
verified
not verified
Evaluating network conv5...
not verified
not verified
4. Learning lambda (loss: -lower[true_label])
Evaluating network fc1...
verified
Solved
verified
Evaluating network fc2...
verified
not verified
Evaluating network fc3...
verified
verified
Evaluating network fc4...
Solved
verified
Solved
verified
Evaluating network fc5...
not verified
Solved
verified
Evaluating network conv1...
not verified
Solved
verified
Evaluating network conv2...
verified
Solved
verified
Evaluating network conv3...
verified
not verified
Evaluating network conv4...
verified
Solved
verified
Evaluating network conv5...
Solved
verified
Solved
verified
conv3
lr = 0.05, itr = 36
scheduler = torch.optim.lr_scheduler.ReduceLROnPlateau(optimizer, mode='max', factor=0.25, patience=2, verbose=True)
conv3
lr = 0.05, itr = 158
scheduler = torch.optim.lr_scheduler.ReduceLROnPlateau(optimizer, mode='max', factor=0.5, patience=3, verbose=True)