Zhouliang Yu
Scholar

Zhouliang Yu

Google Scholar ID: qUMjnPcAAAAJ
The SphereLab, CUHK
Reinforcement LearningLLMFormal AI
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
211
 
H-index
8
 
i10-index
6
 
Publications
10
 
Co-authors
2
list available
Contact
No contact links provided.
Publications
8 items
Stabilizing Rubric Integration Training via Decoupled Advantage Normalization
2026
Cited
0
SimKO: Simple Pass@K Policy Optimization
2025
Cited
0
CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization
2025
Cited
0
FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models
2025
Cited
0
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
2025
Cited
0
COIG-P: A High-Quality and Large-Scale Chinese Preference Dataset for Alignment with Human Values
2025
Cited
0
Generating Symbolic World Models via Test-time Scaling of Large Language Models
2025
Cited
0
CodeEditorBench: Evaluating Code Editing Capability of Large Language Models
arXiv.org · 2024
Cited
9
Resume (English only)
Co-authors
2 total
Weiyang Liu
Weiyang Liu
CUHK | Max Planck Institute for Intelligent Systems
Ruotian Peng
Ruotian Peng
Westlake University