Code

Neural network code rewritten#16

Code

Closed

EetuReijonen wants to merge 32 commits intomaingamma-opt/Gogeta.jl:mainfrom nn-refactoringgamma-opt/Gogeta.jl:nn-refactoringCopy head branch name to clipboard

+1,630-1,980

Commits

Commits on Jan 23, 2024

• started rewriting bound_tightening

  Show description for 2ded7fe
  EetuReijonen

  committed
  2ded7fe

  Copy full SHA for 2ded7fe

• completely rebuilt bound tightening from the ground up

  EetuReijonen

  committed
  75f7518

  Copy full SHA for 75f7518

Commits on Jan 24, 2024

• fully working bound tightening

  EetuReijonen

  committed
  01b500b

  Copy full SHA for 01b500b

• optimized bound tightening code

  EetuReijonen

  committed
  9a449eb

  Copy full SHA for 9a449eb

• non-working distribution parallelization

  EetuReijonen

  committed
  a127507

  Copy full SHA for a127507

• improved distributed bound tightening

  EetuReijonen

  committed
  6d092f7

  Copy full SHA for 6d092f7

Commits on Jan 25, 2024

• testing bound tightening

  EetuReijonen

  committed
  b88b74a

  Copy full SHA for b88b74a

• added new NN formulation

  EetuReijonen

  committed
  417747f

  Copy full SHA for 417747f

Commits on Jan 26, 2024

• changed last layer to use identity activation

  EetuReijonen

  committed
  ca5a824

  Copy full SHA for ca5a824

Commits on Jan 29, 2024

• refactored multiprocessing bound tightening

  EetuReijonen

  committed
  2821774

  Copy full SHA for 2821774

• clarified naming and added global solve state variables

  EetuReijonen

  committed
  e24971d

  Copy full SHA for e24971d

• removed unnecessary files

  EetuReijonen

  committed
  8c68b86

  Copy full SHA for 8c68b86

Commits on Jan 30, 2024

• icorporated new bound tightening into package

  EetuReijonen

  committed
  878792c

  Copy full SHA for 878792c

Commits on Jan 31, 2024

• minor improvements to bound tightening

  EetuReijonen

  committed
  3b8b326

  Copy full SHA for 3b8b326

Commits on Feb 1, 2024

• reorganized NN code

  EetuReijonen

  committed
  05c5290

  Copy full SHA for 05c5290

Commits on Feb 2, 2024

• new compression algorithm

  EetuReijonen

  committed
  dc20ac7

  Copy full SHA for dc20ac7

• changes to compression

  EetuReijonen

  committed
  763143e

  Copy full SHA for 763143e

Commits on Feb 5, 2024

• new compression almost finished

  EetuReijonen

  committed
  12d68df

  Copy full SHA for 12d68df

Commits on Feb 6, 2024

• finished compression algorithm

  EetuReijonen

  committed
  9426965

  Copy full SHA for 9426965

Commits on Feb 8, 2024

• compression finally working

  EetuReijonen

  committed
  3f22ae7

  Copy full SHA for 3f22ae7

• vilhelm's demo working with new code

  EetuReijonen

  committed
  9e6e9d1

  Copy full SHA for 9e6e9d1

Commits on Feb 9, 2024

• working compression without callbacks

  EetuReijonen

  committed
  aa934d5

  Copy full SHA for aa934d5

• added GLPK to nn compression

  EetuReijonen

  committed
  070dde9

  Copy full SHA for 070dde9

• refactoring 'compress' and package contents

  EetuReijonen

  committed
  1593780

  Copy full SHA for 1593780

Commits on Feb 13, 2024

• added bound heuristic tightening LRR

  EetuReijonen

  committed
  38778a1

  Copy full SHA for 38778a1

Commits on Feb 14, 2024

• tests with a large nn

  EetuReijonen

  committed
  4bbd95f

  Copy full SHA for 4bbd95f

Commits on Feb 15, 2024

• added no-r bound tightening and added nn tests

  EetuReijonen

  committed
  9f3188d

  Copy full SHA for 9f3188d

• added options to compression and documentation

  EetuReijonen

  committed
  fe4e691

  Copy full SHA for fe4e691

• fixed no-r bound tightening and added test for it

  EetuReijonen

  committed
  c9a6902

  Copy full SHA for c9a6902

Commits on Feb 16, 2024

• tested no-r tightening

  EetuReijonen

  committed
  245de0a

  Copy full SHA for 245de0a

• added old constraint removal to no-r bound tightening

  EetuReijonen

  committed
  adbbcc6

  Copy full SHA for adbbcc6

• fixed nn tests and modified constraint removal

  EetuReijonen

  committed
  e08d683

  Copy full SHA for e08d683