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

Search
RSS
New in collection




June 24, 2024 14:30–15:00 		 

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

P. P. Sokolov
Supplementary materials:
Adobe PDF 1.6 Mb

Number of views:
This page:159
Video files:37
Materials:26




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