Guangyuan Wu

According to our database, Guangyuan Wu authored at least 13 papers between 2004 and 2026.

Collaborative distances:

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

2026

Synthesizing Inductive Invariants for Distributed Protocols via IC3 and Large Language Models.

Weining Cao, Guangyuan Wu, Yuan Yao, Hengfeng Wei, Taolue Chen, Xiaoxing Ma

CoRR, May, 2026

Uncertainty Quantification for LLM-based Code Generation.

Senrong Xu, Yuhao Tan, Yanke Zhou, Guangyuan Wu, Zenan Li, Yuan Yao, Taolue Chen, Feng Xu, Xiaoxing Ma

CoRR, May, 2026

ES-PINN: Environment sensing-based physics-informed neural network for spectral reconstruction from RGB images.

Yuheng Wu, Guangyuan Wu, Chenlong Zhang, Ronghao Liao

Expert Syst. Appl., 2026

2025

Clause2Inv: A Generate-Combine-Check Framework for Loop Invariant Inference.

Weining Cao, Guangyuan Wu, Tangzhi Xu, Yuan Yao, Hengfeng Wei, Taolue Chen, Xiaoxing Ma

Proc. ACM Softw. Eng., 2025

2024

EWRD: Entropy-Weighted Low-Light Image Enhancement via Reverse Diffusion Model.

Yuheng Wu, Guangyuan Wu, Ronghao Liao

Int. J. Intell. Syst., 2024

LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference.

Guangyuan Wu, Weining Cao, Yuan Yao, Hengfeng Wei, Taolue Chen, Xiaoxing Ma

Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024

2023

Optimized Method Based on Subspace Merging for Spectral Reflectance Recovery.

Yifan Xiong, Guangyuan Wu, Xiaozhou Li

Sensors, March, 2023

Spectral Filter Selection Based on Human Color Vision for Spectral Reflectance Recovery.

Shijun Niu, Guangyuan Wu, Xiaozhou Li

Sensors, 2023

2021

Skeleton-based Human Action Recognition by the Integration of Euclidean distance.

Yi Gao, Zhaokun Liu, Xinmeng Wu, Guangyuan Wu, Jiahui Zhao, Xiaofan Zhao

Proceedings of the ICIT 2021: IoT and Smart City, Guangzhou, China, December 22 - 25, 2021, 2021

2019

Resource allocation algorithm with worst case delay guarantees in energy harvesting body area networks.

Guangyuan Wu, Zhigang Chen, Deyu Zhang, Jiaqi Liu

Peer-to-Peer Netw. Appl., 2019

2018

An Optimal Online Resource Allocation Algorithm for Energy Harvesting Body Area Networks.

Guangyuan Wu, Zhigang Chen, Lin Guo, Jia Wu

Algorithms, 2018

2016

On the performance of cloud storage applications with global measurement.

Guangyuan Wu, Fangming Liu, Haowen Tang, Keke Huang, Qixia Zhang, Zhenhua Li, Ben Y. Zhao, Hai Jin

Proceedings of the 24th IEEE/ACM International Symposium on Quality of Service, 2016

2004

Dependence language model for information retrieval.

Jianfeng Gao, Jian-Yun Nie, Guangyuan Wu, Guihong Cao

Proceedings of the SIGIR 2004: Proceedings of the 27th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, 2004