@article{neurosymbolicproofgenerationforscalingsy,
  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},
  eprint = {2603.19715},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2603.19715},
}