Bingzhe Zhou

According to our database, Bingzhe Zhou authored at least 2 papers between 2023 and 2025.

Collaborative distances:

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

2025

Simulate, Refine and Integrate: Strategy Synthesis for Efficient SMT Solving.

Bingzhe Zhou, Hannan Wang, Yuan Yao, Taolue Chen, Feng Xu, Xiaoxing Ma

Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, 2025

2023

Hybrid API Migration: A Marriage of Small API Mapping Models and Large Language Models.

Bingzhe Zhou, Xinying Wang, Shengbin Xu, Yuan Yao, Minxue Pan, Feng Xu, Xiaoxing Ma

Proceedings of the 14th Asia-Pacific Symposium on Internetware, 2023