Chuyan Chen's picture

Chuyan Chen

Carves1234

AI & ML interests

None yet

Organizations

None yet

models 2

Carves1234/deepseek-math-7b-tacgen

Carves1234/Llama-3.1-8B-tacgen

datasets 1

Carves1234/mathlib-tacgen

Updated Jul 2 • 36