@inproceedings{I3DP:SOSP2026,
  author = {Cao, Weining and Wu, Guangyuan and Yao, Yuan and Wei, Hengfeng and Chen, Taolue and Ma, Xiaoxing},
  title = {I3DP: Neuro-Symbolic Inductive Invariant Inference for Distributed Protocols},
  booktitle = {Proceedings of the ACM SIGOPS 32nd Symposium on Operating Systems Principles (SOSP '26)},
  year = {2026},
  pages = {620--635},
  doi = {10.1145/3830418.3843876},
  url = {https://doi.org/10.1145/3830418.3843876}
}