Tag
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.