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

Eitemau Tebyg

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