TY  - RPRT
TI  - Learning Provably Correct Distributed Protocols Without Human Knowledge
AU  - Yujie Hui
AU  - Xiaoyi Lu
AU  - Andrew Perrault
AU  - Yang Wang
PY  - 2026
UR  - https://arxiv.org/abs/2601.22369
ID  - 2601.22369
ER  -