Jingzhe Shi
Orcid: 0009-0007-3372-2949
According to our database1,
Jingzhe Shi authored at least 14 papers
between 2023 and 2026.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2026
Position: The Inevitable End of One-Architecture-Fits-All-Domains in Time Series Forecasting.
CoRR, February, 2026
Re:Form - Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny.
Trans. Mach. Learn. Res., 2026
2025
CoRR, October, 2025
CoRR, September, 2025
Re:Form - Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny.
CoRR, July, 2025
CoRR, February, 2025
Proceedings of the 33rd ACM International Conference on Multimedia, 2025
2024
Proceedings of the Advances in Neural Information Processing Systems 37: Annual Conference on Neural Information Processing Systems 2024, 2024
2023