Hannan Wang

According to our database, Hannan Wang authored at least 2 papers between 2024 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

2024

Clisp: A Robust Interactive Segmentation Framework for Pathological Images.

Hannan Wang, Jun Shi, Minfan Zhao, Liang Qiao, Zhaohui Wang, Yue Dai, Yuchen Ma, Hong An

Proceedings of the 46th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2024