Merge pull request #554 from probcomp/20250616-ztangent-update-docs

Add tutorial on enumerative inference

Author: ztangent

.github/workflows/ContinuousIntegration.yml

@@ -25,7 +25,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        julia-version: ['1', '1.6', 'nightly']
+        julia-version: ['1', '1.10', '1.6', 'nightly']
         julia-arch: [x64]
         os: [ubuntu-latest]
     steps:

.github/workflows/Documentation.yml

@@ -19,7 +19,7 @@ jobs:
       - uses: actions/checkout@v2
       - uses: julia-actions/setup-julia@v1
         with:
-          version: '1.6'
+          version: '1.10'
       - name: Install dependencies
         run: julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'
       - name: Build and deploy documentation

docs/Project.toml

@@ -2,6 +2,7 @@
 Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
 Gen = "ea4f424c-a589-11e8-07c0-fd5c91b9da4a"
 Plots = "91a5bcdd-55d7-5caf-9e0b-520d859cae80"
+StatsBase = "2913bbd2-ae8a-5f71-8c99-4fb6c76f3a91"
 
 [compat]
 Documenter = "1"

docs/pages.jl

@@ -3,6 +3,8 @@ pages = [
     "Tutorials" => [
         "Getting Started" => "tutorials/getting_started.md",
         "Introduction to Modeling in Gen" => "tutorials/modeling_in_gen.md",
+        "Basics of MCMC and MAP Inference" => "tutorials/mcmc_map.md",
+        "Debugging Models with Enumeration" => "tutorials/enumerative.md",
         "Object Tracking with SMC" => "tutorials/smc.md",
         "Variational Inference in Gen" => "tutorials/vi.md",
         "Learning Generative Functions" => "tutorials/learning_gen_fns.md",

docs/src/assets/example-inference.png

@@ -46,7 +46,10 @@ Learn how to use Gen by following these tutorials:
 Pages = [
     "tutorials/getting_started.md",
     "tutorials/modeling_in_gen.md",
+    "tutorials/mcmc_map.md",
+    "tutorials/enumerative.md",
     "tutorials/smc.md",
+    "tutorials/vi.md",
     "tutorials/scaling_with_sml.md",
     "tutorials/learning_gen_fns.md"
 ]