Benchmark for Answering Existential First Order Queries with Single Free Variable (NeurIPS dataset and benchmark 2021)
-
Updated
May 3, 2023 - Python
Benchmark for Answering Existential First Order Queries with Single Free Variable (NeurIPS dataset and benchmark 2021)
Logical Message Passing Networks with One-hop Inference in Atomic Formulas (ICLR 2023)
Add a description, image, and links to the logic-query topic page so that developers can more easily learn about it.
To associate your repository with the logic-query topic, visit your repo's landing page and select "manage topics."