Name | Version | Summary | date |
---|---|---|---|
verifiNN | 0.0.0.dev10 | A package for robustness verification of neural networks using optimization methods. | 2023-06-03 19:32:27 |
PICOS | 2.4.17 | A Python interface to conic optimization solvers. | 2023-03-26 08:04:53 |
hour | day | week | total |
---|---|---|---|
11 | 895 | 9837 | 248496 |