NEU Probabilistic Programming Lab
Toggle navigation
about
blog
(current)
code
publications
funding
awards
talks
NeuPPL Blog
The pi-lambda theorem and induction
July 20, 2023, by John Li.