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)
Oleg Baryshnikov, M.Sc. in Applied Mathematics and Computer Science at HSE (St. P.) (Master’s Thesis).
Program code explanation with diagrams using large language models (2024-2025)