CMSA New Technologies in Mathematics: Language modeling for Mathematical Reasoning

CMSA EVENTS

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

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.

Zoom: https://harvard.zoom.us/j/99018808011?pwd=SjRlbWFwVms5YVcwWURVN3R3S2tCUT09