Nada Amin's picture

2 2 2

Nada Amin

mitnamin

·

http://namin.net

namin

AI & ML interests

Formal Verification

Recent Activity

liked a model 20 days ago

gpoesia/finetuned_Meta-Llama-3.1-8B_dafnybench-100-peft

upvoted an article about 2 months ago

Argunauts: Open LLMs that Master Argument Analysis with Argdown

upvoted an article 3 months ago

TinyAgents: A Minimal Experiment with Code Agents and MCP Tools

View all activity

Organizations

liked a model 20 days ago

gpoesia/finetuned_Meta-Llama-3.1-8B_dafnybench-100-peft

Updated 20 days ago • 1

liked a dataset over 1 year ago

zai-org/humaneval-x

Updated Oct 25, 2022 • 2.45k • 90