Nada Amin

mitnamin
·

AI & ML interests

Formal Verification

Recent Activity

Organizations

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

mitnamin's activity

upvoted an article 2 days ago
view article
Article

Argunauts: Open LLMs that Master Argument Analysis with Argdown

By ggbetz
6
upvoted an article 25 days ago