Kevin Zhou : Sample compression and definability of types

Posted by Kevin Zhou , part of the Louise Hay Logic Seminar.

At

Jan. 18, 2024, 3 p.m.

In

427 SEO

Abstract

We'll discuss a connection between the learning-theoretic topic of sample compression and the model-theoretic topic of definability of types, and some relatively recent results in this area.