Nada Amin
mitnamin
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
Organizations
