Scholar
Wenlei Shi
Google Scholar ID: Q7ICmxMAAAAJ
Microsoft Research Asia
reinforcement learning
machine learning
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
307
H-index
9
i10-index
8
Publications
14
Co-authors
0
Publications
8 items
Accordion-Thinking: Self-Regulated Step Summaries for Efficient and Readable LLM Reasoning
2026
Cited
0
Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience
2025
Cited
0
Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
2025
Cited
0
Heimdall: test-time scaling on the generative verification
2025
Cited
0
Seed-Thinking-v1.5: Advancing Superb Reasoning Models with Reinforcement Learning
2025
Cited
1
Flaming-hot Initiation with Regular Execution Sampling for Large Language Models
arXiv.org · 2024
Cited
1
Process Supervision-Guided Policy Optimization for Code Generation
arXiv.org · 2024
Cited
2
Monte Carlo Neural PDE Solver for Learning PDEs Via Probabilistic Representation.
IEEE Transactions on Pattern Analysis and Machine Intelligence · 2023
Cited
2
