@misc{douglas2026nonsofic,
  author  = {Douglas, Seth and Mghirbi, Nidhal},
  title   = {Non-soficity of {OpenAI}'s torsion-free hyperbolic group},
  year    = {2026},
  version = {1.1.0},
  doi     = {10.5281/zenodo.23374284},
  url     = {https://doi.org/10.5281/zenodo.23374284}
}