Showing 1–13 of 13 results for author: Skvortsov, S

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

Authors: Karina Zainullina, Alexander Golubev, Maria Trofimova, Sergei Polezhaev, Ibragim Badertdinov, Daria Litvintseva, Simon Karasik, Filipp Fisin, Sergei Skvortsov, Maksim Nekrashevich, Anton Shevtsov, Boris Yangel

Abstract: 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 gap between average-case and best-case performance is guided test-time search, which explores multi… ▽ More 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 gap between average-case and best-case performance is guided test-time search, which explores multiple solution paths to identify the most promising one. Unfortunately, effective search techniques (e.g. MCTS) are often unsuitable for non-serializable RL environments, such as Docker containers, where intermediate environment states cannot be easily saved and restored. We investigate two complementary search strategies applicable to such environments: 1-step lookahead and trajectory selection, both guided by a learned action-value function estimator. On the SWE-bench Verified benchmark, a key testbed for agentic software engineering, we find these methods to double the average success rate of a fine-tuned Qwen-72B model, achieving 40.8%, the new state-of-the-art for open-weights models. Additionally, we show that these techniques are transferable to more advanced closed models, yielding similar improvements with GPT-4o. △ Less

Submitted 19 May, 2025; originally announced May 2025.

Comments: ICML

Logarithmic Holder continuous mappings and Beltrami equation

Authors: E. Sevost'yanov, S. Skvortsov

Abstract: The paper is devoted to the study of mappings satisfying the inverse Poletsky inequality. We study the local behavior of these mappings, moreover, we are most interested in the case when the corresponding majorant is integrable on some set of spheres of positive linear measure. The most important result is a logarithmic Hölder continuity of such mappings at inner points. As a corollary, we obtaine… ▽ More The paper is devoted to the study of mappings satisfying the inverse Poletsky inequality. We study the local behavior of these mappings, moreover, we are most interested in the case when the corresponding majorant is integrable on some set of spheres of positive linear measure. The most important result is a logarithmic Hölder continuity of such mappings at inner points. As a corollary, we obtained the existence of a continuous $ACL$-solution of the Beltrami equation, which is logarithmic Hölder continuous. △ Less

Submitted 25 December, 2020; v1 submitted 18 February, 2020; originally announced February 2020.

MSC Class: 30C65; 31A15; 31B25

On equicontinuity of families of mappings with a fixed point of a domain

Authors: E. A. Sevost'yanov, S. O. Skvortsov

Abstract: The behavior of a class of mappings of a domain of Euclidean space is studied. It is established that the indicated class is equicontinuous both at the inner and at the boundary points of the domain if the mappings contained in it satisfy the general normalization condition, and the corresponding characteristic of quasiconformality has a weak growth. The behavior of a class of mappings of a domain of Euclidean space is studied. It is established that the indicated class is equicontinuous both at the inner and at the boundary points of the domain if the mappings contained in it satisfy the general normalization condition, and the corresponding characteristic of quasiconformality has a weak growth. △ Less

Submitted 25 October, 2019; originally announced November 2019.

Comments: in Ukrainian

MSC Class: 30C65

On mappings satisfying the inverse Poletsky inequality

Authors: E. A. Sevost'yanov, S. O. Skvortsov, O. P. Dovhopiatyi

Abstract: We have studied the local and boundary behavior of mappings satisfying one estimate of the distortion of the modulus of families of paths. In particular, we have obtained conditions under which the families of the indicated mappings are equicontinuous inside and on the boundary of a domain. We have studied the local and boundary behavior of mappings satisfying one estimate of the distortion of the modulus of families of paths. In particular, we have obtained conditions under which the families of the indicated mappings are equicontinuous inside and on the boundary of a domain. △ Less

Submitted 26 March, 2019; originally announced April 2019.

Comments: in Russian

MSC Class: 30C65

On ring homeomorphisms with inverse modulus conditions

Authors: Evgeny Sevost'yanov, Sergei Skvortsov

