Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets new
  • Docs
  • Enterprise
  • Pricing
    • Website
      • Tasks
      • HuggingChat
      • Collections
      • Languages
      • Organizations
    • Community
      • Blog
      • Posts
      • Daily Papers
      • Learn
      • Discord
      • Forum
      • GitHub
    • Solutions
      • Team & Enterprise
      • Hugging Face PRO
      • Enterprise Support
      • Inference Providers
      • Inference Endpoints
      • Storage Buckets

  • 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

Organizations

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

submitted a paper to Daily Papers 3 months ago

Stabilizing Reinforcement Learning for Diffusion Language Models

Paper • 2603.06743 • Published Mar 6 • 2
authored a paper 12 months ago

Mathesis: Towards Formal Theorem Proving from Natural Languages

Paper • 2506.07047 • Published Jun 8, 2025 • 6
authored 2 papers about 1 year ago

GuardT2I: Defending Text-to-Image Models from Adversarial Prompts

Paper • 2403.01446 • Published Mar 3, 2024

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

Paper • 2505.11966 • Published May 17, 2025 • 6
authored 4 papers over 1 year ago

Multi-task self-supervised learning for Robust Speech Recognition

Paper • 2001.09239 • Published Jan 25, 2020

Attention is All You Need in Speech Separation

Paper • 2010.13154 • Published Oct 25, 2020

SpeechBrain: A General-Purpose Speech Toolkit

Paper • 2106.04624 • Published Jun 8, 2021 • 2

Dyve: Thinking Fast and Slow for Dynamic Process Verification

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