00:00:00 / 00:00:00

Apparaît dans la 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.

Informations sur la vidéo

  • Date de captation 12/05/2022
  • Date de publication 13/05/2022
  • Institut IHES
  • Langue Anglais
  • Audience Researchers
  • Format MP4

Domaine(s)

Dernières questions liées sur MathOverflow

Pour poser une question, votre compte Carmin.tv doit être connecté à mathoverflow

Poser une question sur MathOverflow




Inscrivez-vous

  • Mettez des vidéos en favori
  • Ajoutez des vidéos à regarder plus tard &
    conservez votre historique de consultation
  • Commentez avec la communauté
    scientifique
  • Recevez des notifications de mise à jour
    de vos sujets favoris
Donner son avis