Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Hardware
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
Nada Amin
mitnamin
2
3
4
Follow
21world's profile picture
1 follower
·
11 following
http://namin.net
namin
AI & ML interests
Formal Verification
Organizations
mitnamin
's activity
All
Models
Datasets
Spaces
Buckets
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
liked
a dataset
5 months ago
metareflection/dafny-disco
Viewer
•
Updated
Feb 28
•
81.3k
•
11
•
3
liked
a model
10 months ago
gpoesia/dafny-annotator-8B
Text Generation
•
8B
•
Updated
Sep 23, 2025
•
5
•
1
liked
a model
about 1 year ago
gpoesia/finetuned_Meta-Llama-3.1-8B_dafnybench-100-peft
Updated
Jul 15, 2025
•
1
liked
a dataset
over 2 years ago
zai-org/humaneval-x
Updated
Oct 25, 2022
•
4.04k
•
96