Issues

• _forward_network_collect collecting input causes Neurify error

  sisl/NeuralVerification.jl#212 · Filter by author Wei-TianHao opened on Mar 23, 2023

• Bounds not applied for BoundedMixedIntegerLP

  sisl/NeuralVerification.jl#205 · Filter by author castrong opened on May 30, 2022

• Install Issue

  sisl/NeuralVerification.jl#203 · Filter by author castrong opened on May 30, 2022
  5

• Issue with Install

  sisl/NeuralVerification.jl#201 · Filter by author chelseas opened on Apr 12, 2022
  6

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

  sisl/NeuralVerification.jl#200 · Filter by author chelseas opened on Dec 15, 2021
  1

• DLV does not always return CounterExampleResult

  sisl/NeuralVerification.jl#197 · Filter by author p-skaisgiris opened on Jun 15, 2021

• Remove PolytopeComplement docs

  sisl/NeuralVerification.jl#195 · Filter by author tomerarnon opened on Jun 9, 2021

• Namespace conflict error when using alongside Flux

  sisl/NeuralVerification.jl#187 · Filter by author rlipkis opened on Mar 29, 2021

• Conjuction of constraints on output

  sisl/NeuralVerification.jl#178 · Filter by author preritt opened on Oct 6, 2020
  2

• Remove support for PiecewiseLinear

  sisl/NeuralVerification.jl#173 · Filter by author tomerarnon opened on Sep 2, 2020

• Add performance tests

  sisl/NeuralVerification.jl#171 · Filter by author tomerarnon opened on Sep 1, 2020

• Relax bounded input restriction

  sisl/NeuralVerification.jl#170 · Filter by author tomerarnon opened on Sep 1, 2020

• Reorganize repo

  sisl/NeuralVerification.jl#169 · Filter by author tomerarnon opened on Sep 1, 2020

• Fix Project.toml compat

  sisl/NeuralVerification.jl#165 · Filter by author tomerarnon opened on Aug 27, 2020

• Make it easy to change default optimizer

  sisl/NeuralVerification.jl#157 · Filter by author tomerarnon opened on Aug 10, 2020

• Make MaxSens partition an iterator

  sisl/NeuralVerification.jl#147 · Filter by author tomerarnon opened on Aug 3, 2020

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

  pressing issue
  sisl/NeuralVerification.jl#145 · Filter by author tomerarnon opened on Aug 3, 2020

• Ai2{Hyperrectangle} Id layer returns Zonotope

  pressing issue
  sisl/NeuralVerification.jl#141 · Filter by author SebastianGuadalupe opened on Aug 3, 2020
  1

• Ai2 "LoadError: Numerically Inconsistent"

  dependencies
  sisl/NeuralVerification.jl#137 · Filter by author castrong opened on Jul 30, 2020
  11

• Segfault in ExactReach

  dependencies
  sisl/NeuralVerification.jl#131 · Filter by author castrong opened on Jul 25, 2020
  1

• Solver timeout (and other config)

  enhancement
  sisl/NeuralVerification.jl#123 · Filter by author tomerarnon opened on Jul 21, 2020
  2

• comparison tolerance in reluplex [and other algorithms]

  pressing issue
  sisl/NeuralVerification.jl#90 · Filter by author tomerarnon opened on Feb 26, 2020
  4

• Dealing with disjunction of linear constraints

  enhancement
  sisl/NeuralVerification.jl#67 · Filter by author tomerarnon opened on Jun 14, 2019
  2

• PolytopeComplement outdated

  sisl/NeuralVerification.jl#62 · Filter by author tomerarnon opened on Apr 2, 2019

• Algorithm rewrite

  enhancement
  sisl/NeuralVerification.jl#61 · Filter by author tomerarnon opened on Apr 2, 2019