3 papers
math.ST2026
Type-II Error Bounds for Test Supermartingales from Lower-Tail Hypotheses
Patrick Forré
In safe hypothesis testing with test supermartingals, Ville's inequality provides anytime-valid type-I error guarantees for every significance level , if one rejects the…
math.ST2026
The Type-II Error of Test Supermartingales: e-Power versus the Chernoff-Stein Exponent
Patrick Forré
In safe hypothesis testing with test supermartingales, Ville's inequality provides anytime-valid type-I error guarantees for every significance level , if one rejects th…
math.CT2026
Sample-Smooth Spaces: A Convenient Category for Differentiable Probabilistic Programming
Patrick Forré
We introduce the category of sample-smooth spaces over a mixed site. The test objects are the products of a Cartesian space with the u…