pith. sign in

Title resolution pending

2 Pith papers cite this work. Polarity classification is still indexing.

2 Pith papers citing it

years

2026 2

verdicts

UNVERDICTED 2

representative citing papers

A systematic way of analysing proofs in probability theory

math.LO · 2026-04-09 · unverdicted · novelty 7.0

A translation via outer measures yields new metatheorems that extract computable bounds from non-effective proofs of probabilistic existence statements while preserving validity over finitely additive spaces.

citing papers explorer

Showing 2 of 2 citing papers.

  • Convergence guarantees for stochastic algorithms solving non-unique problems in metric spaces math.OC · 2026-05-07 · unverdicted · none · ref 77

    A quantitative theorem supplies uniform rates of convergence for stochastic quasi-Fejér monotone sequences in metric spaces by extending a deterministic regularity notion to the stochastic setting and applying it to proximal-point, Krasnoselskii-Mann, and Busemann subgradient methods.

  • A systematic way of analysing proofs in probability theory math.LO · 2026-04-09 · unverdicted · none · ref 52

    A translation via outer measures yields new metatheorems that extract computable bounds from non-effective proofs of probabilistic existence statements while preserving validity over finitely additive spaces.