sisl/NeuralVerification.jl

Issues

• Ai2h and VPolytope construction

  #213 opened a year ago by mykelk
  0

• install issue

  #211 opened a year ago by MehdiZadem
  5

• Bug in write_nnet

  #193 opened a year ago by castrong
  0

• _forward_network_collect collecting input causes Neurify error

  #212 opened 2 years ago by Wei-TianHao
  0

• Bounds not applied for BoundedMixedIntegerLP

  #205 opened 3 years ago by castrong
  0

• Install Issue

  #203 opened 3 years ago by castrong
  5

• Issue with Install

  #201 opened 3 years ago by chelseas
  6

• Storing things in model[:network] instead of model.ext[:network]

  #200 opened 3 years ago by chelseas
  1

• DLV does not always return CounterExampleResult

  #197 opened 4 years ago by p-skaisgiris
  0

• Remove PolytopeComplement docs

  #195 opened 4 years ago by tomerarnon
  0

• How to understand this line ?

  #191 opened 4 years ago by l-outsider
  4

• Namespace conflict error when using alongside Flux

  #187 opened 4 years ago by rlipkis
  0

• ConvDual and FastLip should take HalfSpace output sets

  #109 opened 4 years ago by castrong
  2

• Add sigmoid and tanh activation functions

  #179 opened 4 years ago by mforets
  0

• Conjuction of constraints on output

  #178 opened 4 years ago by preritt
  2

• Reluplex wrong behavior

  #177 opened 4 years ago by AvrahamRaviv
  4

• Extend encoding/model interface

  #172 opened 4 years ago by tomerarnon
  1

• Remove support for PiecewiseLinear

  #173 opened 4 years ago by tomerarnon
  0

• Add performance tests

  #171 opened 4 years ago by tomerarnon
  0

• Relax bounded input restriction

  #170 opened 4 years ago by tomerarnon
  0

• Local Search in Sherlock can be unbounded

  #122 opened 4 years ago by changliuliu
  2

• Reorganize repo

  #169 opened 4 years ago by tomerarnon
  0

• Fix Project.toml compat

  #165 opened 4 years ago by tomerarnon
  0

• Reluval bounds and consistency bug

  #161 opened 4 years ago by castrong
  0

• Make get_bounds take any set.

  #158 opened 4 years ago by tomerarnon
  1

• Silence SCS printout

  #156 opened 4 years ago by tomerarnon
  0

• NSVerify and ILP disagreement - likely ILP unsoundness.

  #149 opened 4 years ago by castrong
  1

• Ai2 "LoadError: Numerically Inconsistent"

  #137 opened 4 years ago by castrong
  11

• Segfault in ExactReach

  #131 opened 4 years ago by castrong
  1

• Ai2{Hyperrectangle} Id layer returns Zonotope

  #141 opened 4 years ago by SebastianGuadalupe
  1

• Box solver forward_layer(L, ::AbstractZonotope) will error for Zonotopes.

  #145 opened 4 years ago by tomerarnon
  0

• Make it easy to change default optimizer

  #157 opened 4 years ago by tomerarnon
  0

• NSVerify and Certify disagreement - likely Certify unsoundness

  #148 opened 4 years ago by castrong
  1

• BaB LoadError: BoundsError: attempt to access 0-element Array{Tuple{Float64,Hyperrectangle},1} at index [1]

  #142 opened 4 years ago by castrong
  0

• NSVerify and ConvDual disagreement - likely ConvDual unsoundness

  #144 opened 4 years ago by castrong
  4

• MaxSens resolution not working

  #140 opened 4 years ago by SebastianGuadalupe
  1

• Sherlock Error ( BoundsError: attempt to access 0-element)

  #134 opened 4 years ago by clazarus
  5

• NSVerify, MIPVerify, ILP: Assertion Failed

  #135 opened 4 years ago by clazarus
  3

• Make MaxSens `partition` an iterator

  #147 opened 4 years ago by tomerarnon
  0

• DLV and BaB disagreement - likely DLV incompleteness

  #143 opened 4 years ago by castrong
  1

• FastLin Bug: AssertionError: radius must not be negative

  #138 opened 4 years ago by castrong
  3

• forward_partition in reachability.jl gives incorrect output for large n.

  #129 opened 4 years ago by castrong
  5

• Error when running write_nnet_test.jl

  #124 opened 4 years ago by SebastianGuadalupe
  3

• Solver timeout (and other config)

  #123 opened 4 years ago by tomerarnon
  2

• Should NSVerify warn if big-M value is too small?

  #118 opened 4 years ago by castrong
  10

• ExactReach stuck in translate

  #114 opened 4 years ago by castrong
  3

• MIPVerify and Sherlock lower bound larger than upper bound failed assertion on simple network

  #111 opened 4 years ago by castrong
  2

• Inconsistent Results between MIPVerify and NSVerify

  #112 opened 4 years ago by castrong
  1

• Sherlock LoadError on small network

  #113 opened 4 years ago by castrong
  0

• BaB gets stuck on an example problem

  #110 opened 4 years ago by castrong
  1