Code

Symbolic bound tightening in NLR#249

Code

Merged

guykatzz merged 26 commits intoNeuralNetworkVerification:masterNeuralNetworkVerification/Marabou:masterfrom guykatzz:nlr2guykatzz/Marabou:nlr2Copy head branch name to clipboardApr 27, 2020

+1,017-1,650

Commits

Commits on Apr 1, 2020

• Merge pull request #2 from NeuralNetworkVerification/master

  Show description for 0294146
  guykatzz

  authored
  0294146

  Copy full SHA for 0294146

Commits on Apr 20, 2020

• Merge pull request #4 from NeuralNetworkVerification/master

  Show description for 49d06bf
  guykatzz

  authored
  49d06bf

  Copy full SHA for 49d06bf

• test

  guykatzz

  committed
  3c03339

  Copy full SHA for 3c03339

• basic interval artihmetic bound propagation

  guykatzz

  committed
  bdfb642

  Copy full SHA for bdfb642

• another test case

  guykatzz

  committed
  8f71acb

  Copy full SHA for 8f71acb

Commits on Apr 21, 2020

• initialize an SBT within the NLR. Pass topology, weights and biases

  GuyKatzHuji

  committed
  34b56f5

  Copy full SHA for 34b56f5

• wip

  GuyKatzHuji

  committed
  1cec6f1

  Copy full SHA for 1cec6f1

Commits on Apr 22, 2020

• SBT functionality into NLR

  GuyKatzHuji

  committed
  1919617

  Copy full SHA for 1919617

• wip

  GuyKatzHuji

  committed
  cac046a

  Copy full SHA for cac046a

Commits on Apr 23, 2020

• bug fix

  GuyKatzHuji

  committed
  268279a

  Copy full SHA for 268279a

• Merge pull request #5 from NeuralNetworkVerification/master

  Show description for fe44808
  guykatzz

  authored
  fe44808

  Copy full SHA for fe44808

• Merge pull request #6 from guykatzz/master

  Show description for be21eca
  guykatzz

  authored
  be21eca

  Copy full SHA for be21eca

• cleanup

  GuyKatzHuji

  committed
  8ccc3b0

  Copy full SHA for 8ccc3b0

• Merge branch 'nlr2' of https://github.com/guykatzz/Marabou into nlr2

  GuyKatzHuji

  committed
  c306f42

  Copy full SHA for c306f42

• cleanup

  GuyKatzHuji

  committed
  7aaa6b0

  Copy full SHA for 7aaa6b0

• wip

  GuyKatzHuji

  committed
  0fa06b0

  Copy full SHA for 0fa06b0

• handle eliminated relus

  guykatzz

  committed
  244bb4f

  Copy full SHA for 244bb4f

• cleanup: remove symbolic bound tightener

  guykatzz

  committed
  ee8321c

  Copy full SHA for ee8321c

• oops

  guykatzz

  committed
  a599c8a

  Copy full SHA for a599c8a

• additional cleanup

  guykatzz

  committed
  09de4ce

  Copy full SHA for 09de4ce

• oops

  guykatzz

  committed
  212c8fa

  Copy full SHA for 212c8fa

Commits on Apr 24, 2020

• first unit test

  guykatzz

  committed
  7be76e0

  Copy full SHA for 7be76e0

• unit tests for NLR

  guykatzz

  committed
  34d26b4

  Copy full SHA for 34d26b4

Commits on Apr 26, 2020

• Merge pull request #8 from NeuralNetworkVerification/master

  Show description for f08849c
  guykatzz

  authored
  f08849c

  Copy full SHA for f08849c

• Merge branch 'nlr2'

  GuyKatzHuji

  committed
  7bcc0bb

  Copy full SHA for 7bcc0bb

• Merge branch 'master' into nlr2

  GuyKatzHuji

  committed
  867ab66

  Copy full SHA for 867ab66