HUJI 2024/25
  • English
    English עברית
You are not logged in. (Log in)

HUJI2024/25

  1. Home
  2. My courses
  3. 67860 Formal Verification of Machine Learning Systems
  4. Summary

67860 Formal Verification of Machine Learning Systems

  • TA: Guy Katz

Blocks

Skip Navigation

Navigation

  • Home

    • My courses

    • My courses

      • 67860 Formal Verification of Machine Learning Systems

    • All courses

Blocks

© The Hebrew University of Jerusalemכל הזכויות שמורות לאוניברסיטה העברית בירושלים
A service of the System group of the School of Computer Science & Engineering
Design, development, deployment and documentation by Chana Slutzkin
You are not logged in. (Log in)
67860
  • English
    • English
    • עברית
Data retention summary
Get the mobile app