zhongyuan peng's picture

3 12 4

zhongyuan peng

happzy2633

·

Happzy-WHU

AI & ML interests

None yet

Recent Activity

liked a Space about 1 month ago

Qwen/Qwen3-Demo

updated a dataset about 1 month ago

happzy2633/math_code

published a dataset about 1 month ago

happzy2633/math_code

View all activity

Organizations

commented a paper 6 months ago

CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization

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

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

Update README.md

#2 opened about 1 year ago by