Can Transformers Reason Logically? A Study in SAT Solving.

Leyan Pan, Vijay Ganesh, Jacob D. Abernethy, Chris Esposo, Wenke Lee

Browse the full ICML paper archive.