Shi, Wenlei

1. Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
   2025/07/31 by Luoxin Chen, Jinming Gu, Chen, Luoxin +69 · 2 voices · 33 citations
   #cs.AI #cs.CL
2. Seed1.5-Thinking: Advancing Superb Reasoning Models with Reinforcement Learning
   2025/04/10 by Seed, ByteDance, :, Chen, Jiaze +267 · 52 citations
   #Computation and Language (cs.CL) #FOS: Computer and information sciences
3. Heimdall: test-time scaling on the generative verification
   2025/04/14 by Shi, Wenlei, Xing Jin, Jin, Xing · 11 citations
   Materials Science · Computer Science · #Machine Learning in Materials Science #Computability, Logic, AI Algorithms #Explainable Artificial Intelligence (XAI)
4. NeuralStagger: Accelerating Physics-constrained Neural PDE Solver with Spatial-temporal Decomposition
   2023/02/20 by Huang, Xinquan, Shi, Wenlei, Meng, Qi +4 · 2 citations
   #FOS: Computer and information sciences #FOS: Physical sciences #Fluid Dynamics (physics.flu-dyn) #Machine Learning (cs.LG)
5. Process Supervision-Guided Policy Optimization for Code Generation
   2024/10/23 by Dai, Ning, Wu, Zheng, Zheng, Renjie +7 · 3 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #I.2.7
6. Learning Physics-Informed Neural Networks without Stacked Back-propagation
   2022/02/18 by Di He, He, Di, Shanda Li +13 · 1 citation
   Computer Science · Physics and Astronomy · #Computational Physics and Python Applications #FOS: Computer and information sciences #Machine Learning (cs.LG) #Model Reduction and Neural Networks
7. Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience
   2025/12/19 by Jiangjie Chen, Chen, Jiangjie, Wenxiang Chen +40 · 2 citations
   Computer Science · Materials Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Logic, programming, and type systems #Machine Learning in Materials Science #Mathematics, Computing, and Information Processing