Inference in Action

Chapter in preparation

This chapter was long advertised but never written — it is being authored in the Part II content pass.

What it will cover. The payoff of Part II: taking a problem you solved by hand in Part I — the taxicab problem — and solving it end-to-end in GenJAX. Define the generative model, condition on the witness’s report, run importance sampling with weights, and watch the posterior match the arithmetic. One worked example, every tool from the previous chapters in play.


This project is generously funded by the Japanese Probabilistic Computing Consortium Association (JPCCA).

Jul 2, 2026