@misc{indiciae81a7102a4f62,
  title = {Transformer Encoder Satisfiability: Complexity and Impact on Formal Reasoning},
  author = {Marco Sälzer and Eric Alsmann and Martin Lange},
  year = {2025},
  url = {https://arxiv.org/abs/2405.18548},
  note = {Source identifier: 2405.18548}
}