Zhihang Sun

According to our database, Zhihang Sun authored at least 9 papers between 2021 and 2025.

Collaborative distances:

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

2025

Learning Neural Vocoder from Range-Null Space Decomposition.

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

CoRR, July, 2025

Neural Vocoders as Speech Enhancers.

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

CoRR, January, 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 AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 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

CoRR, 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