Code

Improvements to apply valid splits#40

Code

Merged

guykatzz merged 11 commits intomasterNeuralNetworkVerification/Marabou:masterfrom bound_tighteningNeuralNetworkVerification/Marabou:bound_tighteningCopy head branch name to clipboardMay 16, 2018

+24-76

Commits

Commits on May 13, 2018

• new way for performing bound tightening

  guykatzz

  committed
  3c17bdf

  Copy full SHA for 3c17bdf

Commits on May 15, 2018

• cleanup. Control the 3 kinds of explicit basis bound tightenings from

  Show description for d53fb7e
  GuyKatzHuji

  committed
  d53fb7e

  Copy full SHA for d53fb7e

• bug fix

  GuyKatzHuji

  committed
  498d323

  Copy full SHA for 498d323

• undo change

  GuyKatzHuji

  committed
  acdb625

  Copy full SHA for acdb625

• allocate work memory once and for all

  GuyKatzHuji

  committed
  d9697b3

  Copy full SHA for d9697b3

• better statistics: breakdown of bounds learned according to the method

  Show description for 4de4cd6
  GuyKatzHuji

  committed
  4de4cd6

  Copy full SHA for 4de4cd6

Commits on May 16, 2018

• refactored pivot-row bound tightening:

  Show description for afc9610
  GuyKatzHuji

  committed
  afc9610

  Copy full SHA for afc9610

• more efficient constraint-matrix bound tightening

  GuyKatzHuji

  committed
  4f6bd9c

  Copy full SHA for 4f6bd9c

• Merge branch 'master' into bound_tightening

  GuyKatzHuji

  committed
  a464560

  Copy full SHA for a464560

• Merge branch 'master' into bound_tightening

  GuyKatzHuji

  committed
  43662d0

  Copy full SHA for 43662d0

• a more efficient version of "apply valid split"

  GuyKatzHuji

  committed
  5b16c54

  Copy full SHA for 5b16c54