dependable-ai nn-dependability-kit issues

dependable-ai / nn-dependability-kit

Toolbox for software dependability engineering of artificial neural networks

GNU Affero General Public License v3.0

34 stars 9 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Bump pillow from 6.0.0 to 9.3.0

#64 dependabot[bot] opened 1 year ago
0
Bump protobuf from 3.7.1 to 3.18.3

#63 dependabot[bot] opened 2 years ago
0
Bump nbconvert from 5.4.1 to 6.5.1

#62 dependabot[bot] opened 2 years ago
0
Bump nbconvert from 5.4.1 to 6.3.0

#61 dependabot[bot] closed 2 years ago
1
Bump mistune from 0.8.4 to 2.0.3

#60 dependabot[bot] opened 2 years ago
0
Bump numpy from 1.16.3 to 1.22.0

#59 dependabot[bot] opened 2 years ago
0
Bump notebook from 5.7.8 to 6.4.12

#58 dependabot[bot] opened 2 years ago
0
Bump notebook from 5.7.8 to 6.4.10

#57 dependabot[bot] closed 2 years ago
1
Bump pillow from 6.0.0 to 9.0.1

#56 dependabot[bot] closed 1 year ago
1
Bump protobuf from 3.7.1 to 3.15.0

#55 dependabot[bot] closed 2 years ago
1
Bump ipython from 7.4.0 to 7.16.3

#54 dependabot[bot] opened 2 years ago
0
Bump pillow from 6.0.0 to 9.0.0

#53 dependabot[bot] closed 2 years ago
1
Bump opencv-python from 4.1.0.25 to 4.2.0.32

#52 dependabot[bot] opened 3 years ago
0
Bump opencv-python from 4.1.0.25 to 4.1.1.26

#51 dependabot[bot] closed 3 years ago
1
Bump pillow from 6.0.0 to 8.3.2

#50 dependabot[bot] closed 2 years ago
1
Bump pillow from 6.0.0 to 8.2.0

#49 dependabot[bot] closed 3 years ago
1
Bump pygments from 2.3.1 to 2.7.4

#48 dependabot[bot] opened 3 years ago
0
Bump jinja2 from 2.10.1 to 2.11.3

#47 dependabot[bot] opened 3 years ago
0
Bump pillow from 6.0.0 to 8.1.1

#46 dependabot[bot] closed 3 years ago
1
Bump bleach from 3.1.0 to 3.3.0

#45 dependabot[bot] opened 3 years ago
0
Bump notebook from 5.7.8 to 6.1.5

#44 dependabot[bot] closed 2 years ago
1
Bump bleach from 3.1.0 to 3.1.4

#43 dependabot[bot] closed 3 years ago
1
Bump bleach from 3.1.0 to 3.1.2

#42 dependabot[bot] closed 4 years ago
1
Bump psutil from 5.6.1 to 5.6.6

#41 dependabot[bot] opened 4 years ago
0
Bump bleach from 3.1.0 to 3.1.1

#40 dependabot[bot] closed 4 years ago
1
ModuleNotFoundError: No module named 'dd'

#39 jaswanthbjk closed 4 years ago
0
Bump pillow from 6.0.0 to 6.2.0

#38 dependabot[bot] closed 3 years ago
1
Write scenarios xml file: fix error in case parent directory does not exist

#37 diveflo closed 5 years ago
0
In MILP constraint solving, the tight estimation of big-M value is not implemented

#36 chengchihhong opened 5 years ago
0
Octagon not yet supporting BN

#35 chengchihhong opened 5 years ago
0
Verification with risk property has an objective to optimize

#34 chengchihhong closed 5 years ago
0
Perturbation loss should support [0, 1] input and [0, 256] input

#33 chengchihhong opened 5 years ago
0
For understanding the minimum from optimization methods, prepare timeout option

#32 chengchihhong opened 5 years ago
0
PerturbationLoss is written in an awkward way

#31 chengchihhong opened 5 years ago
0
The generation of snow in perturbation is implemented wrongly

#30 chengchihhong opened 5 years ago
0
Allow counting the set of possible grids in scenario k-projection coverage with constraints

#29 chengchihhong opened 5 years ago
0
For reading scenarios, omit one entity which records the data source

#28 chengchihhong closed 5 years ago
0
Integrate CPLEX

#27 chengchihhong closed 5 years ago
1
Incorporate darioizzo/neurostability

#26 impredicative opened 5 years ago
1
In the octagon bound computation, the bound of a neuron is not updated accordingly via the help of additional octagon constraints in previous layers

#25 chengchihhong closed 5 years ago
0
Introduce parallelization to allow faster solving of MILP problems.

#24 chengchihhong closed 5 years ago
1
Use dynamic variable reordering in building runtime monitors

#23 chengchihhong opened 5 years ago
0
Add a readme how to install MNIST and GTSRB dataset.

#22 chengchihhong closed 5 years ago
1
Add a separate README on verification problem with large nets + unknown input domain

#21 chengchihhong closed 5 years ago
1
Choose to use camelLetterStyle of camel_letter_style

#20 chengchihhong opened 5 years ago
0
Bring exact solving via MILP back

#19 chengchihhong closed 5 years ago
2
Refactor the input to static analysis engine to avoid directly taking Pytorch models

#18 chengchihhong closed 5 years ago
0
Support batch normalization after nonlinear activation function

#17 chengchihhong closed 5 years ago
1
Support of ELU in static analysis

#16 chengchihhong closed 5 years ago
2
Better support for Tensorflow and Keras

#15 chengchihhong closed 5 years ago
2