Zainullina, Karina

2 publications

ICML 2025 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
AISTATS 2023 Algorithm for Constrained Markov Decision Process with Linear Convergence Egor Gladin, Maksim Lavrik-Karmazin, Karina Zainullina, Varvara Rudenko, Alexander Gasnikov, Martin Takac