@misc{indiciae3b0c490d6d9f,
  title = {Machine-checkable equivalence certificates at the length-14 Andrews-Curtis frontier},
  author = {Josep Carreras},
  year = {2026},
  url = {https://arxiv.org/abs/2607.23611},
  note = {Source identifier: 2607.23611}
}