Hugging Face's logo
Nada Amin's picture

Nada Amin

mitnamin
2 3 4
sueszli's profile picture webbrain-one's profile picture webbrain-one-596853's profile picture
ยท
http://namin.net

AI & ML interests

Formal Verification

Recent Activity

published a dataset 2 days ago
midspiral/lemmascript-dafny-benchmark-runs-results
updated a dataset 2 days ago
midspiral/lemmascript-dafny-benchmark-runs-results
updated a dataset about 1 month ago
midspiral/lemmascript-dafny-benchmark-runs-results
View all activity

Organizations

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