TY - RPRT TI - First Steps Towards Probabilistic Iris: Harmonizing Independence, Conditioning, and Dynamic Heap Allocation AU - Janine Lohse AU - Tim Rohde AU - Jimmy Xin AU - Niklas Mück AU - Iona Kuhn AU - Derek Dreyer AU - Deepak Garg AU - Emanuele D'Osualdo PY - 2026 UR - https://arxiv.org/abs/2605.13765 ID - 2605.13765 ER -