00:00:00 / 00:00:00

Appears in collection : Mikefest : A conference in honor of Michael Douglas’ 60th birthday

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.

Information about the video

  • Date of recording 5/12/22
  • Date of publication 5/13/22
  • Institution IHES
  • Language English
  • Audience Researchers
  • Format MP4


Last related questions on MathOverflow

You have to connect your Carmin.tv account with mathoverflow to add question

Ask a question on MathOverflow


  • Bookmark videos
  • Add videos to see later &
    keep your browsing history
  • Comment with the scientific
  • Get notification updates
    for your favorite subjects
Give feedback