Code

Attack#848

Code

Open

mayaswissa wants to merge 69 commits intoNeuralNetworkVerification:masterNeuralNetworkVerification/Marabou:masterfrom mayaswissa:attackmayaswissa/Marabou:attackCopy head branch name to clipboard

+982-116

Commits

Commits on Jun 15, 2024

• add attack files

  mayaswissa

  committed
  b94fdde

  Copy full SHA for b94fdde

Commits on Jun 18, 2024

• changes for attack

  mayaswissa

  committed
  f7f4fdc

  Copy full SHA for f7f4fdc

Commits on Jun 19, 2024

• cmake

  mayaswissa

  committed
  fb07f91

  Copy full SHA for fb07f91

• fix

  mayaswissa

  committed
  d7e67ef

  Copy full SHA for d7e67ef

Commits on Jul 10, 2024

• all

  mayaswissa

  committed
  96f31ef

  Copy full SHA for 96f31ef

• install torch

  mayaswissa

  committed
  502118c

  Copy full SHA for 502118c

• fix attack and torch

  mayaswissa

  committed
  aac8eb1

  Copy full SHA for aac8eb1

• torch

  mayaswissa

  committed
  654619b

  Copy full SHA for 654619b

• fix attack and torch

  mayaswissa

  committed
  4cad1dc

  Copy full SHA for 4cad1dc

• check nlr null

  mayaswissa

  committed
  ad2cb59

  Copy full SHA for ad2cb59

Commits on Jul 13, 2024

• output bounds check

  mayaswissa

  committed
  336c3dc

  Copy full SHA for 336c3dc

• onnexParser 975 &

  mayaswissa

  committed
  1b23749

  Copy full SHA for 1b23749

• check _networkLevelReasoner not null in Engine.cpp

  mayaswissa

  committed
  0e1f9a1

  Copy full SHA for 0e1f9a1

• minor changes

  mayaswissa

  committed
  f524517

  Copy full SHA for f524517

Commits on Jul 14, 2024

• minor changes

  mayaswissa

  committed
  367abaa

  Copy full SHA for 367abaa

Commits on Jul 15, 2024

• change to cmake cluster

  mayaswissa

  committed
  d159b78

  Copy full SHA for d159b78

Commits on Jul 17, 2024

• fix activations

  mayaswissa

  committed
  5791447

  Copy full SHA for 5791447

Commits on Jul 23, 2024

• fix bounds and output, improve loss and verify customDNN

  mayaswissa

  committed
  7051166

  Copy full SHA for 7051166

• change num iters and CMakeLists.txt for cluster.

  mayaswissa

  committed
  7c6385f

  Copy full SHA for 7c6385f

Commits on Jul 29, 2024

• maxPool and improve LR

  mayaswissa

  committed
  476c519

  Copy full SHA for 476c519

• update DEFAULT_NUM_RESTARTS

  mayaswissa

  committed
  7b69540

  Copy full SHA for 7b69540

Commits on Jul 30, 2024

• find delta to find example

  mayaswissa

  committed
  bc1375d

  Copy full SHA for bc1375d

• improve loss

  mayaswissa

  committed
  51c7090

  Copy full SHA for 51c7090

Commits on Aug 1, 2024

• pgd class &

  mayaswissa

  committed
  1102cbf

  Copy full SHA for 1102cbf

Commits on Aug 10, 2024

• fix customDNN class &

  mayaswissa

  committed
  7cbe917

  Copy full SHA for 7cbe917

Commits on Aug 18, 2024

• fix customDNN

  mayaswissa

  committed
  1d19289

  Copy full SHA for 1d19289

Commits on Aug 29, 2024

• exit if attack succeeded

  mayaswissa

  committed
  343bbbf

  Copy full SHA for 343bbbf

• change default restarts

  mayaswissa

  committed
  61d1cbf

  Copy full SHA for 61d1cbf

• change default restarts and iterations

  mayaswissa

  committed
  53738b6

  Copy full SHA for 53738b6

• remove prints

  mayaswissa

  committed
  8b7aeb8

  Copy full SHA for 8b7aeb8

• change default restarts

  mayaswissa

  committed
  def3a1c

  Copy full SHA for def3a1c

• change default restarts

  mayaswissa

  committed
  0ce47ba

  Copy full SHA for 0ce47ba

• change default restarts

  mayaswissa

  committed
  6b17d94

  Copy full SHA for 6b17d94

• change default restarts

  mayaswissa

  committed
  3b70087

  Copy full SHA for 3b70087

Commits on Aug 31, 2024

• change default restarts

  mayaswissa

  committed
  5357411

  Copy full SHA for 5357411

Commits on Sep 11, 2024

• implementation for backward of maxpool

  idan0610

  committed
  a8a167d

  Copy full SHA for a8a167d

