Chuyan Chen's picture

Chuyan Chen

Carves1234

AI & ML interests

None yet

Organizations

None yet

models 3

Carves1234/xxxxxx

Updated Oct 27, 2025

Carves1234/deepseek-math-7b-tacgen

7B • Updated Aug 21, 2024 • 3

Carves1234/Llama-3.1-8B-tacgen

8B • Updated Aug 21, 2024 • 2

datasets 1

Carves1234/mathlib-tacgen

Updated Jul 2, 2024 • 8