Wenlei Shi's picture

1 5

Wenlei Shi

WesleyShi

·

AI & ML interests

None yet

Recent Activity

upvoted a paper 5 days ago

Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience

upvoted a paper about 1 month ago

Lumine: An Open Recipe for Building Generalist Agents in 3D Open Worlds

upvoted a paper 4 months ago

VibeVoice Technical Report

View all activity

Organizations

None yet

authored 2 papers 5 months ago

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

Paper • 2504.13914 • Published Apr 10 • 4

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving

Paper • 2507.23726 • Published Jul 31 • 114

authored 3 papers 9 months ago

NeuralStagger: Accelerating Physics-constrained Neural PDE Solver with Spatial-temporal Decomposition

Paper • 2302.10255 • Published Feb 20, 2023

Flaming-hot Initiation with Regular Execution Sampling for Large Language Models

Paper • 2410.21236 • Published Oct 28, 2024

Process Supervision-Guided Policy Optimization for Code Generation

Paper • 2410.17621 • Published Oct 23, 2024