collaborators

1 paper

cs.LO2026

Verifying Exact Samplers for Continuous Distributions with a Discrete Program Logic

Markus de Medeiros, Puming Liu, Kwing Hei Li +3

Most implementations of sampling algorithms for continuous distributions use floating-point numbers, which introduce round-off errors and approximations. These errors can be diffic…