Skip to content

Attack #848

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
mayaswissa wants to merge 70 commits into
base: master
Choose a base branch
from
Open

Attack #848

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
70 commits
Select commit Hold shift + click to select a range
b94fdde
add attack files
mayaswissa Jun 15, 2024
f7f4fdc
changes for attack
mayaswissa Jun 18, 2024
fb07f91
cmake
mayaswissa Jun 19, 2024
d7e67ef
fix
mayaswissa Jun 19, 2024
96f31ef
all
mayaswissa Jun 25, 2024
502118c
install torch
mayaswissa Jun 26, 2024
aac8eb1
fix attack and torch
mayaswissa Jul 8, 2024
654619b
torch
mayaswissa Jul 8, 2024
4cad1dc
fix attack and torch
mayaswissa Jul 10, 2024
ad2cb59
check nlr null
mayaswissa Jul 10, 2024
336c3dc
output bounds check
mayaswissa Jul 13, 2024
1b23749
onnexParser 975 &
mayaswissa Jul 13, 2024
0e1f9a1
check _networkLevelReasoner not null in Engine.cpp
mayaswissa Jul 13, 2024
f524517
minor changes
mayaswissa Jul 13, 2024
367abaa
minor changes
mayaswissa Jul 14, 2024
d159b78
change to cmake cluster
mayaswissa Jul 15, 2024
5791447
fix activations
mayaswissa Jul 17, 2024
7051166
fix bounds and output, improve loss and verify customDNN
mayaswissa Jul 23, 2024
7c6385f
change num iters and CMakeLists.txt for cluster.
mayaswissa Jul 23, 2024
476c519
maxPool and improve LR
mayaswissa Jul 29, 2024
7b69540
update DEFAULT_NUM_RESTARTS
mayaswissa Jul 29, 2024
bc1375d
find delta to find example
mayaswissa Jul 30, 2024
51c7090
improve loss
mayaswissa Jul 30, 2024
1102cbf
pgd class &
mayaswissa Aug 1, 2024
7cbe917
fix customDNN class &
mayaswissa Aug 10, 2024
1d19289
fix customDNN
mayaswissa Aug 18, 2024
343bbbf
exit if attack succeeded
mayaswissa Aug 29, 2024
61d1cbf
change default restarts
mayaswissa Aug 29, 2024
53738b6
change default restarts and iterations
mayaswissa Aug 29, 2024
8b7aeb8
remove prints
mayaswissa Aug 29, 2024
def3a1c
change default restarts
mayaswissa Aug 29, 2024
0ce47ba
change default restarts
mayaswissa Aug 29, 2024
6b17d94
change default restarts
mayaswissa Aug 29, 2024
3b70087
change default restarts
mayaswissa Aug 29, 2024
5357411
change default restarts
mayaswissa Aug 31, 2024
a8a167d
implementation for backward of maxpool
idan0610 Sep 11, 2024
8977cc9
bug fix in CustomMaxPool backward + extract solution from PGD attack …
idan0610 Sep 15, 2024
d5b708c
Possible fix for building bug
idan0610 Sep 15, 2024
4683d77
bug fix in CustomMaxPool backward + extract solution from PGD attack …
idan0610 Sep 15, 2024
5e9fa7b
Merge remote-tracking branch 'origin/attack' into attack
idan0610 Sep 15, 2024
a3b8d33
minor
idan0610 Sep 15, 2024
780318a
fix advInput PGD.cpp
mayaswissa Sep 16, 2024
c9d75ad
improve loss
mayaswissa Sep 16, 2024
0680f21
fix _findAdvExample
mayaswissa Sep 16, 2024
c5f0207
v
mayaswissa Nov 5, 2024
e091387
changes for pull request
mayaswissa Nov 9, 2024
a91dcf3
add timeout
mayaswissa Nov 12, 2024
192b414
timeout
mayaswissa Nov 12, 2024
57d1845
timeout
mayaswissa Nov 12, 2024
31c32eb
timeout
mayaswissa Nov 12, 2024
1099e15
CUSTOM_LOG
mayaswissa Nov 14, 2024
f54b12f
add build torch flag
mayaswissa Nov 25, 2024
4e0b69d
ADD #ifdef BUILD_TORCH
mayaswissa Nov 26, 2024
6b6711e
CMakeLists.txt
mayaswissa Nov 26, 2024
18f367d
CMakeLists.txt
mayaswissa Nov 26, 2024
105a769
CMakeLists.txt
mayaswissa Nov 26, 2024
42cc2f6
CMakeLists.txt BUILD_TORCH ON
mayaswissa Nov 26, 2024
a5a6ff6
CMakeLists.txt : set(TORCH_CXX_FLAGS "-Wno-error=array-bounds")
mayaswissa Dec 6, 2024
174bb45
change PGD logging
mayaswissa Dec 6, 2024
7f4565c
ENGINE_LOGGING, CUSTOM_DNN_LOGGING, PGD_LOG=true
mayaswissa Dec 6, 2024
46011cf
change model in PGD to std::unique_ptr<CustomDNN> _model.
mayaswissa Dec 11, 2024
58723cc
Fix memory leak + change default for running pgd attack to false
idan0610 Dec 16, 2024
36d5b71
remove vscode files , Marabou_LOG to LOG , sources.popBack(); in Cust…
mayaswissa Dec 16, 2024
ddb068d
CHANGELOG.md
mayaswissa Dec 16, 2024
77041b5
PGD_LOGGING, CUSTOM_DNN_LOGGING = false
mayaswissa Dec 17, 2024
8bba518
Engine.cpp #ifdef BIULD_TORCH
mayaswissa Dec 17, 2024
dbd57d5
change attack time log
mayaswissa Dec 17, 2024
88c90d5
change attack time log
mayaswissa Dec 17, 2024
d870652
change timeout attack error
mayaswissa Dec 18, 2024
725327f
some bug fixes
idan0610 Mar 11, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions .gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -35,6 +35,7 @@ _deps
/tools/protobuf*
/tools/OpenBLAS*
/tools/onnx*
/tools/libtorch*


build
Expand Down
3 changes: 3 additions & 0 deletions CHANGELOG.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -39,6 +39,9 @@
* Added support for creating constraints using the overloaded syntax `<=`, `==` etc. in
the Python backend. See `maraboupy/examples/7_PythonicAPI.py` for details.

* Added support for adversarial attacks to quickly produce a counterexample, in the case
* of satisfiable queries.

## Version 1.0.0

* Initial versioned release
Loading