arXiv Machine Learning
Fitting and Learning Basis-Restricted Propositional Formulas
Read the original on arXiv Machine Learning →The Flow has not summarised this story yet — read it at arXiv Machine Learning.
Related stories
arXiv Machine Learning
Jun 2
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.
arXiv Machine Learning
Jun 3
Learning DNF through Generalized Fourier Representations
arXiv:2506. 01075v2 Announce Type: replace-cross Abstract: The Boolean Fourier representation has been widely used in learning theory, particularly for learning Disjunctive Normal Form (DNF) under uniform and product distributions.
arXiv Machine Learning
Jul 20
Publicly-Verifiable Certificates for Statistical Algorithms
arXiv:2607. 15528v1 Announce Type: new Abstract: Following Goldwasser, Rothblum, Shafer, and Yehudayoff, who defined a framework for interactive proofs of learning [ITCS'21], we initiate the study of non-interactive proofs of learning.
arXiv Machine Learning
Jul 2
Recursively Enumerably Representable Classes and Computable Versions of the Fundamental Theorem of Statistical Learning
arXiv:2511. 02644v2 Announce Type: replace Abstract: We study computable probably approximately correct (CPAC) learning, where learners are required to be computable functions.
arXiv Machine Learning
Sep 1
On the Complexity of the Compatibility Problem for Succinctly Encoded Conditional Distributions
arXiv:2608.31120v1 Announce Type: new Abstract: The motivation for this paper is the investigation of the trade-offs implicit in probabilistic models used in machine learning. Models are often used t...
arXiv AI
Jun 24
Cost-Optimal Decision Diagrams for Stochastic Boolean Function Evaluation
arXiv:2606. 24672v1 Announce Type: new Abstract: In many decision-making scenarios, acquiring information incurs different costs.