Nada Amin

mitnamin's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

updated 2 models about 2 months ago

metareflection/dafny-annotator-vfp-autogen-4B

4B • Updated Nov 9, 2025 • 2

metareflection/dafny-annotator-vfp-sketch-autogen-4B

4B • Updated Nov 9, 2025 • 3

published 2 models about 2 months ago

metareflection/dafny-annotator-vfp-sketch-autogen-4B

4B • Updated Nov 9, 2025 • 3

metareflection/dafny-annotator-vfp-autogen-4B

4B • Updated Nov 9, 2025 • 2

updated a model 2 months ago

metareflection/dafny-annotator-vfp-4B

Text Generation • 4B • Updated Oct 28, 2025 • 4

published a model 2 months ago

metareflection/dafny-annotator-vfp-4B

Text Generation • 4B • Updated Oct 28, 2025 • 4

updated a model 2 months ago

metareflection/dafny-annotator-modular-vfp-4B

Text Generation • 4B • Updated Oct 28, 2025 • 3

published a model 2 months ago

metareflection/dafny-annotator-modular-vfp-4B

Text Generation • 4B • Updated Oct 28, 2025 • 3

liked a model 3 months ago

gpoesia/dafny-annotator-8B

Text Generation • 8B • Updated Sep 23, 2025 • 7 • 1

upvoted an article 3 months ago

view article

Article

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

• 

Feb 7, 2025

•

267

liked a model 6 months ago

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

Updated Jul 15, 2025 • 1

upvoted an article 7 months ago

view article

Article

Argunauts: Open LLMs that Master Argument Analysis with Argdown

• 

Feb 14, 2025

•

7

upvoted an article 8 months ago

view article

Article

TinyAgents: A Minimal Experiment with Code Agents and MCP Tools

• 

May 16, 2025

•

30

updated 2 models almost 2 years ago

mitnamin/codeparrot-ds

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

metareflection/tiny-scheme-holes-gpt2

Updated Jan 4, 2024

updated 2 datasets almost 2 years ago

metareflection/tiny-scheme-holes-train

Viewer • Updated Jan 4, 2024 • 1.66k • 15

metareflection/tiny-scheme-train

Viewer • Updated Jan 4, 2024 • 74 • 12

liked a dataset about 2 years ago

zai-org/humaneval-x

Updated Oct 25, 2022 • 1.52k • 92