Zhihang Sun

According to our database, Zhihang Sun authored at least 13 papers between 2021 and 2026.

Collaborative distances:

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

2026

Scalable Neural Vocoder from Range-Null Space Decomposition.

Andong Li, Tong Lei, Zhihang Sun, Rilin Chen, Xiaodong Li, Dong Yu, Chengshi Zheng

CoRR, March, 2026

Real-Time High-Precision Control of Robot Manipulators: An Adaptive Data-Driven Linear MPC Framework.

Qianchen Guo, Zhihang Sun, Wentao Ning, Di-Hua Zhai, Yuanqing Xia

IEEE Trans Autom. Sci. Eng., 2026

A Refined Ordering Consistency Theory: Full Sequential Consistency and Generalized Preventive Reasoning.

Zhiheng Cai, Zhihang Sun, Fei He

Proceedings of the Formal Methods - 27th International Symposium, 2026

2025

Neural Vocoders as Speech Enhancers.

Andong Li, Zhihang Sun, Fengyuan Hao, Xiaodong Li, Chengshi Zheng

CoRR, January, 2025

Scaling beyond Denoising: Submitted System and Findings in URGENT Challenge 2025.

Zhihang Sun, Andong Li, Tong Lei, Rilin Chen, Meng Yu, Chengshi Zheng, Yi Zhou, Dong Yu

Proceedings of the 26th Annual Conference of the International Speech Communication Association, 2025

SMRU-Lite: Efficient Low-Complexity Speech Enhancement Model with Uncertainty Estimation.

Zhiyu Zhang, Tong Lei, Zhihang Sun, Feiran Yang, Rilin Chen, Chunguo Li

Proceedings of the International Joint Conference on Neural Networks, 2025

Learning Neural Vocoder from Range-Null Space Decomposition.

Andong Li, Tong Lei, Zhihang Sun, Rilin Chen, Erwei Yin, Xiaodong Li, Chengshi Zheng

Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, 2025

Towards Building Human-like Smart Agents in Modern 3D Video Games (Student Abstract).

Zhihang Sun, Shuhan Qi, Xinhao Huang, Xinyu Xiao, Jiajia Zhang, Xuan Wang, Peixi Peng

Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence, 2025

2024

SMRU: Split-And-Merge Recurrent-Based UNet For Acoustic Echo Cancellation And Noise Suppression.

Zhihang Sun, Andong Li, Rilin Chen, Hao Zhang, Meng Yu, Yi Zhou, Dong Yu

Proceedings of the IEEE Spoken Language Technology Workshop, 2024

2023

Satisfiability Modulo Ordering Consistency Theory for SC, TSO, and PSO Memory Models.

Hongyu Fan, Zhihang Sun, Fei He

ACM Trans. Program. Lang. Syst., March, 2023

2022

Consistency-preserving propagation for SMT solving of concurrent program verification.

Zhihang Sun, Hongyu Fan, Fei He

Proc. ACM Program. Lang., 2022

Deagle: An SMT-based Verifier for Multi-threaded Programs (Competition Contribution).

Fei He, Zhihang Sun, Hongyu Fan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

2021

Satisfiability modulo ordering consistency theory for multi-threaded program verification.

Fei He, Zhihang Sun, Hongyu Fan

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021