\documentclass[accepted]{uai2022} 

% ready for submission
\usepackage{natbib} % has a nice set of citation styles and commands
\bibliographystyle{plainnat}

\input{math_commands.tex}

\title{On the Inductive Bias of Neural Networks for Learning Read-once DNFs}

% Add authors
\author[1]{Ido Bronstein}
\author[1]{Alon Brutzkus}
\author[1]{Amir Globerson}
% Add affiliations after the authors
\affil[1]{%
Blavatnik School of Computer Science \\
    Tel Aviv University\\
    Israel
}

\begin{document}
 
\maketitle


\begin{abstract}
Learning functions over Boolean variables is a fundamental problem in machine learning. But not much is known about learning such functions using neural networks. Here we focus on learning read-once disjunctive normal forms (DNFs) under the uniform distribution with a convex neural network and gradient methods. We first observe empirically that gradient methods converge to compact solutions with neurons that are aligned with the terms of the DNF. This is despite the fact that there are many zero training error networks that do not have this property. Thus, the learning process has a clear inductive bias towards such logical formulas. Following recent results which connect the inductive bias of gradient flow (GF) to Karush-Kuhn-Tucker (KKT) points of minimum norm problems, we study these KKT points in our setting. We prove that zero training error solutions that memorize training points are not KKT points and therefore GF cannot converge to them. On the other hand, we prove that globally optimal KKT points correspond exactly to networks that are aligned with the DNF terms. These results suggest a strong connection between the inductive bias of GF and solutions that align with the DNF. We conclude with extensive experiments which verify our findings.


\end{abstract}

\input{introduction.tex}

\input{related_work.tex}

\input{problem_formulation.tex}

\input{empirical_observations.tex}

\input{memorization.tex}

\input{theory.tex}

\input{experiments.tex}

\input{conclusions.tex}

\bibliography{readonce}

% \appendix

% \input{supplementary.tex}

\end{document}

