Яровиков Юрий Николаевич

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

1. Генерация доказательств математических теорем с помощью языковых моделей
   Ю. Н. Яровиков
   Однодневный семинар по математической логике
   29 июня 2023 г. 12:30   
2. Предельные точки спектра 4-закон нуля или единицы для разреженных случайных графов
   Ю. Н. Яровиков
   Конференция международных математических центров мирового уровня
   13 августа 2021 г. 16:10