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

  • Log In
  • Sign Up
Zhong's picture
5 7

Zhong

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

AI & ML interests

None yet

Recent Activity

upvoted a paper 2 days ago
Stabilizing Reinforcement Learning for Diffusion Language Models
submitted a paper 2 days ago
Stabilizing Reinforcement Learning for Diffusion Language Models
upvoted a paper 3 months ago
LLaDA2.0: Scaling Up Diffusion Language Models to 100B
View all activity

Organizations

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

commented a paper 9 months ago

Mathesis: Towards Formal Theorem Proving from Natural Languages

Paper • 2506.07047 • Published Jun 8, 2025 • 6 •
2
commented a paper 10 months ago

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier

Paper • 2505.11966 • Published May 17, 2025 • 5 •
2
New activity in Jianyuan1/cot-data about 1 year ago

Add dataset card, link to paper

1
#2 opened about 1 year ago by
nielsr
commented a paper about 1 year ago

Dyve: Thinking Fast and Slow for Dynamic Process Verification

Paper • 2502.11157 • Published Feb 16, 2025 • 7 •
2
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs