Algorithm for Constrained Markov Decision Process with Linear Convergence. - Egor Gladin; Maksim Lavrik-Karmazin; Karina Zainullina; Varvara Rudenko; Alexander V. Gasnikov; Martin Takác 001 (AISTATS, 2023)

Guided Search Strategies in Non-Serializable Environments with Applications to Software Engineering Agents. - Karina Zainullina; Alexander Golubev; Maria Trofimova; Sergei Polezhaev; Ibragim Badertdinov; Daria Litvintseva; Simon Karasik; Filipp Fisin; Sergei Skvortsov; Maksim Nekrashevich; Anton Shevtsov; Boris Yangel (CoRR, 2025)