Search results

In MILP constraint solving, the tight estimation of big-M value is not implemented

Status: Open.

#36 In dependable-ai/nn-dependability-kit;

· chengchihhong opened on Mar 27, 2019

Octagon not yet supporting BN

Status: Open.

#35 In dependable-ai/nn-dependability-kit;

· chengchihhong opened on Mar 27, 2019

Perturbation loss should support [0, 1] input and [0, 256] input

Status: Open.

#33 In dependable-ai/nn-dependability-kit;

· chengchihhong opened on Mar 25, 2019

For understanding the minimum from optimization methods, prepare timeout option

Status: Open.

#32 In dependable-ai/nn-dependability-kit;

· chengchihhong opened on Mar 25, 2019

PerturbationLoss is written in an awkward way

Status: Open.

#31 In dependable-ai/nn-dependability-kit;

· chengchihhong opened on Mar 22, 2019

The generation of snow in perturbation is implemented wrongly

Status: Open.

#30 In dependable-ai/nn-dependability-kit;

· chengchihhong opened on Mar 22, 2019

Allow counting the set of possible grids in scenario k-projection coverage with constraints

Status: Open.

#29 In dependable-ai/nn-dependability-kit;

· chengchihhong opened on Mar 20, 2019

Incorporate darioizzo/neurostability

Status: Open.

#26 In dependable-ai/nn-dependability-kit;

· impredicative opened on Dec 12, 2018

Use dynamic variable reordering in building runtime monitors

Status: Open.

#23 In dependable-ai/nn-dependability-kit;

· chengchihhong opened on Dec 3, 2018

Choose to use camelLetterStyle of camel_letter_style

Status: Open.

#20 In dependable-ai/nn-dependability-kit;

· chengchihhong opened on Dec 1, 2018

Allow perturbation metric to have a separate function for evaluation of performance drop

Status: Open.

#13 In dependable-ai/nn-dependability-kit;

· chengchihhong opened on Nov 19, 2018

Allow each category to have 10+ items.

Status: Open.

#11 In dependable-ai/nn-dependability-kit;

· chengchihhong opened on Nov 12, 2018