Nada Amin

mitnamin's activity

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

liked a dataset 3 months ago

metareflection/dafny-disco

Viewer • Updated Feb 28 • 81.3k • 188 • 3

updated 2 models 7 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 • 2

published 2 models 7 months ago

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

4B • Updated Nov 9, 2025 • 2

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

4B • Updated Nov 9, 2025 • 2

updated a model 7 months ago

metareflection/dafny-annotator-vfp-4B

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

published a model 7 months ago

metareflection/dafny-annotator-vfp-4B

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

updated a model 7 months ago

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

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

published a model 7 months ago

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

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

liked a model 8 months ago

gpoesia/dafny-annotator-8B

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

upvoted an article 8 months ago

view article

Article

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

• 

NormalUhr

•

Feb 7, 2025

• 293

liked a model 11 months ago

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

Updated Jul 15, 2025 • 1

upvoted an article 12 months ago

view article

Article

Argunauts: Open LLMs that Master Argument Analysis with Argdown

• 

ggbetz

•

Feb 14, 2025

• 11

upvoted an article about 1 year ago

view article

Article

TinyAgents: A Minimal Experiment with Code Agents and MCP Tools

• 

albertvillanova

•

May 16, 2025

• 30

updated 2 models over 2 years ago

mitnamin/codeparrot-ds

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

metareflection/tiny-scheme-holes-gpt2

Updated Jan 4, 2024

updated 2 datasets over 2 years ago

metareflection/tiny-scheme-holes-train

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

metareflection/tiny-scheme-train

Viewer • Updated Jan 4, 2024 • 74 • 8

liked a dataset over 2 years ago

zai-org/humaneval-x

Updated Oct 25, 2022 • 2.17k • 95