TY - RPRT TI - Fixed-parameter tractable inference for discrete probabilistic programs, via string diagram algebraisation AU - Benedikt Peterseim AU - Milan LopuhaƤ-Zwakenberg PY - 2026 DO - 10.4230/lipics.lics.2026.76 UR - https://arxiv.org/abs/2604.25321 ID - 2604.25321 ER -