Christian Szegedy - Deep Learning for Formal Reasoning

Here I will discuss the frontier of research for formal reasoning via deep neural networks. I will highlight the most recent progress in the area, especially automated theorem proving and automated formalization of natural language text. Also, I will discuss the role of language models, contrastive training, retrieval augmented modeling, and reinforcement learning toward the long-term goal of creating a system that can formalize and verify theories starting from a large natural language corpus.

Christian Szegedy (Google Research)

Видео Christian Szegedy - Deep Learning for Formal Reasoning канала Institut des Hautes Etudes Scientifiques (IHES)