Can Transformers Reason Logically? A Study in SAT-Solving
CMSA Room G10 CMSA, 20 Garden Street, Cambridge, MA, United Stateshttps://youtu.be/o7uac6DuzcQ New Technologies in Mathematics Seminar Speaker: Leyan Pan, Georgia Tech Title: Can Transformers Reason Logically? A Study in SAT-Solving Abstract: Transformer-based LLMs have apparently demonstrated capabilities that resembles human […]