Improved Algorithms for Maximum Satisfiability and Its Special Cases. - Kirill Brilliantov; Vasily Alferov; Ivan Bliznets (AAAI, 2023)

Parameterization of (Partial) Maximum Satisfiability above Matching in a Variable-Clause Graph. - Vasily Alferov; Ivan Bliznets; Kirill Brilliantov (AAAI, 2024)

Applying language models to algebraic topology: generating simplicial cycles using multi-labeling in Wu's formula. - Kirill Brilliantov; Fedor Pavutnitskiy; Dmitry Pasechnyuk; German Magai (ICML, 2024)

Compositional PAC-Bayes: Generalization of GNNs with persistence and beyond. - Kirill Brilliantov; Amauri H. Souza; Vikas Garg 001 (NeurIPS, 2024)

Is Value Functions Estimation with Classification Plug-and- play for Offline Reinforcement Learning? - Denis Tarasov; Kirill Brilliantov; Dmitrii Kharlapenko (Trans. Mach. Learn. Res., 2024)