Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
LLM4Code
community
Activity Feed
Follow
9
AI & ML interests
None defined yet.
Recent Activity
huanmit
updated
a model
about 4 hours ago
LLM4Code/VeriCoder_Gemma12b
huanmit
published
a model
about 4 hours ago
LLM4Code/VeriCoder_Gemma12b
joooelw
updated
a dataset
21 days ago
LLM4Code/SATBench
View all activity
Team members
5
models
5
Sort: Recently updated
LLM4Code/VeriCoder_Gemma12b
12B
•
Updated
about 4 hours ago
LLM4Code/CodeARC_annotated_llama3.1
8B
•
Updated
Jun 25, 2025
•
7
•
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
•
83
•
3
datasets
4
Sort: Recently updated
LLM4Code/SATBench
Viewer
•
Updated
21 days ago
•
2.1k
•
128
•
3
LLM4Code/llm_superoptimizer_ds
Viewer
•
Updated
May 28, 2025
•
8.08k
•
8
•
1
LLM4Code/expanded_rtlcoder_12k
Viewer
•
Updated
Apr 26, 2025
•
12.4k
•
35
•
2
LLM4Code/expanded_origen_126k
Viewer
•
Updated
Apr 26, 2025
•
126k
•
19
•
1