Transformer Encoder Satisfiability: Complexity and Impact on Formal Reasoning - Sälzer, Marco; Alsmann, Eric; Lange, Martin (International Conference on Learning Representations, 2025)