← Search

Karina Zainullina

2 accepted papers

2025

Guided Search Strategies in Non-Serializable Environments with Applications to Software Engineering Agents

ICML 2025poster

Large language models (LLMs) have recently achieved remarkable results in complex multi-step tasks, such as mathematical reasoning and agentic software engineering. However, they often struggle to maintain consistent performance across multiple solution attempts. One effective approach to narrow the…

Cited by 0SourcePDFScholar
2023

Algorithm for Constrained Markov Decision Process with Linear Convergence

AISTATS 2023poster

The problem of constrained Markov decision process is considered. An agent aims to maximize the expected accumulated discounted reward subject to multiple constraints on its costs (the number of constraints is relatively small). A new dual approach is proposed with the integration of two ingredients…

Cited by 11SourcePDFScholar