Strategic PAC learnability from geometric definability
Yuval Filmus, Shay Moran, Elizaveta Nesterova, Nir Rosenfeld, Alexander Shlimovich
Submitted
Consider a hypothesis class of shapes in $\mathbb R^d$. What happens to its VC dimension if we slightly expand all hypotheses in the class, with respect to some metric? It turns out that it can explode from 1 to infinity. In this paper, we show that this unfortunate phenomenon doesn’t happen if the class and the metric are definable in first-order logic with $\exp$.
@misc{FMNRS26,
title = {Strategic {PAC} learnability from geometric definability},
author = {Yuval Filmus and Shay Moran and Elizaveta Nesterova and Nir Rosenfeld and Alexander Shlimovich},
year = {2026},
howpublished = {Submitted}}
copy to clipboard