Transformer Encoder Satisfiability: Complexity and Impact on Formal Reasoning.

Marco Slzer, Eric Alsmann, Martin Lange

Browse the full ICLR paper archive.