Gracr

New compiler and benchmark offer rigorous evaluation for GNN explainers

Researchers have developed Gracr, a novel compiler that translates graded modal logic formulas into Graph Neural Network (GNN) weights. This approach replaces traditional GNN training with compilation, ensuring that the…