This research establishes a formal framework for monotonic logical rules in mean-aggregation Graph Neural Networks, ensuring soundness through non-negative e...
Level: expert
By Matthew Morris, Ian Horrocks
Category: research