HOME: Heard-Of based Formal Modeling and Verification Environment for Consensus Protocols. - Shumao Zhai; Xiaozhou Li; Ning Ge 002 (ICSE Companion, 2023)

Learning Splitting Heuristics in Divide-and-Conquer SAT Solvers with Reinforcement Learning. - Shumao Zhai; Ning Ge 002 (ICLR, 2025)