Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
2
1
nwang227
LLM-EDA
Follow
John6666's profile picture
21world's profile picture
linxizhi's profile picture
3 followers
·
1 following
AI & ML interests
None yet
Recent Activity
upvoted
a
collection
28 days ago
VeriPrefer
updated
a collection
about 2 months ago
VeriDebug
updated
a collection
about 2 months ago
VeriDebug
View all activity
Organizations
LLM-EDA
's models
9
Sort: Recently updated
LLM-EDA/VeriPrefer-Qwen2.5-14B
Updated
Apr 22
•
8
•
1
LLM-EDA/VeriPrefer-Qwen2.5-Coder-7B
Updated
Apr 22
•
15
•
1
LLM-EDA/VeriPrefer-CodeQwen1.5-7B
Updated
Apr 22
•
22
LLM-EDA/VeriPrefer-deepseek-coder-7b-v1.5
Updated
Apr 22
•
15
LLM-EDA/VeriPrefer-CodeLlama-7b
Updated
Apr 22
•
15
LLM-EDA/VeriPrefer-Mistral-7B-v0.2
Updated
Apr 22
•
10
LLM-EDA/VeriSeek
Text Generation
•
Updated
Nov 20, 2024
•
29
LLM-EDA/VeriDebug
Updated
Oct 5, 2024
•
30
LLM-EDA/RNAErnie
Fill-Mask
•
Updated
Jun 26, 2024
•
58
•
1