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

Search
RSS
New in collection




June 24, 2024 14:30–15:00 		 

Проверка моделей как средство верификации нейронных сетей

P. P. Sokolov
Video records:
MP4 332.1 Mb
MP4 199.2 Mb
Supplementary materials:
Adobe PDF 1.6 Mb

Number of views:
This page:72
Video files:8
Materials:10




Supplementary materials: Соколов.pdf (1.6 Mb)
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2025