Zhong

Jianyuan1's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

upvoted a paper 19 days ago

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

Paper • 2512.15745 • Published 28 days ago • 78

upvoted a paper 5 months ago

Compressing Chain-of-Thought in LLMs via Step Entropy

Paper • 2508.03346 • Published Aug 5, 2025 • 8

updated 2 models 6 months ago

huawei-ai4math/Mathesis-Autoformalizer-HPO

8B • Updated Jul 11, 2025 • 8

huawei-ai4math/Mathesis-Autoformalizer

8B • Updated Jul 10, 2025 • 5

published 2 models 6 months ago

huawei-ai4math/Mathesis-Autoformalizer

8B • Updated Jul 10, 2025 • 5

huawei-ai4math/Mathesis-Autoformalizer-HPO

8B • Updated Jul 11, 2025 • 8

updated a dataset 6 months ago

Jianyuan1/cot_data_slow_thinking_conversations

Viewer • Updated Jun 28, 2025 • 156k • 31

published a dataset 6 months ago

Jianyuan1/cot_data_slow_thinking_conversations

Viewer • Updated Jun 28, 2025 • 156k • 31

updated a dataset 6 months ago

Jianyuan1/cot_data_slow_thinking

Updated Jun 28, 2025 • 24

published a dataset 6 months ago

Jianyuan1/cot_data_slow_thinking

Updated Jun 28, 2025 • 24

updated a model 7 months ago

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

Text Generation • 8B • Updated Jun 12, 2025 • 7

authored a paper 7 months ago

Mathesis: Towards Formal Theorem Proving from Natural Languages

Paper • 2506.07047 • Published Jun 8, 2025 • 6

upvoted a paper 7 months ago

Mathesis: Towards Formal Theorem Proving from Natural Languages

Paper • 2506.07047 • Published Jun 8, 2025 • 6

commented a paper 7 months ago

Mathesis: Towards Formal Theorem Proving from Natural Languages

Paper • 2506.07047 • Published Jun 8, 2025 • 6 •

2

authored 2 papers 8 months 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 • 5

commented a paper 8 months ago

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

Paper • 2505.11966 • Published May 17, 2025 • 5 •

2

published a model 8 months ago

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

Text Generation • 8B • Updated Jun 12, 2025 • 7

updated a model 8 months ago

Jianyuan1/dyve-0424-lora

Updated May 4, 2025 • 2

published a model 8 months ago

Jianyuan1/dyve-0424-lora

Updated May 4, 2025 • 2