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

arXiv:2606. 01107v1 Announce Type: cross Abstract: 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 in a certain class that could produce these outputs, exactly or approximately, on the given inputs.

Summary generated by The Flow from the publisher's feed. The full article lives at arXiv Machine Learning.