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 is accepted to Doklady Mathematics)