Shumao Zhai

According to our database, Shumao Zhai authored at least 2 papers between 2023 and 2025.

Collaborative distances:

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

2025

Learning Splitting Heuristics in Divide-and-Conquer SAT Solvers with Reinforcement Learning.

Shumao Zhai, Ning Ge

Proceedings of the Thirteenth International Conference on Learning Representations, 2025

2023

HOME: Heard-Of based Formal Modeling and Verification Environment for Consensus Protocols.

Shumao Zhai, Xiaozhou Li, Ning Ge

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023