Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up
Zhong's picture
4 6

Zhong

Jianyuan1
zeju-0727's profile picture dark-pen's profile picture
·
  • chungginyun@gmail.com

AI & ML interests

None yet

Recent Activity

upvoted a paper about 2 months ago
LLaDA2.0: Scaling Up Diffusion Language Models to 100B
upvoted a paper 6 months ago
Compressing Chain-of-Thought in LLMs via Step Entropy
updated a model 7 months ago
huawei-ai4math/Mathesis-Autoformalizer-HPO
View all activity

Organizations

CURE's profile picture Huawei-AI4Math's profile picture

upvoted a paper about 2 months ago

LLaDA2.0: Scaling Up Diffusion Language Models to 100B

Paper • 2512.15745 • Published Dec 10, 2025 • 85
upvoted a paper 6 months ago

Compressing Chain-of-Thought in LLMs via Step Entropy

Paper • 2508.03346 • Published Aug 5, 2025 • 8
upvoted a paper 8 months ago

Mathesis: Towards Formal Theorem Proving from Natural Languages

Paper • 2506.07047 • Published Jun 8, 2025 • 6
upvoted 3 papers 12 months ago

Dyve: Thinking Fast and Slow for Dynamic Process Verification

Paper • 2502.11157 • Published Feb 16, 2025 • 7

Diverse Inference and Verification for Advanced Reasoning

Paper • 2502.09955 • Published Feb 14, 2025 • 18

Native Sparse Attention: Hardware-Aligned and Natively Trainable Sparse Attention

Paper • 2502.11089 • Published Feb 16, 2025 • 167
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs