Shang, Shijie
- Stochastic heat equations with logarithmic nonlinearity
2019/07/09 by Shijie Shang, Shang, Shijie, Tusheng Zhang +1 · 5 citations
Computer Science · Economics, Econometrics and Finance · Mathematics · #35R60 #60H15 #Advanced Mathematical Modeling in Engineering #FOS: Mathematics #Nonlinear Partial Differential Equations #Probability (math.PR) #Stochastic processes and financial applications
- Well-posedness of stochastic partial differential equations with fully local monotone coefficients
2022/06/02 by Röckner, Michael, Shang, Shijie, Zhang, Tusheng · 4 citations
#35R60 (Secondary) #60H15 (Primary) #FOS: Mathematics #Probability (math.PR)
- Step-3 is Large yet Affordable: Model-system Co-design for Cost-effective Decoding
2025/07/25 by StepFun, :, Bin Wang +284 · 18 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Natural Language Processing Techniques #Speech Recognition and Synthesis #Topic Modeling
- Large deviations of stochastic heat equations with logarithmic nonlinearity
2022/07/06 by Pan, Tianyi, Shang, Shijie, Zhang, Tusheng · 3 citations
#35R60 (Secondary) #60H15 (Primary) 60F10 #FOS: Mathematics #Probability (math.PR)
- Large deviations of fully local monotone stochastic partial differential equations driven by gradient-dependent noise
2022/12/20 by Pan, Tianyi, Shang, Shijie, Zhai, Jianliang +1 · 2 citations
#35R60 (Secondary) #60H15 (Primary) 60F10 #FOS: Mathematics #Probability (math.PR)
- Global well-posedness to stochastic reaction-diffusion equations on the real line ℝ with superlinear drifts driven by multiplicative space-time white noise
2021/06/05 by Shijie Shang, Shang, Shijie, Tusheng Zhang +1 · 2 citations
Economics, Econometrics and Finance · Mathematics · #FOS: Mathematics #Mathematical Biology Tumor Growth #Primary 60H15 #Probability (math.PR) #Secondary 35R60 #Stochastic processes and financial applications #advanced mathematical theories
- StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion
2025/08/06 by Wu, Yutong, Huang, Di, Wan, Ruosi +8 · 6 citations
#Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG)
- StepFun-Prover Preview: Let's Think and Verify Step by Step
2025/07/27 by Shijie Shang, Shang, Shijie, Ruosi Wan +11 · 4 citations
Computer Science · Engineering · #Logic, programming, and type systems #Artificial Intelligence in Games #Robot Manipulation and Learning