Разработан символьный язык, дедуктивный движок и датафрейм, новый подход перебора теорем за время
Статья, в которой описаны продвинутые задачи теории перестановок. Цель работы состояла в изучении свойств корневые, коммутирующих и стабилизирующих графов для групп
Исследование взаимосвязи переобучения нейронных сетей с их возможностью к нахождению закономерностей в данных
Реализация модели из статьи "Grokking: Generalisation beyond overfitting". Дополнительно я описываю возможное объяснение феномена двойного спуска с точки зрения SGD.