Commits on Sep 15, 2024

• bug fix in CustomMaxPool backward + extract solution from PGD attack if success (buggy)

  idan0610

  committed
  8977cc9

  Copy full SHA for 8977cc9

• Possible fix for building bug

  idan0610

  committed
  d5b708c

  Copy full SHA for d5b708c

• bug fix in CustomMaxPool backward + extract solution from PGD attack if success (buggy)

  idan0610

  committed
  4683d77

  Copy full SHA for 4683d77

• Merge remote-tracking branch 'origin/attack' into attack

  Show description for 5e9fa7b
  idan0610

  committed
  5e9fa7b

  Copy full SHA for 5e9fa7b

• minor

  idan0610

  committed
  a3b8d33

  Copy full SHA for a3b8d33

Commits on Sep 16, 2024

• fix advInput PGD.cpp

  mayaswissa

  committed
  780318a

  Copy full SHA for 780318a

• improve loss

  mayaswissa

  committed
  c9d75ad

  Copy full SHA for c9d75ad

• fix _findAdvExample

  mayaswissa

  committed
  0680f21

  Copy full SHA for 0680f21

Commits on Nov 5, 2024

• v

  mayaswissa

  committed
  c5f0207

  Copy full SHA for c5f0207

Commits on Nov 9, 2024

• changes for pull request

  mayaswissa

  committed
  e091387

  Copy full SHA for e091387

Commits on Nov 12, 2024

• add timeout

  mayaswissa

  committed
  a91dcf3

  Copy full SHA for a91dcf3

• timeout

  mayaswissa

  committed
  192b414

  Copy full SHA for 192b414

• timeout

  mayaswissa

  committed
  57d1845

  Copy full SHA for 57d1845

• timeout

  mayaswissa

  committed
  31c32eb

  Copy full SHA for 31c32eb

Commits on Nov 14, 2024

• CUSTOM_LOG

  mayaswissa

  committed
  1099e15

  Copy full SHA for 1099e15

Commits on Nov 25, 2024

• add build torch flag

  mayaswissa

  committed
  f54b12f

  Copy full SHA for f54b12f

Commits on Nov 26, 2024

• ADD #ifdef BUILD_TORCH

  mayaswissa

  committed
  4e0b69d

  Copy full SHA for 4e0b69d

• CMakeLists.txt

  mayaswissa

  committed
  6b6711e

  Copy full SHA for 6b6711e

• CMakeLists.txt

  mayaswissa

  committed
  18f367d

  Copy full SHA for 18f367d

• CMakeLists.txt

  mayaswissa

  committed
  105a769

  Copy full SHA for 105a769

• CMakeLists.txt BUILD_TORCH ON

  mayaswissa

  committed
  42cc2f6

  Copy full SHA for 42cc2f6

Commits on Dec 6, 2024

• CMakeLists.txt : set(TORCH_CXX_FLAGS "-Wno-error=array-bounds")

  Show description for a5a6ff6
  mayaswissa

  committed
  a5a6ff6

  Copy full SHA for a5a6ff6

• change PGD logging

  mayaswissa

  committed
  174bb45

  Copy full SHA for 174bb45

• ENGINE_LOGGING, CUSTOM_DNN_LOGGING, PGD_LOG=true

  mayaswissa

  committed
  7f4565c

  Copy full SHA for 7f4565c

Commits on Dec 11, 2024

• change model in PGD to std::unique_ptr<CustomDNN> _model.

  Show description for 46011cf
  mayaswissa

  committed
  46011cf

  Copy full SHA for 46011cf

Commits on Dec 16, 2024

• Fix memory leak + change default for running pgd attack to false

  idan0610

  committed
  58723cc

  Copy full SHA for 58723cc

• remove vscode files , Marabou_LOG to LOG , sources.popBack(); in CustomDNN.cpp, ATTACK_SAT to SAT,

  mayaswissa

  committed
  36d5b71

  Copy full SHA for 36d5b71

• CHANGELOG.md

  mayaswissa

  committed
  ddb068d

  Copy full SHA for ddb068d

Commits on Dec 17, 2024

• PGD_LOGGING, CUSTOM_DNN_LOGGING = false

  mayaswissa

  committed
  77041b5

  Copy full SHA for 77041b5

• Engine.cpp #ifdef BIULD_TORCH

  mayaswissa

  committed
  8bba518

  Copy full SHA for 8bba518

• change attack time log

  mayaswissa

  committed
  dbd57d5

  Copy full SHA for dbd57d5

• change attack time log

  mayaswissa

  committed
  88c90d5

  Copy full SHA for 88c90d5

Commits on Dec 18, 2024

• change timeout attack error

  mayaswissa

  committed
  d870652

  Copy full SHA for d870652