Hangyu Lv

According to our database, Hangyu Lv authored at least 4 papers between 2016 and 2026.

Collaborative distances:

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

2026

Automated Formal Proofs of Combinatorial Identities via Wilf-Zeilberger Guidance and LLMs.

Beibei Xiong, Hangyu Lv, Junqi Liu, Yisen Wang, Shaoshi Chen, Jianlin Wang, Zhengfeng Yang, Lihong Zhi

CoRR, May, 2026

2025

A Combinatorial Identities Benchmark for Theorem Proving via Automated Theorem Generation.

Beibei Xiong, Hangyu Lv, Haojia Shan, Jianlin Wang, Zhengfeng Yang, Lihong Zhi

CoRR, February, 2025

2017

Timer-based power management for infrastructure IEEE 802.11 WLAN with unreliable wireless links.

Shenji Luan, Yi-hua Zhu, Hangyu Lv, Hua Hu

Int. J. Commun. Syst., 2017

2016

Energy Conservation Scheme for IEEE 802.15.4 Based Battery-Free Wireless Sensor Networks.

Yi-hua Zhu, Hangyu Lv, Yanyan Li, Ertao Li, Kaikai Chi

Proceedings of the International Conference on Networking and Network Applications, 2016