Neuro-Symbolic Proof Generation for Scaling Systems Software Verification

Baoding He, Nanjing University; Zenan Li, ETH Zurich; Wei Sun and Yuan Yao, Nanjing University; Taolue Chen, Birkbeck, University of London; Xiaoxing Ma, Nanjing University; Zhendong Su, ETH Zurich