GitHub repository: rchenbq/LMPNN
Primary language: Python
Description: Logical Message Passing Networks with One-hop Inference in Atomic Formulas (ICLR 2023)