Abstract: We consider a class of so-called ring $Q$-mappings that are a generalization of quasiconformal mappings. Theorems on the local behavior of inverse maps of this class are obtained. Under certain conditions, we also investigated the behavior of families of these mappings in the closure of the domain We consider a class of so-called ring $Q$-mappings that are a generalization of quasiconformal mappings. Theorems on the local behavior of inverse maps of this class are obtained. Under certain conditions, we also investigated the behavior of families of these mappings in the closure of the domain △ Less

Submitted 19 May, 2018; originally announced May 2018.

Comments: arXiv admin note: text overlap with arXiv:1801.01808

MSC Class: 30C65; 32U20; 31B15

On behavior of a class of mappings in terms of prime ends

Authors: E. A. Sevost'yanov, S. A. Skvortsov, N. S. Ilkevych

Abstract: The paper is devoted to the study of mappings with finite distortion, actively studied recently. For mappings whose inverse satisfy the Poletsky inequality, the results on boundary behavior in terms of prime ends are obtained. In particular, it was proved that the families of the indicated mappings are equicontinuous at the points of the boundary if a certain function determining the distortion of… ▽ More The paper is devoted to the study of mappings with finite distortion, actively studied recently. For mappings whose inverse satisfy the Poletsky inequality, the results on boundary behavior in terms of prime ends are obtained. In particular, it was proved that the families of the indicated mappings are equicontinuous at the points of the boundary if a certain function determining the distortion of the module under the mappings is integrable in a given domain. △ Less

Submitted 12 January, 2019; v1 submitted 13 January, 2018; originally announced January 2018.

Comments: 7 figures, 20 pages

MSC Class: 30C65

On behavior of homeomorphisms with inverse modulus conditions

Authors: E. A. Sevost'yanov, S. A. Skvortsov

Abstract: We consider some class of homeomorphisms of domains of Euclidean space, which are more general than quasiconformal mappings. For these homeomorphisms, we have obtained theorems on local behavior of it's inverse mappings in a given domain. Under some additional conditions, we proved results about behavior of mappings mentioned above in the closure of the domain. We consider some class of homeomorphisms of domains of Euclidean space, which are more general than quasiconformal mappings. For these homeomorphisms, we have obtained theorems on local behavior of it's inverse mappings in a given domain. Under some additional conditions, we proved results about behavior of mappings mentioned above in the closure of the domain. △ Less

Submitted 9 May, 2018; v1 submitted 20 December, 2017; originally announced January 2018.

Comments: in Russian

MSC Class: 30C65

On equicontinuous families of mappings in metric spaces

Authors: Evgeny Sevost'yanov, Sergei Skvortsov, Evgeniy Petrov

Abstract: The article is devoted to the study of mappings with finite distortion in metric spaces. Analogues of results relating to equicontinuity and normality of families of quasiregular mappings are obtained. It is proved that the indicated families are equicontinuous if the characteristic of the mappings has a finite mean oscillation at each inner point, and the maps omit a certain fixed continuum. An e… ▽ More The article is devoted to the study of mappings with finite distortion in metric spaces. Analogues of results relating to equicontinuity and normality of families of quasiregular mappings are obtained. It is proved that the indicated families are equicontinuous if the characteristic of the mappings has a finite mean oscillation at each inner point, and the maps omit a certain fixed continuum. An equicontinuity of generalized quasiisometries on Riemannian manifolds is also obtained. △ Less

Submitted 22 January, 2019; v1 submitted 18 July, 2017; originally announced July 2017.

MSC Class: 30C65

On equicontinuity of mappings in a case of variable domains

Authors: E. A. Sevost'yanov, S. A. Skvortsov

Abstract: We study a local behavior of one class of mappings, which are defined in a domain of $n$-measured Euclidean space, in a case, when corresponding images of this domain are variable. Under some conditions on a function defining a behavior of mappings mentioned above, and some restrictions on mapped domains, the equicontinuity of the corresponding family of the mappings in the closure of the initial… ▽ More We study a local behavior of one class of mappings, which are defined in a domain of $n$-measured Euclidean space, in a case, when corresponding images of this domain are variable. Under some conditions on a function defining a behavior of mappings mentioned above, and some restrictions on mapped domains, the equicontinuity of the corresponding family of the mappings in the closure of the initial domain is proved. △ Less

