Алгоритмы
Совершенствование методов искусственного интеллекта для автоматического вывода доказательств теорем: State-of-the-art решение для системы CoQ, ускорение вывода доказательства за счет более информативных эмбеддингов, использование информации обо всех ветках доказательств (вкл. неудачные), сокращение длины доказательства за счет сгенерированных тактик и лемм
проекты
Автоматическое доказательство теорем
Мы открыты к сотрудничеству. Напишите нам, если у вас есть предложение о совместных проектах
КОНТАКТЫ
Лидер направления
Глеб Гусев