Commits · d100a5ba4f9056091abf0dd48b1d6d84771eb56d · ludwig10_masters_thesis / lp_nn_robustness_verification · GitLab

Snippets Groups Projects

Jan 07, 2023
- docs(README): update Roadmap and Getting started · d100a5ba
  Björn Ludwig authored Jan 7, 2023
  
  d100a5ba
- refactor(test_generate_nn_params): remove deadline for one test · 2c4b2eb0
  Björn Ludwig authored Jan 7, 2023
  
  2c4b2eb0
- chore(gitignore): introduce notebook checkpoints · 169c8195
  Björn Ludwig authored Jan 7, 2023
  
  169c8195
- build(deps): recompile deps · 35a8d84b
  Björn Ludwig authored Jan 7, 2023
  
  35a8d84b
- build(example deps): introduce examples-requirements.txt · 1716c4d4
  Björn Ludwig authored Jan 7, 2023
  
  1716c4d4
- build(example deps): introduce jupyter dependencies into example and dev deps · e9bb53fe
  Björn Ludwig authored Jan 7, 2023
  
  e9bb53fe
- chore(pylint): introduce setting to avoid errors from pyscipopt with pylint · 9fa2dd51
  Björn Ludwig authored Jan 7, 2023
  
  9fa2dd51
- docs(linear_inclusion): introduce notebook to visualize and experiment with linear inclusion · 256bb91b
  Björn Ludwig authored Jan 7, 2023
  
  256bb91b
- test(construct_out_features_counts): switch to new implementation and naming · 392d802f
  Björn Ludwig authored Jan 7, 2023
  
  392d802f
- refactor(optimize): switch to new ZeMA samples class · 0ea24f35
  Björn Ludwig authored Jan 7, 2023
  
  0ea24f35
- docs(generate_nn_params): introduce module generate_nn_params into docs · decca7ff
  Björn Ludwig authored Jan 7, 2023
  
  decca7ff
- test(uncertain_inputs): test availability of direct value und uncertainties access · fe35ad1e
  Björn Ludwig authored Jan 7, 2023
  
  fe35ad1e
- feat(uncertain_inputs): introduce direct value und uncertainties access for UncertainInputs · 98a72aac
  Björn Ludwig authored Jan 7, 2023
  
  98a72aac
- test(linear_program): introduce another test for a specific objective value · 0243fbbb
  Björn Ludwig authored Jan 7, 2023
  
  0243fbbb
- refactor(linear_program): streamline r_is usage · 7e30c546
  Björn Ludwig authored Jan 7, 2023
  
  7e30c546
- refactor(linear_program): make label a local variable · b648fc95
  Björn Ludwig authored Jan 7, 2023
  
  b648fc95
- refactor(generate_nn_params): improve construct_out_features_counts implementation · d9340ae3
  Björn Ludwig authored Jan 7, 2023
  
  d9340ae3
- refactor(data_types): correct one docstring line length · d62e80a7
  Björn Ludwig authored Jan 7, 2023
  
  d62e80a7
- feat(generate_nn_params): introduce seeding into weight and bias generation · c4d2fd24
  Björn Ludwig authored Jan 7, 2023
  
  c4d2fd24
- feat(data_types): introduce index type for valid seed collections for ZeMA dataset · cf86be9b
  Björn Ludwig authored Jan 7, 2023
  
  cf86be9b
- refactor(data_types): change RealVars actual value type to pyscipopt.scip.Variable · d57fa125
  Björn Ludwig authored Jan 7, 2023
  
  d57fa125
- feat(activation_functions): introduce quadlu · a3c99474
  Björn Ludwig authored Jan 7, 2023
  
  a3c99474
- refactor(linear_program): introduce r_is as variables · eabd84f2
  Björn Ludwig authored Jan 7, 2023
  
  eabd84f2
Dec 28, 2022
- 0.3.0 · 0e89297a
  Björn Ludwig authored Dec 28, 2022
  View commits for tag v0.3.0 v0.3.0
  
  0e89297a
- refactor(pre_processing): correct two intraproject Sphinx links in docs (still do not work) · a654c6ca
  Björn Ludwig authored Dec 28, 2022
  
  a654c6ca
- fix(pre_processing): fix bug in computation of z^(i)s and Theta^(i)s · b25f7527
  Björn Ludwig authored Dec 28, 2022
  
  b25f7527
- refactor(pre_processing): improve one assertion message to be more expressive · 9d21d5ae
  Björn Ludwig authored Dec 28, 2022
  
  9d21d5ae
- test(linear_program): change custom linear inclusion to something a bit more challenging · f2dbf966
  Björn Ludwig authored Dec 28, 2022
  
  f2dbf966
- refactor(uncertain_inputs): rename intervals attribute to theta_0 as that is what it is · e30b3ec6
  Björn Ludwig authored Dec 28, 2022
  
  e30b3ec6
Dec 27, 2022
- feat(optimize): introduce creation of deeper network parameters according to pytorch implementation · d4cf1f80
  Björn Ludwig authored Dec 27, 2022
  
  d4cf1f80
- test(generate_nn_params): test random generation of neural network parameters · 2587b1d1
  Björn Ludwig authored Dec 27, 2022
  
  2587b1d1
- feat(generate_nn_params): introduce random generation of neural network parameters · dea1cc74
  Björn Ludwig authored Dec 27, 2022
  
  dea1cc74
- refactor(test_pre_processing): streamline tests and adapt to current implementation · e3f127cb
  Björn Ludwig authored Dec 27, 2022
  
  e3f127cb
- refactor(linear_program): fix constraints naming and simplify sum for linear cons · e41b632b
  Björn Ludwig authored Dec 27, 2022
  
  e41b632b
- refactor(uncertain_inputs): introduce meaningful assert messages · cb9259e1
  Björn Ludwig authored Dec 27, 2022
  
  cb9259e1
- refactor(pre_processing): reorder initialization steps · ea5bebef
  Björn Ludwig authored Dec 27, 2022
  
  ea5bebef
- refactor(pre_processing): introduce meaningful assert messages · 5e1c0f70
  Björn Ludwig authored Dec 27, 2022
  
  5e1c0f70
- refactor(data_types): introduce meaningful assert messages · 255a643a
  Björn Ludwig authored Dec 27, 2022
  
  255a643a
- refactor(linear_program): introduce explicit continuity for t · ddc65cd5
  Björn Ludwig authored Dec 27, 2022
  
  ddc65cd5
- fix(linear_program): set t to be unbounded from below · ca5785b0
  Björn Ludwig authored Dec 27, 2022
  
  ca5785b0