Gracr

新的编译器和基准提供了对 GNN Explainer 的严格评估

研究人员开发了 Gracr，一种将分级模态逻辑公式转换为图神经网络 (GNN) 权重的创新编译器。该方法用编译取代了传统的 GNN 训练，确保模型的行为精确复制逻辑公式。为了严格评估 GNN Explainer，引入了一个名为 GracrBench 的新基准，该基准使用这些编译后的 GNN 来为解释提供精确的地面真实。使用 GracrBench 的实验表明，许多现有的 Explainer 在面对间接影响或相同逻辑的替代实现时缺乏鲁棒性。