Wenlei Shi

Orcid: 0000-0002-4036-3258

According to our database1, Wenlei Shi authored at least 14 papers between 2013 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving.
CoRR, July, 2025

Monte Carlo Neural PDE Solver for Learning PDEs via Probabilistic Representation.
IEEE Trans. Pattern Anal. Mach. Intell., June, 2025

Heimdall: test-time scaling on the generative verification.
CoRR, April, 2025

Flaming-hot Initiation with Regular Execution Sampling for Large Language Models.
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.
Neural Networks, 2024

Process Supervision-Guided Policy Optimization for Code Generation.
CoRR, 2024

2023
Monte Carlo Neural Operator for Learning PDEs via Probabilistic Representation.
CoRR, 2023

NeuralStagger: Accelerating Physics-constrained Neural PDE Solver with Spatial-temporal Decomposition.
Proceedings of the International Conference on Machine Learning, 2023

Learning Physics-Informed Neural Networks without Stacked Back-propagation.
Proceedings of the International Conference on Artificial Intelligence and Statistics, 2023

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

2021
Application of Deep Learning in Financial Management Evaluation.
Sci. Program., 2021

Cooperative Policy Learning with Pre-trained Heterogeneous Observation Representations.
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.
Proceedings of the 39th IEEE Conference on Computer Communications, 2020

2013
On DE: Its Nature and Features.
Proceedings of the Chinese Lexical Semantics - 14th Workshop, 2013


  Loading...