Chuyan Chen's picture

Chuyan Chen

Carves1234

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

models 3

Carves1234/xxxxxx

Carves1234/deepseek-math-7b-tacgen

7B • Updated Aug 21, 2024 • 6

Carves1234/Llama-3.1-8B-tacgen

8B • Updated Aug 21, 2024 • 6

datasets 1

Carves1234/mathlib-tacgen

Updated Jul 2, 2024 • 8