On the algebraic analysis of runtime distribution of probabilistic programs

arXiv:2607.01856 · cs.FL · Submitted 2026-07-02 · Read on arXiv

cs.FL

Submitted: 2026-07-02

Updated: 2026-10-20

Terminology

Generalized Constant Probability — 1× in this paper

Related papers

Positive-Data Learning of Fixed-Observation Linear MCFGs from Working Binary Presentations
When Does Tool Use Increase the Expressive Power of Finite-Precision Recurrent Models?