sisl/NeuralVerification.jl

Issues

• Dealing with disjunction of linear constraints

  #67 opened 6 years ago by tomerarnon
  2

• JuMP return code mishandling leading to inconsistency

  #71 opened 4 years ago by tomerarnon
  8

• Planet cannot currently handle HPolytope Input sets

  #31 opened 4 years ago by clazarus
  1

• comparison tolerance in reluplex [and other algorithms]

  #90 opened 5 years ago by tomerarnon
  4

• Update LazySets

  #46 opened 4 years ago by tomerarnon
  5

• MaxSens Excessive Memory Usage

  #42 opened 4 years ago by chelseas
  4

• Hyperrectangle linear_transformation

  #49 opened 4 years ago by tomerarnon
  4

• NSVerify bug

  #64 opened 4 years ago by tomerarnon
  6

• NV.jl overwritten JuMP

  #98 opened 4 years ago
  2

• magic constant in iLP

  #58 opened 6 years ago by tomerarnon
  1

• Error in ConvDual

  #108 opened 4 years ago by castrong
  1

• Implement AI2 using zonotopes

  #87 opened 4 years ago by mforets
  3

• Change Time-Out

  #97 opened 4 years ago by AvrahamRaviv
  1

• Applying layer-bounds in reluplex leads to false :holds

  #82 opened 4 years ago by tomerarnon
  0

• Inconsistent Results from NSVerify, ReluVal, Reluplex

  #70 opened 4 years ago by tclayton0594
  8

• Inconsistent Results between Reluplex and NSVerify

  #107 opened 4 years ago by castrong
  15

• Certify unknown vs violated

  #55 opened 4 years ago by tomerarnon
  1

• function partition in maxSens.jl need to be fixed

  #94 opened 4 years ago by Student2Pro
  5

• Reluplex and wrong counterexample

  #96 opened 5 years ago by AvrahamRaviv
  0

• Inconsistent bounds in Planet

  #83 opened 5 years ago by mforets
  4

• Restrict input/output types for each solver

  #54 opened 6 years ago by tomerarnon
  0

• run examples

  #91 opened 5 years ago by AvrahamRaviv
  0

• CDDLib Breaks NV.jl

  #41 opened 6 years ago by chelseas
  8

• Pkg dependencies problem

  #86 opened 5 years ago by Student2Pro
  2

• which pkg Ai2 rely on ?

  #85 opened 5 years ago by Student2Pro
  6

• Constraints on Certify

  #80 opened 5 years ago by tomerarnon
  2

• Windows compatibility

  #66 opened 5 years ago by tomerarnon
  3

• Max pooling

  #28 opened 5 years ago by mykelk
  1

• Hyperrectangle not defined

  #75 opened 5 years ago by AvrahamRaviv
  2

• Algorithm rewrite

  #61 opened 6 years ago by tomerarnon
  0

• PolytopeComplement outdated

  #62 opened 6 years ago by tomerarnon
  0

• Security warning due to examples env requirements (TensorFlow)

  #69 opened 5 years ago by tomerarnon
  3

• Defining PolytopeComplements For Regression Problem

  #68 opened 5 years ago by tclayton0594
  5

• MaxSens partition overapproximation

  #65 opened 6 years ago by tomerarnon
  0

• Update Documentation

  #60 opened 6 years ago by tomerarnon
  0

• DLV performance cliff(?)

  #59 opened 6 years ago by tomerarnon
  0

• remove add_complementary_set_constraint

  #57 opened 6 years ago by tomerarnon
  1

• Reluplex should support HPolytope input/output

  #30 opened 6 years ago by clazarus
  2

• Default solvers

  #27 opened 6 years ago by tomerarnon
  0

• add_complementary_set_constraint! has inconsistent behavior

  #32 opened 6 years ago by clazarus
  2

• :Unknown should be :unknown

  #53 opened 6 years ago by tomerarnon
  0

• zero_objective! not necessary

  #51 opened 6 years ago by tomerarnon
  3

• Update JuMP

  #45 opened 6 years ago by tomerarnon
  5

• Encode some output constraints as "PolytopeComplement"

  #44 opened 6 years ago by tomerarnon
  14

• SAT/UNSAT to holds/violated

  #38 opened 6 years ago by mykelk
  11

• Tried to Use Ai2 with HPolytopes and Encountered Errors

  #36 opened 6 years ago by chelseas
  0

• parameterizing Layer removes need for GeneralAct

  #40 opened 6 years ago by tomerarnon
  0

• import NNLib for activation functions, and increased future compatibility with Flux.

  #39 opened 6 years ago by tomerarnon
  0

• Reluplex is failing a sanity test

  #29 opened 6 years ago by clazarus
  0

• Elastic filtering's unused o

  #26 opened 6 years ago by mykelk
  0