Deyuan He

According to our database, Deyuan He authored at least 3 papers between 2020 and 2026.

Collaborative distances:

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

2026

Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification.

Zenan Li, Ziran Yang, Deyuan He, Haoyu Zhao, Andrew Zhao, Shange Tang, Kaiyu Yang, Aarti Gupta, Zhendong Su, Chi Jin

CoRR, March, 2026

AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms.

Haoyu Zhao, Ziran Yang, Jiawei Li, Deyuan He, Zenan Li, Chi Jin, Venugopal V. Veeravalli, Aarti Gupta, Sanjeev Arora

CoRR, February, 2026

2020

DWM: A Decomposable Winograd Method for Convolution Acceleration.

Di Huang, Xishan Zhang, Rui Zhang, Tian Zhi, Deyuan He, Jiaming Guo, Chang Liu, Qi Guo, Zidong Du, Shaoli Liu, Tianshi Chen, Yunji Chen

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020