Related
Flow Matching and Diffusion Models
diffusion.csail.mit.edu · · Page
Diffusion and flow-based models have become the state of the art for generative AI across a wide range of data…
Theories of Deep Learning (STATS 385) by stats385
stats385.github.io · · Page
15-312 Foundations of Programming Languages
cs.cmu.edu · · Page
Textbooks: Robert Harper, Programming Languages: Theory and Practice Benjamin Pierce, TPL
Software Verification - Fall 2014 - Chair of Software Engineering
se.inf.ethz.ch · · Page
with solutions
Computer Laboratory – Course pages 2013–14: Functional Programming: Implementation, Specification and Verification – Course materials
cl.cam.ac.uk · · Page
CSCI-740 :: Programming Language Theory :: Term 20131 :: Schedule
cs.rit.edu · · Page
syllabus to read Types and Programming Language by Pierce