Zhouliang Yu

Zhouliang Yu on Hugging Face Daily Papers: 8 papers, 1 in the top 3 of their day, 226 upvotes.

1. SimKO: Simple Pass@K Policy Optimization 9 upvotes, #26 of 2025-10-17
2. CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization 38 upvotes, #6 of 2025-07-09
3. FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models 27 upvotes, #7 of 2025-05-06
4. COIG-P: A High-Quality and Large-Scale Chinese Preference Dataset for Alignment with Human Values 41 upvotes, #5 of 2025-04-09
5. Generating Symbolic World Models via Test-time Scaling of Large Language Models 16 upvotes, #11 of 2025-02-10
6. MAP-Neo: Highly Capable and Transparent Bilingual Large Language Model Series 41 upvotes, #1 of 2024-05-30
7. Chinese Tiny LLM: Pretraining a Chinese-Centric Large Language Model 8 upvotes, #7 of 2024-04-08
8. CodeEditorBench: Evaluating Code Editing Capability of Large Language Models 14 upvotes, #7 of 2024-04-05

Data: hysts-bot-data/daily-papers-stats and the Daily Papers API. Open data: tardellirs/paper-pulse-data. Sister project: Model Pulse, the download history of every model on the Hub.