Zhong

Jianyuan1's activity

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

upvoted a paper 14 days ago

Stabilizing Reinforcement Learning for Diffusion Language Models

Paper • 2603.06743 • Published 18 days ago • 2

submitted a paper to Daily Papers 14 days ago

Stabilizing Reinforcement Learning for Diffusion Language Models

Paper • 2603.06743 • Published 18 days ago • 2

upvoted a paper 3 months ago

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

Paper • 2512.15745 • Published Dec 10, 2025 • 88

upvoted a paper 7 months ago

Compressing Chain-of-Thought in LLMs via Step Entropy

Paper • 2508.03346 • Published Aug 5, 2025 • 8

updated 2 models 9 months ago

huawei-ai4math/Mathesis-Autoformalizer-HPO

8B • Updated Jul 11, 2025 • 2

huawei-ai4math/Mathesis-Autoformalizer

8B • Updated Jul 10, 2025 • 2

published 2 models 9 months ago

huawei-ai4math/Mathesis-Autoformalizer

8B • Updated Jul 10, 2025 • 2

huawei-ai4math/Mathesis-Autoformalizer-HPO

8B • Updated Jul 11, 2025 • 2

updated a dataset 9 months ago

Jianyuan1/cot_data_slow_thinking_conversations

Viewer • Updated Jun 28, 2025 • 156k • 5 • 1

published a dataset 9 months ago

Jianyuan1/cot_data_slow_thinking_conversations

Viewer • Updated Jun 28, 2025 • 156k • 5 • 1

updated a dataset 9 months ago

Jianyuan1/cot_data_slow_thinking

Updated Jun 28, 2025 • 31 • 1

published a dataset 9 months ago

Jianyuan1/cot_data_slow_thinking

Updated Jun 28, 2025 • 31 • 1

updated a model 9 months ago

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

Text Generation • 8B • Updated Jun 12, 2025

authored a paper 10 months ago

Mathesis: Towards Formal Theorem Proving from Natural Languages

Paper • 2506.07047 • Published Jun 8, 2025 • 6

upvoted a paper 10 months ago

Mathesis: Towards Formal Theorem Proving from Natural Languages

Paper • 2506.07047 • Published Jun 8, 2025 • 6

commented a paper 10 months ago

Mathesis: Towards Formal Theorem Proving from Natural Languages

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

2

authored 2 papers 10 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 10 months ago

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

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

2

published a model 11 months ago

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

Text Generation • 8B • Updated Jun 12, 2025