Stepwise: Neuro-Symbolic Proof Search for Automated Systems Verification. - Baoding He; Zenan Li; Wei Sun; Yuan Yao 001; Taolue Chen 001; Xiaoxing Ma; Zhendong Su 001 (CoRR, 2026)