Carnegie Mellon University（卡内基梅隆大学）

Prophecy: Inferring Formal Properties from Neuron Activations

预言：从神经元激活推断形式属性

Divya Gopinath, Corina S. Pasareanu, Muhammad Usman

机构 * NASA Ames（NASA阿姆斯研究中心） ； KBR（KBR公司） ； CMU（卡内基梅隆大学） 纠错

AI总结 Prophecy通过分析神经网络内部层的神经元激活状态，自动推断前馈网络的形式属性，适用于不同模型和输出属性的验证与监控。