Skip to content

Milestones

List view

  • ClojureScript

    No due date
    •3/3 issues closed
    100% complete0 open3 closed

  • Post-POPL

    Overdue by 7 year(s)
    •
    Due by July 20, 2018
    •1/1 issues closed
    100% complete0 open1 closed

  • New examples drafted

    All examples have first prototype versions. This requires getting help as follows: - [JAR + Marco] variational inference on a toy Bayesian linear regression example, with a naive mean field approximation, using reverse-mode AD - [JAR + Marco] HMM forward filtering + backward sampling, on a real-world example - [JAR + VKM] defining an SMC meta-program for the HMM example from Marco - [JAR + VKM] defining a test of MH to infer which proposals are probably accepted and rejected, and a figure that shows it

    Overdue by 7 year(s)
    •
    Due by July 31, 2018
    •1/4 issues closed
    25% complete3 open1 closed

  • POPL-examplesfinal

    Examples: - variational inference via (reverse-mode AD on a subset of Metaprob) applied to (Bayesian linear regression, with a naive mean field variational approximation) - importance resampling, single-site "lightweight" MH, and rejection sampling, on the toy Gaussian example - hmm forward filtering w/ backward sampling, maybe on a real dataset from Marco's incremental inference paper - sequential Monte Carlo filtering, given a sequence of addresses, applied to the same HMM example *** VKM can help define and formulate - using MH inference to infer the posterior distribution on accepted particles and rejected particles in the toy Gaussian example *** VKM can help formulate

    Overdue by 7 year(s)
    •
    Due by July 9, 2018
    •3/3 issues closed
    100% complete0 open3 closed

  • POPL-semanticsready

    We have a version of the software that is ready for Mike Carbin's students to use to build a semantics around. This means the key concepts can't change, though superficial aspects of their expression can (and the software itself can change quite a bit, including names for the library, performance characteristics, etc). Key concepts include: - traces and addresses, - generative vs inference procedures, - interventions, - coverage of examples, - the meta-circular interpreter's key clauses, - opaque vs traced execution

    Overdue by 7 year(s)
    •
    Due by July 8, 2018
    •7/7 issues closed
    100% complete0 open7 closed

  • POPL-artifactevaluationready

    The repo is ready for POPL artifact evaluation.

    Overdue by 7 year(s)
    •
    Due by July 13, 2018
    •3/3 issues closed
    100% complete0 open3 closed