A general-purpose probabilistic programming system with programmable inference

Building blocks for simple and advanced particle filtering in Gen.

Automated SMC with Probabilistic Program Proposals, for the Gen PPL.

GPT-3 as a generative function in Gen.

Cooperative Language-Guided Inverse Plan Search (CLIPS).

Experimental port of ADEV to Julia

Agent modeling and inverse planning, using PDDL and Gen.

A small DSL for programming sppl across PythonCall.jl

-

-

A DSL for defining stochastic maps between traces of Gen generative functions

-

Make Julia code probabilistic-programming-ready by allowing calls to `rand` to be annotated with traced addresses.

Make Julia code probabilistic-programming-ready by allowing calls to `sample` to be annotated with traced addresses.