Новости

На конференции выступят исследователи, имеющие прорывные разработки в области ИИ, которые базируются на следующих математических дисциплинах:
математическая логика;
теория алгоритмов;
теория вероятности и математическая статистика;
матричный анализ и линейная алгебра;
методы оптимизации и теория управления;
теория доказательств и дедуктивная верификация;
дифференциальные уравнения;
теория игр для объяснения и интерпретации работы диффузионных моделей, больших языковых моделей, вариационных автокодировщиков, байесовских нейронных сетей.