Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Chuyan Chen
Carves1234
Follow
AI & ML interests
None yet
Recent Activity
published
a model
about 2 months ago
Carves1234/xxxxxx
updated
a dataset
over 1 year ago
Carves1234/mathlib-tacgen
View all activity
Organizations
None yet
Carves1234
's models
3
Sort: Recently updated
Carves1234/xxxxxx
Updated
Oct 27
Carves1234/deepseek-math-7b-tacgen
7B
•
Updated
Aug 21, 2024
•
6
Carves1234/Llama-3.1-8B-tacgen
8B
•
Updated
Aug 21, 2024
•
6