Related papers: AdaBoost Does Not Always Cycle: A Computer-Assiste…
Algorithmic recourse aims to provide actionable recommendations to individuals to obtain a more favourable outcome from an automated decision-making system. As it involves reasoning about interventions performed in the physical world,…
Under data distributions which may be heavy-tailed, many stochastic gradient-based learning algorithms are driven by feedback queried at points with almost no performance guarantees on their own. Here we explore a modified "anytime…
The goal of this paper is to show how to produce a piece of rigorous bifurcation diagram of periodic orbits for an ODE. We study the Rossler system, one of the textbook examples of ODEs generating nontrivial dynamics, for the parameter…
We consider time-invariant nonlinear $n$-dimensional strongly $2$-cooperative systems, that is, systems that map the set of vectors with up to weak sign variation to its interior. Strongly $2$-cooperative systems enjoy a strong…
Goal-directed evaluation of Answer Set Programs is gaining traction thanks to its amenability to create AI systems that can, due to the evaluation mechanism used, generate explanations and justifications. s(CASP) is one of these systems and…
The intersection of numerical analysis and machine learning, particularly in the domain of Neural ODEs and Physics-Informed Neural Networks (PINNs), relies heavily on discrete approximations of continuous flows. However, in stiff systems,…
This article presents a variety of algebraic proofs of Steiner's $1$-Cycle Theorem. It also demonstrates that, under an exponential upper-bound on the iterates, the only $1$-cycles in the (accelerated) $3x-1$ dynamical system are $(1)$ and…
We propose a computationally-friendly adaptive learning rate schedule, "AdaLoss", which directly uses the information of the loss function to adjust the stepsize in gradient descent methods. We prove that this schedule enjoys linear…
Multicalibration gradient boosting has recently emerged as a scalable method that empirically produces approximately multicalibrated predictors and has been deployed at web scale. Despite this empirical success, its convergence properties…
For infinite-dimensional quasi-compact cocycles over a map satisfying a certain closing condition, we show that periodic orbits carry enough information to guarantee the existence of a dominated splitting. More precisely, we establish that…
AdaBoost is an important algorithm in machine learning and is being widely used in object detection. AdaBoost works by iteratively selecting the best amongst weak classifiers, and then combines several weak classifiers to obtain a strong…
Stochastic quasi-cycles for a two species model of the excitatory-inhibitory type, arranged on a triangular loop, are studied. By increasing the strength of the inter-nodes coupling, one moves the system towards the Hopf bifurcation and the…
Non-trivial analysis problems require posets with infinite ascending and descending chains. In order to compute reasonably precise post-fixpoints of the resulting systems of equations, Cousot and Cousot have suggested accelerated fixpoint…
In this paper, we prove the conjecture of Demyanov and Ryabova on the length of cycles in converting exhausters in an affinely independent setting and obtain a combinatorial reformulation of the conjecture. Given a finite collection of…
A cyclic proof system allows us to perform inductive reasoning without explicit inductions. We propose a cyclic proof system for HFLN, which is a higher-order predicate logic with natural numbers and alternating fixed-points. Ours is the…
We study finite-horizon budget allocation as a closed-loop economic control problem and evaluate receding-horizon Model Predictive Control (MPC) relative to reactive budgeting policies. Budgets are allocated periodically under execution…
We give a formalism of arithmetic mixed sheaves including the case of arithmetic mixed Hodge structures, and show the nonvanishing of certain higher extension groups, and also the nontriviality of the second Abel-Jacobi map for zero cycles…
We consider reachability in dynamical systems with discrete linear updates, but with fixed digital precision, i.e., such that values of the system are rounded at each step. Given a matrix $M \in \mathbb{Q}^{d \times d}$, an initial vector…
In the physics literature it is common to see the rotating wave approximation andthe adiabatic approximation used "in cascade" to justify the use of chirped pulses for two-level quantum systems driven by one external field, in particular…
The production network under examination consists of a number of workstations. Each workstation is a parallel configuration of machines performing the same kind of tasks on a given part. Parts move from one workstation to another and at…