Соколов Павел Павлович

Доклады и лекции в базе данных Math-Net.Ru

1. Проверка моделей как средство верификации нейронных сетей
   П. П. Соколов
   Однодневный семинар по математической логике
   24 июня 2024 г. 14:30   
2. Формальная верификация на Arend
   П. П. Соколов
   Однодневный семинар по математической логике
   29 июня 2023 г. 16:00