Code

Backward forward algorithm#845

Code

Open

ido-shm-uel wants to merge 18 commits intoNeuralNetworkVerification:masterNeuralNetworkVerification/Marabou:masterfrom ido-shm-uel:Backward-Forward-Algorithmido-shm-uel/Marabou:Backward-Forward-AlgorithmCopy head branch name to clipboard

+14,511-1,751

Commits

Commits on Oct 1, 2024

• Add files via upload

  Show description for e00d517
  ido-shm-uel

  authored
  e00d517

• Revert last change.

  ido-shm-uel

  authored
  04cc0b1

• Added assginment, store-into-other NLR tests for every activation function.

  ido-shm-uel

  authored
  80be6dc

• Add files via upload

  Show description for 9fbca7b
  ido-shm-uel

  authored
  9fbca7b

• Add files via upload

  Show description for f7aee6d
  ido-shm-uel

  authored
  f7aee6d

• Add files via upload

  Show description for 33f5d5f
  ido-shm-uel

  authored
  33f5d5f

• Add files via upload

  Show description for 6d1c898
  ido-shm-uel

  authored
  6d1c898

• 0-4-0: Implementing symbolic bound tightening for every activation function.

  Show description for ee5dd00
  ido-shm-uel

  authored
  ee5dd00

• 0-4-1: Adding symbolic bound tightening tests for all activation functions.

  Show description for 85fe8f3
  ido-shm-uel

  authored
  85fe8f3

• 0-5-0: Adding rounding constant for LP relaxation propagation.

  Show description for 32d7c52
  ido-shm-uel

  authored
  32d7c52

• 0-5-1: Implementing forward-backward LP propagation algorithm for all activation functions.

  Show description for 5a7c5d8
  ido-shm-uel

  authored
  5a7c5d8

• 0-5-2: Adding forward-backward LP propagation tests for all activation functions.

  Show description for 79f7a84
  ido-shm-uel

  authored
  79f7a84

Commits on Oct 14, 2024

• 0-5---3: Minor fix.

  Show description for a8c238d
  ido-shm-uel

  authored
  a8c238d

Commits on Oct 31, 2024

• 0-5--4: Another fix.

  Show description for b20c410
  ido-shm-uel

  authored
  b20c410

Commits on Nov 6, 2024

• 0-5---5: Fixing fix 0-5--4 for this branch.

  Show description for 0f49553
  ido-shm-uel

  authored
  0f49553

Commits on Nov 12, 2024

• 0-5---6: Corrections in Backward-Forward Algorithm, SBT

  Show description for e7af43d
  ido-shm-uel

  authored
  e7af43d

Commits on Dec 5, 2024

• Merge branch 'NeuralNetworkVerification:master' into Backward-Forward-Algorithm

  ido-shm-uel

  authored
  72e0687

Commits on Dec 13, 2024

• 0-5--7: clang-format

  ido-shm-uel

  committed
  9f4de6c