Commits · c30b3fc33004926672b19551a8ba600bf2442e8f · ludwig10_masters_thesis / GUM-compliant neural network robustness verification - a Masters thesis · GitLab

Snippets Groups Projects

Feb 07, 2023
- refactor(report): correct language · c30b3fc3
  Björn Ludwig authored Feb 7, 2023
  
  c30b3fc3
- refactor(report): correct margins · b1c277eb
  Björn Ludwig authored Feb 7, 2023
  
  b1c277eb
- refactor(report): correct font size · a497d6ef
  Björn Ludwig authored Feb 7, 2023
  
  a497d6ef
- feat(report bib): introduce several refs · a0b92cf3
  Björn Ludwig authored Feb 7, 2023
  
  a0b92cf3
Jan 25, 2023
- feat(thesis): introduce plots · 2e986df1
  Björn Ludwig authored Jan 25, 2023
  
  2e986df1
Jan 24, 2023
- refactor(thesis): finalize the document · 9f35f39c
  Björn Ludwig authored Jan 24, 2023
  
  9f35f39c
- refactor(thesis): correct wrong statements about possible issue correction · ab18dee8
  Björn Ludwig authored Jan 24, 2023
  
  ab18dee8
- feat(thesis): introduce conclusions · d766079b
  Björn Ludwig authored Jan 24, 2023
  
  d766079b
- feat(thesis): finalize robustness verification simulation section · 816427a6
  Björn Ludwig authored Jan 24, 2023
  
  816427a6
- feat(thesis): introduce robustness verification runtimes · 191a80bf
  Björn Ludwig authored Jan 24, 2023
  
  191a80bf
- refactor(thesis): correct proof of issue · 3564ced5
  Björn Ludwig authored Jan 24, 2023
  
  3564ced5
- refactor(thesis): evaluate uncertainty propagation runtimes · 46a4abfe
  Björn Ludwig authored Jan 24, 2023
  
  46a4abfe
- feat(thesis): introduce FAIR4RS table · 00b4a991
  Björn Ludwig authored Jan 24, 2023
  
  00b4a991
- feat(thesis): introduce uncertainty propagation runtimes · e5a8cb6c
  Björn Ludwig authored Jan 24, 2023
  
  e5a8cb6c
- refactor(thesis bib): introduce last missing references and correct given and lastname ordering · c418eec3
  Björn Ludwig authored Jan 24, 2023
  
  c418eec3
- refactor(thesis): introduce last missing symbols · 3109bfbb
  Björn Ludwig authored Jan 24, 2023
  
  3109bfbb
- chore(table generator): introduce table generator exports for all five tables · 227cb7ea
  Björn Ludwig authored Jan 24, 2023
  
  227cb7ea
- feat(abstract): introduce first and final draft · 8c783531
  Björn Ludwig authored Jan 24, 2023
  
  8c783531
- feat(symbols): finalize abbreviations · ddca0d48
  Björn Ludwig authored Jan 24, 2023
  
  ddca0d48
Jan 22, 2023
- feat(thesis): introduce linear inclusion figure · 43d5a405
  Björn Ludwig authored Jan 22, 2023
  
  43d5a405
- fix(thesis): correct wrong determination of xi · af8001ae
  Björn Ludwig authored Jan 22, 2023
  
  af8001ae
- refactor(thesis): correct sigmoid figure size · e5855b76
  Björn Ludwig authored Jan 22, 2023
  
  e5855b76
- feat(thesis): introduce quadlu figure · 76912f93
  Björn Ludwig authored Jan 22, 2023
  
  76912f93
- feat(thesis): introduce softplus figure · 1db1c70b
  Björn Ludwig authored Jan 22, 2023
  
  1db1c70b
- feat(thesis): introduce sigmoid figure · 29da9d39
  Björn Ludwig authored Jan 22, 2023
  
  29da9d39
Jan 21, 2023
- refactor(thesis): introduce TODO in robustness verification simulation section · a5965198
  Björn Ludwig authored Jan 21, 2023
  
  a5965198
- refactor(thesis): delete table in robustness verification simulation section... · 253732ff
  Björn Ludwig authored Jan 21, 2023
  253732ff
- refactor(thesis): delete paragraph in Implementation details and runtimes for... · 0ec97204
  Björn Ludwig authored Jan 21, 2023
  0ec97204
- refactor(thesis): improve formulation in Implementation details and runtimes for propagation · 579eced1
  Björn Ludwig authored Jan 21, 2023
  
  579eced1
- refactor(thesis): correct title of Implementation details and runtimes for... · 29854643
  Björn Ludwig authored Jan 21, 2023
  29854643
- refactor(thesis): improve formatting of proof in LPU for softplus · 8d6f9009
  Björn Ludwig authored Jan 21, 2023
  
  8d6f9009
- refactor(thesis): improve reasoning in LPU for softplus · 7fd144f7
  Björn Ludwig authored Jan 21, 2023
  
  7fd144f7
- refactor(thesis): correct softplus definitions in LPU for softplus · e2214e7d
  Björn Ludwig authored Jan 21, 2023
  
  e2214e7d
- refactor(thesis): improve reasoning in LPU for sigmoid · ee5b71f1
  Björn Ludwig authored Jan 21, 2023
  
  ee5b71f1
- refactor(thesis): introduce equation label in LPU for sigmoid · eeaf1348
  Björn Ludwig authored Jan 21, 2023
  
  eeaf1348
- refactor(thesis): reorder a definition in LPU for sigmoid · 34a11bed
  Björn Ludwig authored Jan 21, 2023
  
  34a11bed
- refactor(thesis): reduce size of all placeholder graphics as to not be so distracting · 183e01c7
  Björn Ludwig authored Jan 21, 2023
  
  183e01c7
- refactor(thesis): improve formulation in LPU for selected activations · d8ca3993
  Björn Ludwig authored Jan 21, 2023
  
  d8ca3993
- refactor(thesis): correct whitespace in LPU for DNN as Lisa discovered · dbef6092
  Björn Ludwig authored Jan 21, 2023
  
  dbef6092
- refactor(thesis): insert a missing superscript in LPU for DNN · 61b12e5a
  Björn Ludwig authored Jan 21, 2023
  
  61b12e5a