Related papers: A Weakness Measure for GR(1) Formulae
Reliable evaluation protocols are of utmost importance for reproducible NLP research. In this work, we show that sometimes neither metric nor conventional human evaluation is sufficient to draw conclusions about system performance. Using…
The products of weak values of quantum observables are shown to be of value in deriving quantum uncertainty and complementarity relations, for both weak and strong measurement statistics. First, a 'product representation formula' allows the…
This paper investigates the synthesis of robust controllers from logical specification of regular properties given in an interval temporal logic QDDC. Our specification encompasses both hard robustness and soft robustness. Here, hard…
The weak equivalence principle (WEP) is the cornerstone of gravitational theories. At the local scale, WEP has been tested to high accuracy by various experiments. On the intergalactic distance scale, WEP could be tested by comparing the…
Some exact formulae of the expectation values and probability densities in a weak measurement for an operator ${\bf A}$ which satisfies the property ${\bf A}^{2}=1$ are derived. These formulae include all-order effects of the unitary…
In the domain of practical software protection against man-at-the-end attacks such as software reverse engineering and tampering, much of the scientific literature is plagued by the use of subpar methods to evaluate the protections'…
Grammar compression is a general compression framework in which a string $T$ of length $N$ is represented as a context-free grammar of size $n$ whose language contains only $T$. In this paper, we focus on studying the limitations of…
We investigate in this work the meaning of weak values through the prism of property ascription in quantum systems. Indeed, the weak measurements framework contains only ingredients of the standard quantum formalism, and as such weak…
The Einstein's weak equivalence principle (WEP) is one of the foundational assumptions of general relativity and some other gravity theories. In the theory of parametrized post-Newtonian (PPN), the difference between the PPN parameters…
Although it is widely accepted that every system should be robust, in the sense that "small" violations of environment assumptions should lead to "small" violations of system guarantees, it is less clear how to make this intuitive notion of…
Mathematical models simulate various events under different conditions, enabling an early overview of the system to be implemented in practice, reducing the waste of resources and in less time. In project optimization, these models play a…
Quantum metrology uses small changes in the output probabilities of a quantum measurement to estimate the magnitude of a weak interaction with the system. The sensitivity of this procedure depends on the relation between the input state,…
Verifiers can improve language model capabilities by scoring and ranking responses from generated candidates. Currently, high-quality verifiers are either unscalable (e.g., humans) or limited in utility (e.g., tools like Lean). While LM…
Software engineering activities in the Industry has come a long way with various improve- ments brought in various stages of the software development life cycle. The complexity of modern software, the commercial constraints and the…
We study the estimation capacity of the generalized Lasso, i.e., least squares minimization combined with a (convex) structural constraint. While Lasso-type estimators were originally designed for noisy linear regression problems, it has…
A precise definition of "weak [quantum] measurements" and "weak value" (of a quantum observable) is offered, and simple finite dimensional examples are given showing that weak values are not unique and therefore probably do not correspond…
Weak-to-strong generalization (W2SG) has emerged as a promising paradigm for stimulating the capabilities of strong pre-trained models by leveraging supervision from weaker supervisors. To improve the performance of the strong model,…
Weak measurements are a new tool for characterizing post-selected quantum systems during their evolution. Weak measurement was originally formulated in terms of von Neumann interactions which are practically available for only the simplest…
We describe space--time fluctuations by means of small fluctuations of the metric on a given background metric. From a minimally coupled Klein--Gordon equation we obtain within a weak-field approximation up to second order and an averaging…
In this paper, we present an extension to the recursive Gaussian Process (RGP) regression that enables the satisfaction of inequality constraints and is well suited for a real-time execution in control applications. The soft inequality…