zhongyuan peng

happzy2633's activity

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

commented a paper about 14 hours ago

CoDiQ: Test-Time Scaling for Controllable Difficult Question Generation

Paper • 2602.01660 • Published 1 day ago • 5 •

2

commented a paper 7 months ago

CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization

Paper • 2507.06181 • Published Jul 8, 2025 • 45 •

1

New activity in happzy2633/open-o1 over 1 year ago

Update README.md

#2 opened over 1 year ago by

WBEFDG