@article{thecomputationalcomplexityofformal,
  title = {Transformer Encoder Satisfiability: Complexity and Impact on Formal Reasoning},
  author = {Marco Sälzer and Eric Alsmann and Martin Lange},
  year = {2024},
  eprint = {2405.18548},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2405.18548v3},
}