CMSA New Technologies in Mathematics: Language modeling for Mathematical Reasoning


View Calendar
January 20, 2021 3:00 pm - 4:00 pm
via Zoom Video Conferencing

Christian Szegedy - Google Research

In this talk, I will summarize the current state of the art of transformer based language models and give examples on non-trivial reasoning task language models can solve in higher order logic reasoning. I will also discuss how to inject injective bias into transformer networks via pretraining on very simple synthetic tasks and representing graph structures for transformer networks.