Forest is a community repository of 196 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)

Concept Learning 6
Inducing Arithmetic Functions
Bayes Net Structure Learning
Causal Support
SAILORS Teaching Example
Rational Rules
Word Learning as Bayesian Inference
Reasoning about Reasoning 36
Adjectives
Black Lives Matter
Conditioning on the conclusion model issue
Ellipsis
Exhaustivity
Generics
Hyperbole
Hyperbolic metaphor
Incremental pragmatics
Inferring Pedagogical Skill
Intensifiers
Irony
Blue-eyed Islanders
Metaphor
Mindsets
Nested Number Guessing
Overinformativeness
Pedagogy
Plural Predication
Politeness
Prosody
Scalar Implicature with Varying QUD
Scalar Implicature
Schelling Coordination Game with False Belief
Schelling Coordination Game
Learning from Social and Direct Evidence
Social meaning
Reasoning about social groups
Spatial Implicature
Homogeneity in Plural Definites
Syllogisms
Syllogisms [equivalence] (CogSci14)
Syllogistic reasoning with real-world content
Motivated Belief: The 49ers Are Going To Win
Tic-Tac-Toe
Pragmatics with Semantic Free Variables
Probabilistic Language Understanding 67
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
Metaphor Compared with Irony and Hyperbole
Scalar Implicature with Uncertain Speaker Access
Metaphor with Weighted Communicative Goals
Inferring the Comparison Class
Codenames with Word Vectors
Conventions
Generics with Variable Threshold Priors
Inferring the Speaker's Cost Function
Generics: Elephants
Generics: Elephants (continuized semantics)
False Cognates and Speaker Competence
Generics with causal background knowledge
Generics (extensional)
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
Hyperbolic quantifiers with domain restriction
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
Must
Negatron (in prep)
Overinformativeness model with Boolean properties
Overinformativeness Explorer
WebPPL version of Plural Predication model
Politeness (CogSci 2016)
Politeness with Questions Under Discussion
RSA prior inference
Progressive shift
Projective Content
Pronouns
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
SFV for "some"
Pronoun Resolution with Subject and Parallel Strategies
Gender Inference from Spanish Masculine Generics
Spoken irony and common ground inference
Politeness with an Arousal QUD
Episodic and Habitual Event Interpretation
Wonky worlds
Understanding Negated Antonyms
Counterfactuals and Explanations 14
Explanations with 'because'
Category explanations
Simple Causal Explanations
Causal QUD
Counterfactuals (archive)
Counterfactuals
Embedded Counterfactuals
Exogenous counterfactuals
Explanations Model in WebPPL
Functional Explanations: Designer's Beliefs
Teleological Explanations
Intervention and counterfactuals
Lucas & Kemp 2015 Replication
Tug of War Explanations
Machine Learning 8
Citation Matching
Finite Mixture Model
Infinite Mixture Model
Latent Dirichlet Allocation
Bayesian Logistic Regression
Markov Model
Multi-Agent LDA
Bayesian Neural Network
Nonparametric Models 15
CrossCat
Dirichlet Process
Gaussian Process Classifier
Hierarchical Dirichlet Process
Infinite Dirichlet-Multinomial Mixture
Infinite Gaussian Mixture
Infinite Hidden Markov 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
Indian Buffet Process
Bayesian Data Analysis 3
Bayesian Data Analysis
Inferences with Binomials
Inferences with Gaussians
Undirected Constraints 3
HMM-Ising
1D Ising
Rat Growth
Inverse Dynamics 5
LiquidFun Example
Newtonian Dynamics
Inverse Physics
Learning Physics from Dynamical Scenes
Inverse Statics
PPAML Challenge Problems 8
Discrete-Time Hidden Markov Model
Bayesian Linear Regression
Medical Diagnosis
Probabilistic Context-Free Grammar
Genetic Linkage Analysis
Network Analysis
Seismic Event Detection
Latent Dirichlet Allocation with Hierarchical Dirichlet Prior
Miscellaneous 31
Birthday Problem
Blame Attribution
Brightness Constancy
Burglary Bayesnet
Biases from Noise
Counterfactual Oversight
Curve Fitting
Finite Dirichlet-Multinomial Mixture
Event Detection
Finite Gaussian Mixture
1D Gaussian with Gaussian/Gamma Hyperparameters
Geometric Distribution
Grade Inflation
Hierarchical Flu/Cough Model
Hierarchical Urn Model
Kalman Filter
Layout of Tables and Plates
Marsaglia
Markov Logic Network
Model Selection
Monty Hall Problem
Noisy Logic
The Principal-Agent Problem for Delegation-as-Prediction
Red-light Game
Urn model
Scoring Rules
Simple Bayesian Networks
Symbolic Regression
Text Adventure
Tug of War
SAILORS teaching example
Add Model