@article{zhou2025scalable,
  title={Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems},
  author={Zhou, Jingyuan and Wu, Haoze and Yu, Haokun and Yang, Kaidi},
  journal={arXiv preprint arXiv:2509.10118},
  year={2025}
}