Lecture 19: NUTS, and Formal tests

Slides

Readings

Notes