Videolibrary
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
Video Library
Archive
Most viewed videos

Search
RSS
New in collection




June 29, 2023 12:30–13:00 		 

Генерация доказательств математических теорем с помощью языковых моделей

Yu. N. Yarovikov
Video records:
MP4 277.0 Mb
Supplementary materials:
Adobe PDF 1.7 Mb

Number of views:
This page:24
Video files:5
Materials:2




Supplementary materials: Яровиков_Генерация_доказательств_математических_теорем_с_помощью_языковых_моделей.pdf (1.7 Mb)
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024