Forest is a community repository of 206 generative models written in probabilistic programming languages, mainly Church and WebPPL, maintained as a teaching resource and archive.

Most models run right here in your browser: open a model below, edit the code box if you like, and press run.

Contribute a model Machine-readable index

Models

runs in your browser links to external code static code listing (not runnable)

Probability and Bayesian Data Analysis 19
Bayesian Data Analysis
Inferences with Binomials
Birthday Problem
Biases from Noise
Eight Schools
1D Gaussian with Gaussian/Gamma Hyperparameters
Inferences with Gaussians
Geometric Distribution
Grade Inflation
Hierarchical Flu/Cough Model
Hierarchical Urn Model
Item Response Theory (Rasch Model)
Marsaglia
Model Selection
Monty Hall Problem
Rat Growth
Signal Detection
Survival Analysis with Right Censoring
Tug of War
Graphical Models and Causality 25
Explanations with 'because'
Blame Attribution
Bayes Net Structure Learning
Burglary Bayesnet
Category explanations
Simple Causal Explanations
Causal QUD
Causal Support
Counterfactuals (archive)
Counterfactuals
Embedded Counterfactuals
Exogenous counterfactuals
Explanations Model in WebPPL
Functional Explanations: Designer's Beliefs
Teleological Explanations
Intervention and counterfactuals
Interventional Bayes Net Structure Learning
1D Ising
Lucas & Kemp 2015 Replication
Medical Diagnosis
Markov Logic Network
Noisy Logic
Simple Bayesian Networks
Tug of War Explanations
Genetic Linkage Analysis
Regression and Statistical Learning 10
Curve Fitting
Finite Dirichlet-Multinomial Mixture
Finite Gaussian Mixture
Finite Mixture Model
Latent Dirichlet Allocation
Bayesian Linear Regression
Bayesian Logistic Regression
Multi-Agent LDA
Bayesian Neural Network
Symbolic Regression
Time Series and Stochastic Processes 10
Drift Diffusion Model
Event Detection
Hawkes Process
HMM-Ising
Discrete-Time Hidden Markov Model
Kalman Filter
Markov Model
Stochastic Volatility
Text Adventure
Network Analysis
Bayesian Nonparametrics 19
Citation Matching
CrossCat
Dirichlet Process
Gaussian Process Classifier
Gaussian Process Regression
Hierarchical Dirichlet Process
Infinite Dirichlet-Multinomial Mixture
Infinite Gaussian Mixture
Infinite Hidden Markov Model
Infinite Mixture Model
Infinite Probabilistic Context-Free Grammar
Infinite Relational Model
Nested CRP + HDP
Nested Chinese Restaurant Process
Probabilistic Deterministic Infinite Automata
Pitman-Yor N-Gram
Pitman-Yor Process
Latent Dirichlet Allocation with Hierarchical Dirichlet Prior
Indian Buffet Process
Program Induction and Concept Learning 5
Inducing Arithmetic Functions
Number Game
Probabilistic Context-Free Grammar
Rational Rules
Word Learning as Bayesian Inference
Language and Pragmatics 93
Vague Adjectives with QUD and Valence
Ambiguity Resolution in Non-Native Language Understanding
Comparison Class Inference for 'Tall'
Irony with Shared Background Knowledge
Metaphor with Varying Priors and Goals
Politeness with Self-Presentational Utility
Teasing and Playful Insults
CCG scope ambiguity
ProbLang 2019 class projects
Microaggressive gradable adjectives
Adjective ordering parameter exploration
Vagueness Resolution with a QUD
Adjectives
Metaphor Compared with Irony and Hyperbole
Scalar Implicature with Uncertain Speaker Access
Black Lives Matter
Metaphor with Weighted Communicative Goals
Inferring the Comparison Class
Codenames with Word Vectors
Conditioning on the conclusion model issue
Conventions
Generics with Variable Threshold Priors
Inferring the Speaker's Cost Function
Generics: Elephants
Generics: Elephants (continuized semantics)
Ellipsis
Exhaustivity
False Cognates and Speaker Competence
Generics with causal background knowledge
Generics (extensional)
Generics
Polite Irony
Irony with a Second-Order Speaker (S2)
Habituals (CogSci 2016)
Generics: Turning the Knob of the Threshold Prior
Comparison Class Inference: Superordinate vs. Subordinate
Hyperbole with uncertainty about speaker's priors
Hyperbole with uncertainty about speaker's beliefs about listener's priors
Hyperbole
Hyperbolic quantifiers with domain restriction
Hyperbolic metaphor
Incremental pragmatics
Intensifiers
Irony
Irony with Continuous Arousal
Irony with and without Arousal
Heavy or not comparison classes
RSA with Context Uncertainty (Keysar)
kids-scope
Irony with Three Communicative Goals
Extensional Generics with Gradable Adjectives
Quantifier Scope Ambiguity in Mandarin
Metaphor
Must
Negatron (in prep)
Overinformativeness
Overinformativeness model with Boolean properties
Overinformativeness Explorer
WebPPL version of Plural Predication model
Plural Predication
Politeness (CogSci 2016)
Politeness with Questions Under Discussion
Politeness
RSA prior inference
Progressive shift
Projective Content
Pronouns
Prosody
Questions and Answers
Basic sarcasm
Sarcasm with uncertainty about speaker's beliefs
Sarcasm with uncertainty about speaker's beliefs about listener's beliefs
Sarcasm with uncertainty about speaker's beliefs about listener's beliefs and tone
Sarcasm with tone as goal signal
Sarcasm with tone as nonliteral-ness
Scalar Implicature with Varying QUD
Scalar Implicature
SFV for "some"
Pronoun Resolution with Subject and Parallel Strategies
Social meaning
Gender Inference from Spanish Masculine Generics
Spatial Implicature
Homogeneity in Plural Definites
Spoken irony and common ground inference
Syllogisms
Syllogisms [equivalence] (CogSci14)
Syllogistic reasoning with real-world content
Motivated Belief: The 49ers Are Going To Win
Politeness with an Arousal QUD
Episodic and Habitual Event Interpretation
Wonky worlds
Understanding Negated Antonyms
Pragmatics with Semantic Free Variables
Agents, Games, and Social Reasoning 16
Counterfactual Oversight
Inferring Pedagogical Skill
Blue-eyed Islanders
Mindsets
Nested Number Guessing
Pedagogy
The Principal-Agent Problem for Delegation-as-Prediction
Red-light Game
Schelling Coordination Game with False Belief
Schelling Coordination Game
Urn model
Scoring Rules
Learning from Social and Direct Evidence
Reasoning about social groups
Tic-Tac-Toe
Vending Machine Teaching Example
Scientific and Physical Models 9
Bayesian Phylogenetics on Four Taxa
Brightness Constancy
Layout of Tables and Plates
LiquidFun Example
Newtonian Dynamics
Inverse Physics
Learning Physics from Dynamical Scenes
Seismic Event Detection
Inverse Statics
Add Model