package prbnmcn-dagger

  1. Overview
  2. Docs

The Non_interruptible module exposes an implementation of Sequential Monte-Carlo that terminates when all particles terminate. Only use when the probabilistic program terminates almost surely!

val run : ?resampling:resampling_strategy -> int -> 'a t -> RNG.t -> ('a * Log_space.t) list

run ?resampling npart model rng_state runs sequential Monte-Carlo with npart initial particles. resampling defaults to systematic_resampling.

OCaml

Innovation. Community. Security.