Georgii Angeni, B.Sc. in Math. and Computer Science at St. Petersburg University (Bachelor’s Thesis).
Finding heuristic rules for solving the Boolean satisfiability problem using machine learning methods (2022-2023)
Anastasia Predelina, B.Sc. in Math. and Computer Science at St. Petersburg University (Bachelor’s Thesis).
Neural networks for coordination analysis (2022-2023) (The paper has been published in Doklady Mathematics)
Mikhail Shirokikh, M.Sc. in Mathematics at St. Petersburg University (Master’s Thesis).
Efficient neural architectures for NP-hard problems and recommender systems (2023-2024) (The papers have been accepted to the ACM SIGIR conference and the Journal of Mathematical Sciences)