How (and when) can you fit examples to logic-based hypothesis classes over infinite structures?

Michael Benedikt, Alessio Mansutti

We study fitting problems, sometimes called ``training problems'', where we have a finite sample consisting of inputs and outputs, and we want to know whether there is a function i…