2023/24
  • English
    English עברית
You are not logged in. (Log in)

HUJI2023/24

  1. Home
  2. Courses
  3. Search
  4. 67860

Search results: 1

67860 Formal Verification of Machine Learning Systems

  • TA: Guy Katz
School of Computer Science & Engineering / 521 Computer Sciences

Blocks

Skip Navigation

Navigation

  • Home

    • My courses

    • My courses

    • 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)
Home
  • English
    • English
    • עברית
Data retention summary
Get the mobile app