AI for Mathematics Workshop

Abstract

I (virtually) attended the Workshop on AI for Mathematics and Formal Mathematics at the Simons Institute Berkeley.

Berfin Şimşek

postdoc @ Flatiron CCM
guest researcher @ NYU CDS