Commits · b097591a5f9b91befc4c5ccda641bdd841b1bebe · ludwig10_masters_thesis / lp_nn_robustness_verification · GitLab

Snippets Groups Projects

Jan 18, 2023
- build(deps): recompile deps · b097591a
  Björn Ludwig authored Jan 18, 2023
  
  b097591a
- refactor(test_linear_program): fix mypy issues · 765b7727
  Björn Ludwig authored Jan 18, 2023
  
  765b7727
- refactor(optimize): move optimize script to examples and introduce profiling · c2d8ab51
  Björn Ludwig authored Jan 18, 2023
  
  c2d8ab51
- refactor(linear_program): fix mypy issues · 71d56701
  Björn Ludwig authored Jan 18, 2023
  
  71d56701
- refactor(linear_program): fix a docstring · 20e2c529
  Björn Ludwig authored Jan 18, 2023
  
  20e2c529
- refactor(notebook): refine notebook and update to current version · 9cb2be33
  Björn Ludwig authored Jan 18, 2023
  
  9cb2be33
- feat(activation_functions): introduce Identity activation function · 9dac4641
  Björn Ludwig authored Jan 18, 2023
  
  9dac4641
- build(deps): introduce yappi into deps · 4d418063
  Björn Ludwig authored Jan 18, 2023
  
  4d418063
- test(linear_program): extend test suite significantly · 2b51bc41
  Björn Ludwig authored Jan 18, 2023
  
  2b51bc41
- feat(linear_program): replace auxiliary variable by direct objective and thus fix residing issue · 27021f47
  Björn Ludwig authored Jan 18, 2023
  
  27021f47
- test(linear_program): introduce more tests for linear program · 2a4504a7
  Björn Ludwig authored Jan 18, 2023
  
  2a4504a7
- feat(linear_program): introduce generic base class and two classes for original and adapted problem · a17389e2
  Björn Ludwig authored Jan 18, 2023
  
  a17389e2
- refactor(examples): reduce number of parallel jobs again · 0a8b2ae0
  Björn Ludwig authored Jan 18, 2023
  
  0a8b2ae0
- refactor(examples): increase number of parallel jobs · 61df3e7f
  Björn Ludwig authored Jan 18, 2023
  
  61df3e7f
- refactor(examples): reduce instances to what we know (and hope) is solvable · 01f609be
  Björn Ludwig authored Jan 18, 2023
  
  01f609be
- refactor(examples): fix out_features number in example · 347d5767
  Björn Ludwig authored Jan 18, 2023
  
  347d5767
- refactor(examples): adapt find_seeds_and_samples to new data_types location · baf1c1d9
  Björn Ludwig authored Jan 18, 2023
  
  baf1c1d9
- refactor(examples): move data_types only needed for examples to examples.data_types · 16cb87c3
  Björn Ludwig authored Jan 18, 2023
  
  16cb87c3
- refactor(examples): include case 1 again · dbc4c914
  Björn Ludwig authored Jan 18, 2023
  
  dbc4c914
- refactor(examples): finalize script to run overnight · 00f99c67
  Björn Ludwig authored Jan 18, 2023
  
  00f99c67
- refactor(examples): improve logic for filling files and content · b5ca3ede
  Björn Ludwig authored Jan 18, 2023
  
  b5ca3ede
- refactor(examples): improve formatting · 50b98949
  Björn Ludwig authored Jan 18, 2023
  
  50b98949
- refactor(examples): improve file filling · a5b706c2
  Björn Ludwig authored Jan 18, 2023
  
  a5b706c2
- refactor(examples): introduce a semaphor and poper file naming · 8abf980f
  Björn Ludwig authored Jan 18, 2023
  
  8abf980f
- refactor(examples): properly use proc_id · c94e3be8
  Björn Ludwig authored Jan 18, 2023
  
  c94e3be8
- refactor(examples): introduce second parameter to account for number of cpus · 6463cd53
  Björn Ludwig authored Jan 18, 2023
  
  6463cd53
- refactor(examples): reduce checked samples to 100 · 596fd466
  Björn Ludwig authored Jan 18, 2023
  
  596fd466
- refactor(examples): fix seeds creation and write output to files · 777766cc
  Björn Ludwig authored Jan 18, 2023
  
  777766cc
Jan 17, 2023
- refactor(examples): streamline and reduce find_seeds_and_samples to first shot · f7316e16
  Björn Ludwig authored Jan 17, 2023
  
  f7316e16
- refactor(examples): introduce an explanatory call to construct_out_features_counts · 7848fb4a
  Björn Ludwig authored Jan 17, 2023
  
  7848fb4a
- refactor(examples): introduce another print statement · a22a6a45
  Björn Ludwig authored Jan 17, 2023
  
  a22a6a45
- build(deps): recompile deps · 0571af11
  Björn Ludwig authored Jan 17, 2023
  
  0571af11
- feat(data_types): introduce IndexAndSeed data_type for streamlined implementation of example · 03c51233
  Björn Ludwig authored Jan 17, 2023
  
  03c51233
- feat(examples): introduce task id parameter to parallelize and streamline implementation · e82582bf
  Björn Ludwig authored Jan 17, 2023
  
  e82582bf
- refactor(examples): introduce module docstring into find_seeds_and_samples · eb326d01
  Björn Ludwig authored Jan 17, 2023
  
  eb326d01
- build(deps): introduce tqdm type hints into deps · 703096e8
  Björn Ludwig authored Jan 17, 2023
  
  703096e8
- Revert "feat(data_types): capture the index of the valid samples from the ZeMA dataset" · 968f0952
  Björn Ludwig authored Jan 17, 2023
  968f0952
- feat(examples): introduce script to find valid combinations of seeds, samples, sizes and depths · 954d204b
  Björn Ludwig authored Jan 17, 2023
  
  954d204b
- refactor(data_types): change datatype of depth attribute of Valid... to int · 81838b9d
  Björn Ludwig authored Jan 17, 2023
  
  81838b9d
- feat(data_types): capture the index of the valid samples from the ZeMA dataset · c50a8f68
  Björn Ludwig authored Jan 17, 2023
  
  c50a8f68