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

Snippets Groups Projects

Feb 09, 2023
- refactor(report): introduce more own content · 99b80375
  Björn Ludwig authored Feb 9, 2023
  
  99b80375
- feat(report): introduce Leitbild · 6efb7de0
  Björn Ludwig authored Feb 9, 2023
  
  6efb7de0
- refactor(report): shorten one paragraph to avoid overfull hbox · 02aa2c6d
  Björn Ludwig authored Feb 9, 2023
  
  02aa2c6d
- feat(report bib): introduce everything potentially needed in report · c79536c0
  Björn Ludwig authored Feb 9, 2023
  
  c79536c0
Feb 08, 2023
- feat(report): finalize section about research goals · b3734a75
  Björn Ludwig authored Feb 8, 2023
  
  b3734a75
Feb 07, 2023
- feat(report): introduce first content · ef729199
  Björn Ludwig authored Feb 7, 2023
  
  ef729199
- refactor(report): restyle document · 533f18fb
  Björn Ludwig authored Feb 7, 2023
  
  533f18fb
- refactor(report): introduce siunitx · 85f55df9
  Björn Ludwig authored Feb 7, 2023
  
  85f55df9
- 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