Can Transformers Reason Logically? A Study in SAT Solving. - Leyan Pan; Vijay Ganesh 001; Jacob D. Abernethy; Chris Esposo; Wenke Lee (CoRR, 2024)