Семинар русскоязычного сообщества AGI

Комплексный подход к формальной верификации систем искусственного интеллекта, основанных на нейронных сетях - Кондратьев Дмитрий Александрович (кандидат физико-математических наук, научный сотрудник Института систем информатики им. А.П. Ершова СО РАН и старший преподаватель Новосибирского государственного университета)