Разработан символьный язык, дедуктивный движок и датафрейм, новый подход перебора теорем за время
Представлена новая модель E-KAN (ensembling KAN), основанная на архитектуре Kolmogorov-Arnold Network (KAN). Заняла 56 место на лидерборде датасета MNIST, имея показатель f1-score 97,89% на тестовой выборке.
Исследование взаимосвязи переобучения нейронных сетей с их возможностью к нахождению закономерностей в данных
Реализация модели из статьи "Grokking: Generalisation beyond overfitting". Дополнительно я описываю возможное объяснение феномена двойного спуска с точки зрения SGD.
Статья, в которой описаны продвинутые задачи теории перестановок. Цель работы состояла в изучении свойств корневые, коммутирующих и стабилизирующих графов для групп
Полную версию писал на Хабр. Исследование, посвященное проблеме нахождения минимального набора уравнений из системы, из которого можно вывести заданное уравнение.