Picture for Pierre Nunn

Pierre Nunn

A Logic for Reasoning About Aggregate-Combine Graph Neural Networks

Add code
Apr 30, 2024
Figure 1 for A Logic for Reasoning About Aggregate-Combine Graph Neural Networks
Figure 2 for A Logic for Reasoning About Aggregate-Combine Graph Neural Networks
Figure 3 for A Logic for Reasoning About Aggregate-Combine Graph Neural Networks
Figure 4 for A Logic for Reasoning About Aggregate-Combine Graph Neural Networks
Viaarxiv icon

A Modal Logic for Explaining some Graph Neural Networks

Add code
Jul 11, 2023
Viaarxiv icon