LLMpeople
Public Atlas People first, reports as evidence, organizations as context.

Atlas / People / Detail

Wenlei Shi

Public profiles on OpenReview and DBLP link Wenlei Shi to Microsoft Research (2019-2024) and publications in PDE learning, scientific machine learning, code generation, and reasoning-related LLM work.

Researcher working on scientific machine learning, PDE solvers, and LLM-related reasoning/code generation.1 organizations1 reports

Profile status: updated

updated 3 public sources
scientific machine learningpartial differential equationscode generationautomated theorem proving

Current frame

Researcher working on scientific machine learning, PDE solvers, and LLM-related reasoning/code generation.

Extended note

Wenlei Shi is a researcher with public publication records across scientific machine learning and language-model-related reasoning work. OpenReview lists a Researcher role at Microsoft Research from 2019 to 2024, and DBLP/OpenReview aggregate papers on partial differential equation solvers, physics-informed learning, code generation, and automated theorem proving; the provided ByteDance Seed report confirms authorship there, but no stronger public current-title evidence was found.

Work

Microsoft Research Researcher

Public links

openreview OpenReview dblp DBLP google_scholar Google Scholar orcid ORCID

Organizations

core ByteDance Seed

Reports

Report Seed1.5-Thinking: Advancing Superb Reasoning Models with Reinforcement Learning

Official and primary sources

dblp: Wenlei Shi Official source · dblp · DBLP Wenlei Shi | OpenReview Official source · openreview · OpenReview Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving Official source · team_page · ByteDance Seed