@misc{indiciae85f84a7ecb87,
  title = {A computer-assisted proof of robust transitivity},
  author = {Marisa Cantarino and Andy Hammerlindl and Warwick Tucker},
  year = {2026},
  url = {https://arxiv.org/abs/2609.10120},
  note = {Source identifier: 2609.10120}
}