Zhouliang Yu
- Papers
- 6
Cite
Notes
Only stored in your browser.
6papers
Authored papers
6Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
arXiv 2025
FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models
arXiv 2025
CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization
arXiv 2025
SimKO: Simple Pass@K Policy Optimization
arXiv 2025
Generating Symbolic World Models via Test-time Scaling of Large Language Models
arXiv 2025
COIG-P: A High-Quality and Large-Scale Chinese Preference Dataset for Alignment with Human Values
arXiv 2025
Affiliations
No known affiliations.
Frequent co-authors
10from 6 papers