Karina Zainullina

According to our database, Karina Zainullina authored at least 2 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

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

CoRR, May, 2025

2023

Algorithm for Constrained Markov Decision Process with Linear Convergence.

Egor Gladin, Maksim Lavrik-Karmazin, Karina Zainullina, Varvara Rudenko, Alexander V. Gasnikov, Martin Takác

Proceedings of the International Conference on Artificial Intelligence and Statistics, 2023