Nada Amin's picture

2 3 3

Nada Amin

mitnamin

·

http://namin.net

namin

AI & ML interests

Formal Verification

Recent Activity

liked a model 23 days ago

gpoesia/dafny-annotator-8B

upvoted an article 27 days ago

DeepSeek-R1 Dissection: Understanding PPO & GRPO Without Any Prior Reinforcement Learning Knowledge

liked a model 3 months ago

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

View all activity

Organizations

models 1

mitnamin/codeparrot-ds

Text Generation • 0.1B • Updated Jan 5, 2024 • 1

datasets 0

None public yet