Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
LLM4Code
community
Activity Feed
Follow
10
AI & ML interests
None defined yet.
Recent Activity
huanmit
updated
a model
3 days ago
LLM4Code/VeriCoder_Gemma12b
huanmit
published
a model
3 days ago
LLM4Code/VeriCoder_Gemma12b
joooelw
updated
a dataset
24 days ago
LLM4Code/SATBench
View all activity
Team members
5
LLM4Code
's models
5
Sort: Recently updated
LLM4Code/VeriCoder_Gemma12b
12B
•
Updated
3 days ago
•
10
•
1
LLM4Code/CodeARC_annotated_llama3.1
8B
•
Updated
Jun 25, 2025
•
5
•
1
LLM4Code/CodeARC_anonymous_llama3.1
8B
•
Updated
Jun 25, 2025
•
4
•
1
LLM4Code/Superoptimizer_Qwen7B
8B
•
Updated
May 11, 2025
•
6
•
2
LLM4Code/VeriCoder_Qwen14B
15B
•
Updated
Apr 27, 2025
•
81
•
3