04:00
2026-09-15
arxiv.org
machine-learning
Certifiably Interpretable Training of ReLU-MLPs for Boolean Tasks with Guaranteed Truth-Table Generalization
Researchers introduced MACCHIATO, a specialized training algorithm that jointly constructs an explicitly structured ReLU-MLP from partial truth-table observations and an explicit Boolean circuit over …