Wenlei Shi

According to our database, Wenlei Shi authored at least 16 papers between 2013 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Accordion-Thinking: Self-Regulated Step Summaries for Efficient and Readable LLM Reasoning.

Zhicheng Yang, Zhijiang Guo, Yinya Huang, Yongxin Wang, Wenlei Shi, Yiwei Wang, Xiaodan Liang, Jing Tang

CoRR, February, 2026

2025

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

Jiangjie Chen, Wenxiang Chen, Jiacheng Du, Jinyi Hu, Zhicheng Jiang, Allan Jie, Xiaoran Jin, Xing Jin, Chenggang Li, Wenlei Shi, Zhihong Wang, Mingxuan Wang, Chenrui Wei, Shufa Wei, Huajian Xin, Fan Yang, Weihao Gao, Zheng Yuan, Tianyang Zhan, Zeyu Zheng, Tianxi Zhou, Thomas Hanwen Zhu

CoRR, December, 2025

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

Luoxin Chen, Jinming Gu, Liankai Huang, Wenhao Huang, Zhicheng Jiang, Allan Jie, Xiaoran Jin, Xing Jin, Chenggang Li, Kaijing Ma, Cheng Ren, Jiawei Shen, Wenlei Shi, Tong Sun, He Sun, Jiahui Wang, Siran Wang, Zhihong Wang, Chenrui Wei, Shufa Wei, Yonghui Wu, Yuchen Wu, Yihang Xia, Huajian Xin, Fan Yang, Huaiyuan Ying, Hongyi Yuan, Zheng Yuan, Tianyang Zhan, Chi Zhang, Yue Zhang, Ge Zhang, Tianyun Zhao, Jianqiu Zhao, Yichi Zhou, Thomas Hanwen Zhu

CoRR, July, 2025

Monte Carlo Neural PDE Solver for Learning PDEs via Probabilistic Representation.

Rui Zhang, Qi Meng, Rongchan Zhu, Yue Wang, Wenlei Shi, Shihua Zhang, Zhi-Ming Ma, Tie-Yan Liu

IEEE Trans. Pattern Anal. Mach. Intell., June, 2025

Heimdall: test-time scaling on the generative verification.

Wenlei Shi, Xing Jin

CoRR, April, 2025

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

Weizhe Chen, Zhicheng Zhang, Guanlin Liu, Renjie Zheng, Wenlei Shi, Chen Dun, Zheng Wu, Xing Jin, Lin Yan

Proceedings of the Findings of the Association for Computational Linguistics: NAACL 2025, Albuquerque, New Mexico, USA, April 29, 2025

2024

LordNet: An efficient neural network for learning to solve parametric partial differential equations without simulated data.

Xinquan Huang, Wenlei Shi, Xiaotian Gao, Xinran Wei, Jia Zhang, Jiang Bian, Mao Yang, Tie-Yan Liu

Neural Networks, 2024

Process Supervision-Guided Policy Optimization for Code Generation.

Ning Dai, Zheng Wu, Renjie Zheng, Ziyun Wei, Wenlei Shi, Xing Jin, Guanlin Liu, Chen Dun, Liang Huang, Lin Yan

CoRR, 2024

2023

Monte Carlo Neural Operator for Learning PDEs via Probabilistic Representation.

Rui Zhang, Qi Meng, Rongchan Zhu, Yue Wang, Wenlei Shi, Shihua Zhang, Zhi-Ming Ma, Tie-Yan Liu

CoRR, 2023

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

Xinquan Huang, Wenlei Shi, Qi Meng, Yue Wang, Xiaotian Gao, Jia Zhang, Tie-Yan Liu

Proceedings of the International Conference on Machine Learning, 2023

Learning Physics-Informed Neural Networks without Stacked Back-propagation.

Di He, Shanda Li, Wenlei Shi, Xiaotian Gao, Jia Zhang, Jiang Bian, Liwei Wang, Tie-Yan Liu

Proceedings of the International Conference on Artificial Intelligence and Statistics, 2023

2022

LordNet: Learning to Solve Parametric Partial Differential Equations without Simulated Data.

Wenlei Shi, Xinquan Huang, Xiaotian Gao, Xinran Wei, Jia Zhang, Jiang Bian, Mao Yang, Tie-Yan Liu

CoRR, 2022

2021

Application of Deep Learning in Financial Management Evaluation.

Wenlei Shi, Lei Xu, Dongli Peng

Sci. Program., 2021

Cooperative Policy Learning with Pre-trained Heterogeneous Observation Representations.

Wenlei Shi, Xinran Wei, Jia Zhang, Xiaoyuan Ni, Arthur Jiang, Jiang Bian, Tie-Yan Liu

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

2020

Enabling RFID-Based Tracking for Multi-Objects with Visual Aids: A Calibration-Free Solution.

Chunhui Duan, Wenlei Shi, Fan Dang, Xuan Ding

Proceedings of the 39th IEEE Conference on Computer Communications, 2020

2013

On DE: Its Nature and Features.

Huibin Zhuang, Wenlei Shi, Meihua Wang, Zhenqian Liu

Proceedings of the Chinese Lexical Semantics - 14th Workshop, 2013