TGViewer
AI Meetups AI Meetups @ai_meetups · 1.42K subscribers
Post #1961 247

Forwarded from AGIRussia.news (ОИИРоссия.новости)

https://aigents.timepad.ru/event/1412596/
Комплексный подход к формальной верификации систем искусственного интеллекта, основанных на нейронных сетях — Кондратьев Дмитрий Александрович (кандидат физико-математических наук, научный сотрудник Института систем информатики им. А.П. Ершова СО РАН и старший преподаватель Новосибирского государственного университета)
17 сентября 2026, 18:00 (время московское)
aigents.timepad.ru Семинар русскоязычного сообщества AGI / События на TimePad.ru LLM в оптике системного формализма Н. Лумана — Павел Ливерьевич Крупкин (к.ф-м.н., Научный руководитель Центра изучения Современности)
More from @ai_meetups
  1. Sep 22, 2026В субботу, 17 октября, Москва станет точкой притяжения для всех специалистов в области Rec…
  2. Sep 16, 2026👀Кто такой по-настоящему крутой дата-инженер сегодня? Профессия дата-инженера сильно изме…
  3. Sep 15, 2026VTORNIK.Вечер #10 29 сентября, с 19:00 до 21:00 мы рады вас пригласить на наш следующий ми…
  4. Sep 13, 2026Post #1963
  5. Sep 13, 2026Post #1962
  6. Sep 13, 2026Post #1960
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →