Safety and robustness for deep learning with provable guarantees (keynote)

Geahča maid

• Safety and robustness for deep learning with provable guarantees (invited paper - keynote)
  Dahkki: Kwiatkowska, M
  Almmustuhtton: (2020)
• Safety verification for deep neural networks with provable guarantees
  Dahkki: Kwiatkowska, M
  Almmustuhtton: (2019)
• Provable guarantees on the robustness of decision rules to causal interventions
  Dahkki: Wang, B, et al.
  Almmustuhtton: (2021)
• Robustness evaluation of deep neural networks with provable guarantees
  Dahkki: Wu, M
  Almmustuhtton: (2020)
• Global robustness evaluation of deep neural networks with provable guarantees for the Hamming distance
  Dahkki: Ruan, W, et al.
  Almmustuhtton: (2019)