@misc{indiciae79156ccd05ca,
  title = {Learning Provably Correct Distributed Protocols Without Human Knowledge},
  author = {Yujie Hui and Xiaoyi Lu and Andrew Perrault and Yang Wang},
  year = {2026},
  url = {https://arxiv.org/abs/2601.22369},
  note = {Source identifier: 2601.22369}
}