The Bernoulli Model: A Probabilistic Framework for Data Structures and Types
The Bernoulli Model is a framework for reasoning about probabilistic data structures by treating noisy outputs as Bernoulli-distributed approximations of latent values, from Booleans to set-indicator functions.