Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Wenlei Shi
Observed name:
Shi, Wenlei
Observed institution:
Microsoft Research Asia (China)
OpenAlex ID:
A5102361776
Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience
2025
·
Chen, Jiangjie
, Chen, Wenxiang
, et al.
·
arXiv (Cornell University)
·
1
PDF
Seed1.5-Thinking: Advancing Superb Reasoning Models with Reinforcement Learning
2025
·
Seed, ByteDance
, :
, et al.
·
arXiv (Cornell University)
·
1
PDF
Driving atomic structures of molecules, crystals, and complex systems with local similarity kernels
2022
·
Lu, Ziheng
, Shi, Wenlei
, et al.
·
arXiv (Cornell University)
PDF
Show more works
View as search
Works count:
3
Citation count:
2
H-index:
1
I10-index:
Year
Topic
Type