Abstract:We present TreePPL, a universal probabilistic programming language (PPL) designed for probabilistic modeling and inference in phylogenetics. In TreePPL, the model is expressed as a computer program, which can generate simulations from the model conditioned on some input data. Specialized inference machinery then uses this program to estimate the posterior probability distribution. The aim is to allow the user to focus on describing the model, and provide the inference machinery for free. The TreePPL modeling language is meant to be familiar to users of R or Python, and utilizes a functional programming style that facilitates the application of generic inference algorithms. The model program can be conveniently compiled and run from a Python or R environment, which can be used for pre-processing, feeding the model with the observed data, controlling and running the inference, and receiving and post-processing the output data. The inference machinery is generated by a compiler framework developed specifically for supporting domain-specific modeling and inference, the Miking CorePPL framework. It currently supports a range of inference strategies---including sequential Monte Carlo, Markov chain Monte Carlo, and combinations thereof---and is based on several recent innovations that are important for efficient PPL inference on phylogenetic models. It also allows advanced users to implement novel inference strategies for models described using TreePPL or other domain-specific modeling languages. We briefly describe the TreePPL modeling language and the Python environment, and give some examples of modeling and inference with TreePPL. The examples illustrate how TreePPL can be used to address a range of common problem types considered in statistical phylogenetics, from diversification and tree inference to complex trait evolution. A few major challenges remain to be addressed before the phylogenetic model space is adequately covered by efficient automatic inference techniques, but several of them are being addressed in ongoing work on TreePPL. We end the paper by discussing how probabilistic programming can facilitate further use of machine learning in addressing important challenges in statistical phylogenetics.

Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages

Automatic Alignment of Sequential Monte Carlo Inference in Higher-Order Probabilistic Programs

Program Analysis of Probabilistic Programs

Probabilistic Programming with Programmable Variational Inference

Scaling Exact Inference for Discrete Probabilistic Programs

Automatically Marginalized MCMC in Probabilistic Programming

Real-Time Probabilistic Programming

Control-Data Separation and Logical Condition Propagation for Efficient Inference on Probabilistic Programs

DynamicPPL: Stan-like Speed for Dynamic Probabilistic Models

Swift: Compiled Inference for Probabilistic Programming Languages.

Transforming Probabilistic Programs for Model Checking

Discrete-Continuous Mixtures in Probabilistic Programming: Generalized Semantics and Inference Algorithms.

Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving

SPPL: Probabilistic Programming with Fast Exact Symbolic Inference

Static Analysis for Probabilistic Programs

Plingo: A System for Probabilistic Reasoning in Answer Set Programming

Practical optimal experiment design with probabilistic programs

Parallelization and Characterization of Probabilistic Latent Semantic Analysis

Inference Plans for Hybrid Particle Filtering

TreePPL: A Universal Probabilistic Programming Language for Phylogenetics

Concentration-Bound Analysis for Probabilistic Programs and Probabilistic Recurrence Relations