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

Snippets Groups Projects

Oct 18, 2022
- refactor(thesis): refine Sigmoid partial derivative · 44705a1e
  Björn Ludwig authored 2 years ago
  
  Verified
  
  44705a1e
- refactor(thesis): refactor whitespace · aaaa27eb
  Björn Ludwig authored 2 years ago
  
  Verified
  
  aaaa27eb
- feat(thesis): introduce Hadamard product into preliminaries · 1b651b79
  Björn Ludwig authored 2 years ago
  
  Verified
  
  1b651b79
- Revert "refactor(thesis): introduce commands for the natural and real numbers" · dbdd45af
  Björn Ludwig authored 2 years ago
  
  This reverts commit 2ce3ae45 but reintroduces the actually desired changes.
  Verified
  
  dbdd45af
- refactor(thesis): repair overfull hboxes in tabularx envs · 107bb96c
  Björn Ludwig authored 2 years ago
  
  Verified
  
  107bb96c
- wip(thesis): introduce partial derivative for sigmoid in a specific neuron · a982c196
  Björn Ludwig authored 2 years ago
  
  Verified
  
  a982c196
- refactor(thesis): refine equation formatting · 0a318952
  Björn Ludwig authored 2 years ago
  
  Verified
  
  0a318952
- refactor(thesis): repair Bjornstrup overfull hboxes · c55edebc
  Björn Ludwig authored 2 years ago
  
  Verified
  
  c55edebc
- refactor(thesis): introduce commands for the natural and real numbers · 2ce3ae45
  Björn Ludwig authored 2 years ago
  
  Verified
  
  2ce3ae45
Oct 17, 2022
- feat(thesis): introduce differentiation code · 4b372246
  Björn Ludwig authored 2 years ago
  
  Verified
  
  4b372246
- wip(thesis): refine softplus notation so far · 447b973d
  Björn Ludwig authored 2 years ago
  
  Verified
  
  447b973d
- refactor(thesis): refine notation for networks · 3c76f4a8
  Björn Ludwig authored 2 years ago
  
  Verified
  
  3c76f4a8
Oct 14, 2022
- refactor(thesis): move comparison into related work section · 876cefe1
  Björn Ludwig authored 2 years ago
  
  Verified
  
  876cefe1
- refactor(thesis): rename method section · 55630aa5
  Björn Ludwig authored 2 years ago
  
  Verified
  
  55630aa5
- wip(thesis): question if we want another activation function · 79008915
  Björn Ludwig authored 2 years ago
  
  Verified
  
  79008915
- wip(thesis): extend the list of existing methods to compare · 5358424e
  Björn Ludwig authored 2 years ago
  
  Verified
  
  5358424e
- wip(thesis): refine robustness verification task · c6793c4e
  Björn Ludwig authored 2 years ago
  
  Verified
  
  c6793c4e
- refactor(thesis): reformat code · fd88f591
  Björn Ludwig authored 2 years ago
  
  Verified
  
  fd88f591
- refactor(thesis): introduce link for proof of ReLU limit case of softplus · 484a1b61
  Björn Ludwig authored 2 years ago
  
  Verified
  
  484a1b61
- refactor(thesis): replace one more operatorname by newcommand \softplus · e516d63d
  Björn Ludwig authored 2 years ago
  
  Verified
  
  e516d63d
- feat(thesis): introduce first sigmoid equations · a69b27e8
  Björn Ludwig authored 2 years ago
  
  Verified
  
  a69b27e8
- wip(thesis): introduce one more note about the nets · 9945ea46
  Björn Ludwig authored 2 years ago
  
  Verified
  
  9945ea46
- feat(thesis): introduce section Notation · e9831dc4
  Björn Ludwig authored 2 years ago
  
  Verified
  
  e9831dc4
- wip(thesis): introduce mentioning of the LPU · f51edbe6
  Björn Ludwig authored 2 years ago
  
  Verified
  
  f51edbe6
- wip(thesis): reformulate equations as gathers · 6be3f71b
  Björn Ludwig authored 2 years ago
  
  Verified
  
  6be3f71b
- wip(results): reformulate all equations as gathers · a64a7892
  Björn Ludwig authored 2 years ago
  
  Verified
  
  a64a7892
Oct 12, 2022
- wip(thesis): introduce sigmoid into list of activations · e1f3dd2e
  Björn Ludwig authored 2 years ago
  
  Verified
  
  e1f3dd2e
- fix(results): correct a typo · 337963e9
  Björn Ludwig authored 2 years ago
  
  Verified
  
  337963e9
- fix(results): correct a label · 8e08ceef
  Björn Ludwig authored 2 years ago
  
  Verified
  
  8e08ceef
- wip(thesis): introduce softplus derivatives · 64d30acd
  Björn Ludwig authored 2 years ago
  
  Verified
  
  64d30acd
- wip(thesis): remove introduction section · 5996e5cd
  Björn Ludwig authored 2 years ago
  
  Verified
  
  5996e5cd
- wip(thesis): introduce derivative package · a2f16035
  Björn Ludwig authored 2 years ago
  
  Verified
  
  a2f16035
- refactor(thesis): change combined uncertainty's symbol to \ucomb · 7659f9d8
  Björn Ludwig authored 2 years ago
  
  Verified
  
  7659f9d8
- refactor(thesis): introduce more characters to fill lines · 7617e7fd
  Björn Ludwig authored 2 years ago
  
  Verified
  
  7617e7fd
- chore(gitignore): exclude Fleet config from git · ea6a2b2e
  Björn Ludwig authored 2 years ago
  
  Verified
  
  ea6a2b2e
Oct 11, 2022
- wip(thesis): introduce CDNN into abbreviations · e6330782
  Björn Ludwig authored 2 years ago
  
  Verified
  
  e6330782
- wip(thesis): change signature to Björn Ludwig in affidavit · da19eb8c
  Björn Ludwig authored 2 years ago
  
  Verified
  
  da19eb8c
- wip(thesis): refine preliminaries · 53071882
  Björn Ludwig authored 2 years ago
  
  Verified
  
  53071882
- wip(thesis): introduce first symbols · 152fbc29
  Björn Ludwig authored 2 years ago
  
  Verified
  
  152fbc29
- wip(thesis): introduce section outline and robustness verification task · 363a513f
  Björn Ludwig authored 2 years ago
  
  Verified
  
  363a513f