@misc{indiciae9aa1a3820a94,
  title = {Neuro-Symbolic Proof Generation for Scaling Systems Software Verification},
  author = {Baoding He and Zenan Li and Wei Sun and Yuan Yao and Taolue Chen and Xiaoxing Ma and Zhendong Su},
  year = {2026},
  url = {https://arxiv.org/abs/2603.19715},
  note = {Source identifier: 2603.19715}
}