Code

Steepest edge#1

Code

Merged

rachellim merged 32 commits intomasterNeuralNetworkVerification/Marabou:masterfrom steepest-edgeNeuralNetworkVerification/Marabou:steepest-edgeCopy head branch name to clipboardJul 31, 2017

+729-26

Commits

Commits on Jul 13, 2017

• Skeleton code for steepest edge pivot selection (SteepestEdge.*)

  rachellim

  committed
  ff0520a

• Started writing code for steepest edge, with placeholder functions and test

  rachellim

  committed
  73f5f74

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

  rachellim

  committed
  8c82523

• Have logic for computing max (squared) gradient, need to implement getting and updating of gamma values

  rachellim

  committed
  0e5ff0c

Commits on Jul 14, 2017

• Added skeleton code for initializing and updating gamma values in tableau; implemented initialization. TODO: tests, implement update

  rachellim

  committed
  f27acfc

Commits on Jul 15, 2017

• Added a test for init gamma

  rachellim

  committed
  e50b626

Commits on Jul 17, 2017

• Started implementing update for gamma

  rachellim

  committed
  49086e4

• Trying to debug update gamma function

  rachellim

  committed
  7dcaa4c

Commits on Jul 18, 2017

• Gamma update worked for lp feasible 2. Figure out why / what cases gamma updates to inf and nan for some

  rachellim

  committed
  0e7c5ba

• Seems to work for regress cases (computed manually what gamma should be and checked that it corresponds)

  rachellim

  committed
  6d1715c

Commits on Jul 19, 2017

• Wrote tests on update function (verified by checking against manually - well, matlab - computed values)

  rachellim

  committed
  ce1d86a

• Fixed up tests for update

  rachellim

  committed
  1bf3749

• Added test for selection rule

  rachellim

  committed
  225d546

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

  rachellim

  committed
  49e6be8

• Have logic for computing max (squared) gradient, need to implement getting and updating of gamma values

  rachellim

  committed
  184017f

• Added skeleton code for initializing and updating gamma values in tableau; implemented initialization. TODO: tests, implement update

  rachellim

  committed
  af17332

• Added a test for init gamma

  rachellim

  committed
  7bef25b

• Started implementing update for gamma

  rachellim

  committed
  d8839d6

• Trying to debug update gamma function

  rachellim

  committed
  d5908f9

• Gamma update worked for lp feasible 2. Figure out why / what cases gamma updates to inf and nan for some

  rachellim

  committed
  0badbd5

• Seems to work for regress cases (computed manually what gamma should be and checked that it corresponds)

  rachellim

  committed
  b6444d5

• Wrote tests on update function (verified by checking against manually - well, matlab - computed values)

  rachellim

  committed
  18cdea7

• Fixed up tests for update

  rachellim

  committed
  e8d3268

• Added test for selection rule

  rachellim

  committed
  3c77698

• Resolved merge/rebase conflicts

  rachellim

  committed
  8b15840

• Cleaned up comments

  rachellim

  committed
  4c69ef9

• Added updateGamma to degenerate pivots as well

  rachellim

  committed
  5bfb1ed

• minor changes

  guykatzz

  committed
  cdb3177

• more minor stuff

  guykatzz

  committed
  a3772c2

Commits on Jul 31, 2017

• Saved wokring variables - work, nu, alpha as permanent so no memory leakage

  rachellim

  committed
  05f42cc

• Fixed merge conflicts

  rachellim

  committed
  0554d5b

• Merge branch 'master' into steepest-edge

  rachellim

  authored
  f286005