Submitted 16 January, 2017; originally announced January 2017.

Comments: in Russian

MSC Class: 30C65

On lightness of one class of mappings in metric spaces

Authors: Evgeny Sevost'yanov, Sergei Skvortsov

Abstract: For mappings in metric spaces satisfying one inequality with respect to modulus of families of curves, there is proved a lightness of preimage under the mapping. It is proved that, the mappings, satisfying estimate mentioned above, are light, whenever a function which corresponds to distortion of families of curves under the mapping, is of finite mean oscillation at every point. For mappings in metric spaces satisfying one inequality with respect to modulus of families of curves, there is proved a lightness of preimage under the mapping. It is proved that, the mappings, satisfying estimate mentioned above, are light, whenever a function which corresponds to distortion of families of curves under the mapping, is of finite mean oscillation at every point. △ Less

Submitted 11 December, 2015; originally announced December 2015.

Comments: in Russian

MSC Class: 30L10; 30C65

On convergence of mappings in metric spaces with direct and inverse modulus conditions

Authors: E. A. Sevost'yanov, S. A. Skvortsov

Abstract: For mappings in metric spaces satisfying one inequality with respect to modulus of families of curves, there is proved a lightness of the uniform limit of these mappings. It is proved that, the uniform limit of these mappings is light mapping, whenever a function which corresponds to distortion of families of curves, is of finite mean oscillation at every point. Besides that, for one class of home… ▽ More For mappings in metric spaces satisfying one inequality with respect to modulus of families of curves, there is proved a lightness of the uniform limit of these mappings. It is proved that, the uniform limit of these mappings is light mapping, whenever a function which corresponds to distortion of families of curves, is of finite mean oscillation at every point. Besides that, for one class of homeomorphisms of metric spaces, there are obtained theorems about equicontinuity of inverse mappings. △ Less

Submitted 30 January, 2018; v1 submitted 2 October, 2015; originally announced October 2015.

Comments: in Russian

MSC Class: 30C65

On equicontinuity of generalized quasiisometries on Riemannian manifolds

Authors: E. A. Sevost'yanov, S. A. Skvortsov

Abstract: The present paper is devoted to the study of mappings with finite distortion on Riemannian manifolds. Theorems on local behavior of generalized quasiisometries with unbounded characteristic of quasiconformality are obtained. The present paper is devoted to the study of mappings with finite distortion on Riemannian manifolds. Theorems on local behavior of generalized quasiisometries with unbounded characteristic of quasiconformality are obtained. △ Less

Submitted 20 December, 2015; v1 submitted 7 September, 2015; originally announced September 2015.

Comments: in Russian

MSC Class: 30C65

Phase transition for Local Search on planted SAT

Authors: Andrei A. Bulatov, Evgeny S. Skvortsov

Abstract: The Local Search algorithm (or Hill Climbing, or Iterative Improvement) is one of the simplest heuristics to solve the Satisfiability and Max-Satisfiability problems. It is a part of many satisfiability and max-satisfiability solvers, where it is used to find a good starting point for a more sophisticated heuristics, and to improve a candidate solution. In this paper we give an analysis of Local… ▽ More The Local Search algorithm (or Hill Climbing, or Iterative Improvement) is one of the simplest heuristics to solve the Satisfiability and Max-Satisfiability problems. It is a part of many satisfiability and max-satisfiability solvers, where it is used to find a good starting point for a more sophisticated heuristics, and to improve a candidate solution. In this paper we give an analysis of Local Search on random planted 3-CNF formulas. We show that if there is k<7/6 such that the clause-to-variable ratio is less than k ln(n) (n is the number of variables in a CNF) then Local Search whp does not find a satisfying assignment, and if there is k>7/6 such that the clause-to-variable ratio is greater than k ln(n)$ then the local search whp finds a satisfying assignment. As a byproduct we also show that for any constant r there is g such that Local Search applied to a random (not necessarily planted) 3-CNF with clause-to-variable ratio r produces an assignment that satisfies at least gn clauses less than the maximal number of satisfiable clauses. △ Less

Submitted 15 November, 2008; originally announced November 2008.

Comments: 20 pages, 3 figures, submitted to a conference