Zengyu Liu

According to our database, Zengyu Liu authored at least 5 papers between 2023 and 2024.

Collaborative distances:

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

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