Hugging Face
Models
Datasets
Spaces
Posts
Docs
Solutions
Pricing
Log In
Sign Up
Chuyan Chen
Carves1234
Follow
AI & ML interests
None yet
Organizations
None yet
models
2
Sort: Recently updated
Carves1234/deepseek-math-7b-tacgen
Updated
Aug 21
Carves1234/Llama-3.1-8B-tacgen
Updated
Aug 21
datasets
1
Carves1234/mathlib-tacgen
Updated
Jul 2
•
36