TY  - RPRT
TI  - Can Transformers Reason Logically? A Study in SAT Solving
AU  - Leyan Pan
AU  - Vijay Ganesh
AU  - Jacob Abernethy
AU  - Chris Esposo
AU  - Wenke Lee
PY  - 2025
UR  - https://arxiv.org/abs/2410.07432
ID  - 2410.07432
ER  -