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

Lignende værker

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