Zhong's picture

4 5

Zhong

Jianyuan1

·

[email protected]

AI & ML interests

None yet

Recent Activity

upvoted a paper 24 days ago

Compressing Chain-of-Thought in LLMs via Step Entropy

updated a model about 2 months ago

huawei-ai4math/Mathesis-Autoformalizer-HPO

updated a model about 2 months 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 • 8

Jianyuan1/dyve-0424-lora

Updated May 4 • 3

Jianyuan1/Kimina-Autoformalizer-7B-RL

8B • Updated May 2 • 5

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

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

Jianyuan1/DyVerSearch

Jianyuan1/prm-data-unfiltered-v1

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

15B • Updated Feb 5 • 5

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