Zengyu Liu

According to our database, Zengyu Liu authored at least 9 papers between 2023 and 2025.

Collaborative distances:

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

2025

Verifying Neural Network Controlled Systems by Combining Forward and Backward Reachability Analysis.

Xinyu Wang, Liqian Chen, Zengyu Liu, Minghao Li, Banghu Yin

Proceedings of the 25th International Conference on Software Quality, 2025

Learning Subject to Constraints via Abstract Gradient Descent.

Shiwen Yu, Wanwei Liu, Zengyu Liu, Liqian Chen, Ting Wang, Naijun Zhan, Ji Wang

Proceedings of the International Conference on Neuro-symbolic Systems, 2025

Zeitgebers-Based User Experience Analysis and Time Perception Modeling via Transformer in VR.

Yi Li, Zengyu Liu, Xiandi Zhu, Zhitao Liu, Yalan Ye, Ning Xie

Proceedings of the International Symposium on Mixed and Augmented Reality, 2025

DCCL: Discriminative Cosine Center Learning for 3D Cross-Modal Retrieval with Real-world Image.

Zengyu Liu, Zhitao Liu, Yi Li, Zhenjiang Du, Lei Zhang, Ning Xie

Proceedings of the IEEE International Conference on Multimedia and Expo, 2025

2024

Neural Solving Uninterpreted Predicates with Abstract Gradient Descent.

Shiwen Yu, Zengyu Liu, Ting Wang, Ji Wang

ACM Trans. Softw. Eng. Methodol., November, 2024

Zeitgebers-Based User Time Perception Analysis and Data-Driven Modeling via Transformer in VR.

Yi Li, Zengyu Liu, Xiandi Zhu, Ning Xie

CoRR, 2024

Synthesizing Boxes Preconditions for Deep Neural Networks.

Zengyu Liu, Liqian Chen, Wanwei Liu, Ji Wang

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

2023

Instance-Variant Loss with Gaussian RBF Kernel for 3D Cross-modal Retriveal.

Zhitao Liu, Zengyu Liu, Jiwei Wei, Guan Wang, Zhenjiang Du, Ning Xie, Heng Tao Shen

CoRR, 2023

Monte Carlo Denoising via Multi-scale Auxiliary Feature Fusion Guided Transformer.

Bingyi Chen, Zengyu Liu, Li Yuan, Zhitao Liu, Yi Li, Guan Wang, Ning Xie

Proceedings of the SIGGRAPH Asia 2023 Technical Communications, 2023