boolean-function-learning

This paper introduces Macchiato, a specialized training algorithm that constructs certifiably interpretable ReLU-MLPs for Boolean tasks from partial truth-table observations, with statistical guarantees and Boolean circuit certification.