Zhong's picture

4 4

Zhong

Jianyuan1

·

[email protected]

AI & ML interests

None yet

Recent Activity

updated a model about 1 month ago

huawei-ai4math/Mathesis-Autoformalizer-HPO

updated a model about 1 month ago

huawei-ai4math/Mathesis-Autoformalizer

published a model about 1 month ago

huawei-ai4math/Mathesis-Autoformalizer

View all activity

Organizations

Jianyuan1 's models 8

Jianyuan1/Kimina-Autoformalizer-7B-RL-0506

Text Generation • 8B • Updated Jun 12 • 6

Jianyuan1/dyve-0424-lora

Updated May 4 • 3

Jianyuan1/Kimina-Autoformalizer-7B-RL

8B • Updated May 2 • 3

Jianyuan1/deepseek-r1-14b-cot-math-reasoning-full

Text Generation • 15B • Updated Feb 19 • 4 • • 2

Jianyuan1/DyVerSearch

Jianyuan1/prm-data-unfiltered-v1

Jianyuan1/deepseek-14b-prm-filtered-balance-full

15B • Updated Feb 5 • 2

Jianyuan1/deepseek-r1-14v-cot-math-reasoning-full