α
Research
Alpha Leak
Conferences
Topics
Top Authors
Rankings
Browse All
EN
中
Home
/
Authors
/
Wanjia Zhao
Wanjia Zhao
1
Affiliations
Affiliations
Stanford University
3
papers
164
total citations
papers (3)
DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search
ICLR 2025
arXiv
142
citations
SiriuS: Self-improving Multi-agent Systems via Bootstrapped Reasoning
NEURIPS 2025
arXiv
22
citations
Don’t Forget the Enjoin: FocalLoRA for Instruction Hierarchical Alignment in Large Language Models
NEURIPS 2025
0
citations