A Logic for Reasoning About Aggregate-Combine Graph Neural Networks

Open in new window