SearcharxivSearch

arXiv subjects

Wojciech Jablonski

Publications and source records attributed to Wojciech Jablonski.

4 recordsLinked to original sources

The devil is in discretization discrepancy. Robustifying Differentiable NAS with Single-Stage Searching Protocol

Neural Architecture Search (NAS) has been widely adopted to design neural networks for various computer vision tasks. One of its most promising subdomains is differentiable NAS (DNAS), where the optimal architecture is found in a differentiable manner. However, gradient-based methods suffer from the discretization error, which can severely damage the process of obtaining the final architecture. In our work, we first study the risk of discretization error and show how it affects an unregularized supernet. Then, we present that penalizing high entropy, a common technique of architecture regularization, can hinder the supernet's performance. Therefore, to robustify the DNAS framework, we introduce a novel single-stage searching protocol, which is not reliant on decoding a continuous architecture. Our results demonstrate that this approach outperforms other DNAS methods by achieving 75.3% in the searching stage on the Cityscapes validation dataset and attains performance 1.1% higher than the optimal network of DCNAS on the non-dense search space comprising short connections. The entire training process takes only 5.5 GPU days due to the weight reuse, and yields a computationally efficient architecture. Additionally, we propose a new dataset split procedure, which substantially improves results and prevents architecture degeneration in DARTS.

cs.CV

An algebraic structure of groups of solutions of the third Aczel-Jabotinsky formal differential equation

We study the algebraic structure of the groups of solutions of the third Acz{é}l-Jabotinsky differential equation $(H\circ Φ)(x)=\frac{dΦ}{d x}\cdot H(x)$ in the rings of formal power series and truncated formal power series $k[[x]]_s$, where $s$ is either a positive integer or $s=\infty$ and $H\in k[[x]]_s$ is given. We give also the detailed description of all solutions of this equation.

math.RA

On subadditive functions upper bounded on a 'large' set

The notion of a shift-compact set in an abelian topological group $X$ plays a significant role in functional equations and inequalities, especially so since each Borel set that is not Haar-meagre, alternatively not Haar-null, is necessarily shift-compact for $X$ completely metrizable (see \cite{BJ} and \cite{BinO8}). Although in general boundedness of a subadditive function does not imply its continuity, here we prove that each subadditive function $f:X\rightarrow \mathbb{R}$ (i.e. with the function satisfying $f(x+y)\leq f(x)+f(y)$ for $x,y\in X$) bounded above on a~shift-compact (non-Haar-null, non-Haar-meagre) set is locally bounded at each point of the domain. Our results refer to \cite[Chapter~XVI]{Kuczma} and papers by N.H.~Bingham and A.J.~Ostaszewski \cite{BO,BinO1,BinO2,BinO6,BinO7}.

math.CA

Steinhaus-type property for a boundary of a convex body

We show that if $U\subset\partial A$ is a neighbourhood of a point $x_0\in\partial A$ of the boundary of a convex body $A$ then it has the so-called Stainhaus-type property (the interior of $(U+U)$ is nonempty) if and only if $x_0$ is not a point of flatness of the boundary~$\partial A$. This implies that additive functions as well as mid-convex functions, bounded above on~$U$, are continuous.

math.FA