"A Logic for Reasoning about Aggregate-Combine Graph Neural Networks."

Pierre Nunn et al. (2024)

Details and statistics

DOI:

access: open

type: Conference or Workshop Paper

metadata version: 2024-10-18