Udvidet returret til d. 31. januar 2025

Introduction to Neural Network Verification - Aws Albarghouthi - Bog

Bag om Introduction to Neural Network Verification

The book is a self-contained treatment of a topic that sits at the intersection of machine learning and formal verification. It can serve as an introduction to the field for first-year graduate students or senior undergraduates, even if they have not been exposed to deep learning or verification.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9781680839104
  • Indbinding:
  • Paperback
  • Sideantal:
  • 180
  • Udgivet:
  • 2. december 2021
  • Størrelse:
  • 156x234x0 mm.
  • Vægt:
  • 262 g.
  • 8-11 hverdage.
  • 30. november 2024
På lager

Normalpris

  • BLACK NOVEMBER

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Beskrivelse af Introduction to Neural Network Verification

The book is a self-contained treatment of a topic that sits at the intersection of machine learning and formal verification. It can serve as an introduction to the field for first-year graduate students or senior undergraduates, even if they have not been exposed to deep learning or verification.

Brugerbedømmelser af Introduction to Neural Network Verification



Find lignende bøger
Bogen Introduction to Neural Network Verification findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.