In safe hypothesis testing with test supermartingals, Ville's inequality provides anytime-valid type-I error guarantees for every significance level $\alpha\in(0,1]$, if one rejects the null hypothesis whenever the wealth process first exceeds $\frac{1}{\alpha}$. Due to an inherent asymmetry, the type-II error does not...
In safe hypothesis testing with test supermartingales, Ville's inequality provides anytime-valid type-I error guarantees for every significance level $\alpha\in(0,1]$, if one rejects the null hypothesis whenever the wealth process first exceeds $1/\alpha$. Due to an inherent asymmetry, the type-II error behaves differe...
We introduce the category $\mathbf{SSS}$ of sample-smooth spaces over a mixed site. The test objects are the products $\Omega_n := \mathbb{R}^n \times \Omega$ of a Cartesian space with the universal Hilbert cube $\Omega$ carrying all universally measurable sets, and a space is a set with a family of admissible plots $\...
The equivariance relaxation morphism, which preserves functionality while reparameterizing a group equivariant layer to operate with equivariance constraints on a subgroup, and the [ G ]-mixed equivariant layer, which mixes operations constrained to equivariance to different groups to enable within-layer equivariance o...
Kaitlin Maile, Dennis G. Wilson, Patrick Forré et al.· 0 citations
Under the strictest assumptions, it is shown that the independent sources are identifiable up to translation, permutation, scales and signs, and this even in the presence of additive Gaussian noise.
This work proposes Adaptive Vector-Quantized (AVQ) Attention, which adaptively allocates codebook capacity based on attention importance and develops an implementation using custom Triton kernels that enables the full adaptive refinement process, including importance scoring, child codeword insertion, and parent contri...
W.V.S.O. van den Dool, Patrick Forré, A. Habibian et al.· arXiv.org· 0 citations
For a Markov kernel $T$ with an invariant probability measure $\pi$, we give a self-contained proof of the Markov chain convergence theorem via a criterion called asymptotic equivalence with the target. It assumes two parts about the Lebesgue decompositions of $T^n_x$ and $\pi$ for every starting point $x$: 1.) asympto...
Patrick Forré· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.