Formal ML

Formalization of Machine Learning Theory with Applications to Program Synthesis. Partial formalization of key results from https://arxiv.org/abs/1804.07795. The CertRL library as reported in https://arxiv.org/abs/2009.11403

Vasily Pestun, Nathan Fulton (AWS), Barry Trager, Avi Shinar, Alexander Rademaker