A group of Anglican contributors (Jan Willem van de Meent, Brooks Paige, and Frank Wood) taught Anglican at the DARPA PPAML summer school and the developed materials are linked below. These are the best way to get started quickly with Anglican.
BOPP is a package for automated marginal maximum a posteriori inference (MMAP) based around the probabilistic programming system Anglican. The user only needs to write their model in the same manner as existing Anglican programs and by using the defopt
construct instead of defquery
, select the variables to be optimized, with the rest marginalized out. It can also be used as a means of exploiting the target source code to improve Bayesian optimization (BO), delivering things such as automatic domain scaling, unbounded optimization, and implicit constraint satisfaction including equality constraints. The key idea is to use a series of code transformations to extract from the original program all the things that are needed to carry out the MMAP problem, such as the target function itself and a program for optimizing the acquisition function subject to the implicit constraints. These are then passed to our other package Deodorant, which uses these to solve the problem probabilistic programs creates for BO. The following paper should be referred to for full algorithmic details and we ask that you cite this paper if you use BOPP in your work.
Thanks to Piotr Czaban for pointing out
An installation, getting started guide, and Anglican tutorial were developed for MLSS 2015 and now these materials are released for general consumption. Enjoy!
A complete redesign and reimplementation of Anglican has arrived.
Big changes are afoot.
The materials from MLSS 2014 are now publicly posted.