Skip to main content
2018/19
English
English
עברית
You are not logged in. (
Log in
)
huji
2018/19
Home
My courses
67860 FORMAL VERIFICATION OF MACHINE LEARNING SYSTEMS
Summary
67860 FORMAL VERIFICATION OF MACHINE LEARNING SYSTEMS
TA:
Guy Katz