Ongoing

People at CMSA – Dec 2-6, 2024

CMSA 20 Garden Street Cambridge, Massachusetts 02138 United States

Full Name Role Office # Affiliation Dates Email Address Iacopo Brivio Postdoctoral Fellow 112 CMSA ibrivio@cmsa.fas.harvard.edu Hugo Cui Postdoctoral Fellow 112 CMSA hugo.cui@epfl.ch Tomer Ezra Postdoctoral Fellow 109 CMSA tomer@cmsa.fas.harvard.edu […]

Can Transformers Reason Logically? A Study in SAT-Solving

CMSA Room G10 CMSA, 20 Garden Street, Cambridge

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 reasoning. […]