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

Nada Amin

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

AI & ML interests

Formal Verification

Recent Activity

updated a model 1 day ago
metareflection/dafny-annotator-vfp-autogen-4B
updated a model 1 day ago
metareflection/dafny-annotator-vfp-sketch-autogen-4B
published a model 1 day ago
metareflection/dafny-annotator-vfp-sketch-autogen-4B
View all activity

Organizations

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