Wenlei Shi - RankMe

20 papers A* 2A 2Journal 14Unranked 2

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Accordion-Thinking: Self-Regulated Step Summaries for Efficient and Readable LLM Reasoning. CoRR Zhicheng Yang, Zhijiang Guo, Yinya Huang, Yongxin Wang, Wenlei Shi, Yiwei Wang, Xiaodan Liang, Jing Tang
2025	—	`conf`	Flaming-hot Initiation with Regular Execution Sampling for Large Language Models. NAACL (Findings) Weizhe Chen, Zhicheng Zhang, Guanlin Liu, Renjie Zheng, Wenlei Shi, Chen Dun, Zheng Wu, Xing Jin, Lin Yan
2025	J	`jnl`	Heimdall: test-time scaling on the generative verification. CoRR Wenlei Shi, Xing Jin
2025	J	`jnl`	Monte Carlo Neural PDE Solver for Learning PDEs via Probabilistic Representation. IEEE Trans. Pattern Anal. Mach. Intell. Rui Zhang, Qi Meng, Rongchan Zhu, Yue Wang, Wenlei Shi, Shihua Zhang, Zhi-Ming Ma, Tie-Yan Liu
2025	J	`jnl`	Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience. CoRR 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
2025	J	`jnl`	Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving. CoRR 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
2024	J	`jnl`	Flaming-hot Initiation with Regular Execution Sampling for Large Language Models. CoRR Weizhe Chen, Zhicheng Zhang, Guanlin Liu, Renjie Zheng, Wenlei Shi, Chen Dun, Zheng Wu, Xing Jin, Lin Yan
2024	J	`jnl`	LordNet: An efficient neural network for learning to solve parametric partial differential equations without simulated data. Neural Networks Xinquan Huang, Wenlei Shi, Xiaotian Gao, Xinran Wei, Jia Zhang, Jiang Bian, Mao Yang, Tie-Yan Liu
2024	J	`jnl`	Process Supervision-Guided Policy Optimization for Code Generation. CoRR Ning Dai, Zheng Wu, Renjie Zheng, Ziyun Wei, Wenlei Shi, Xing Jin, Guanlin Liu, Chen Dun, Liang Huang, Lin Yan
2023	A	`conf`	Learning Physics-Informed Neural Networks without Stacked Back-propagation. AISTATS Di He, Shanda Li, Wenlei Shi, Xiaotian Gao, Jia Zhang, Jiang Bian, Liwei Wang, Tie-Yan Liu
2023	J	`jnl`	Monte Carlo Neural Operator for Learning PDEs via Probabilistic Representation. CoRR Rui Zhang, Qi Meng, Rongchan Zhu, Yue Wang, Wenlei Shi, Shihua Zhang, Zhi-Ming Ma, Tie-Yan Liu
2023	A*	`conf`	NeuralStagger: Accelerating Physics-constrained Neural PDE Solver with Spatial-temporal Decomposition. ICML Xinquan Huang, Wenlei Shi, Qi Meng, Yue Wang, Xiaotian Gao, Jia Zhang, Tie-Yan Liu
2023	J	`jnl`	NeuralStagger: accelerating physics-constrained neural PDE solver with spatial-temporal decomposition. CoRR Xinquan Huang, Wenlei Shi, Qi Meng, Yue Wang, Xiaotian Gao, Jia Zhang, Tie-Yan Liu
2022	J	`jnl`	Learning Physics-Informed Neural Networks without Stacked Back-propagation. CoRR Di He, Wenlei Shi, Shanda Li, Xiaotian Gao, Jia Zhang, Jiang Bian, Liwei Wang, Tie-Yan Liu
2022	J	`jnl`	LordNet: Learning to Solve Parametric Partial Differential Equations without Simulated Data. CoRR Wenlei Shi, Xinquan Huang, Xiaotian Gao, Xinran Wei, Jia Zhang, Jiang Bian, Mao Yang, Tie-Yan Liu
2021	J	`jnl`	Application of Deep Learning in Financial Management Evaluation. Sci. Program. Wenlei Shi, Lei Xu, Dongli Peng
2021	A	`conf`	Cooperative Policy Learning with Pre-trained Heterogeneous Observation Representations. AAMAS Wenlei Shi, Xinran Wei, Jia Zhang, Xiaoyuan Ni, Arthur Jiang, Jiang Bian, Tie-Yan Liu
2020	J	`jnl`	Cooperative Policy Learning with Pre-trained Heterogeneous Observation Representations. CoRR Wenlei Shi, Xinran Wei, Jia Zhang, Xiaoyuan Ni, Arthur Jiang, Jiang Bian, Tie-Yan Liu
2020	A*	`conf`	Enabling RFID-Based Tracking for Multi-Objects with Visual Aids: A Calibration-Free Solution. INFOCOM Chunhui Duan, Wenlei Shi, Fan Dang, Xuan Ding
2013	—	`conf`	On DE: Its Nature and Features. CLSW Huibin Zhuang, Wenlei Shi, Meihua Wang, Zhenqian Liu