Hugging Face's logo
Nada Amin's picture
2 1

Nada Amin

mitnamin
21world's profile picture
·
http://namin.net

AI & ML interests

Formal Verification

Organizations

Harvard University's profile picture metareflection's profile picture MLX Community's profile picture

mitnamin's activity

liked a dataset about 1 year ago