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