标签
本文介绍了一种专门的训练算法 Macchiato，该算法从部分真值表观测中构建用于布尔任务的可证解释 ReLU-MLP，并提供统计保证和布尔电路认证。
本文介绍了NanoEQL，一种全白盒神经网络，通过可解释的方程和标量解码纳米晶体合成中的尺寸决定机制，推进了合理设计和化学反应分析。