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

Antzeko izenburuak

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