Benchmark for Answering Existential First Order Queries with Single Free Variable (NeurIPS dataset and benchmark 2021)
-
Updated
May 3, 2023 - Python
#
logic-query
Here are 4 public repositories matching this topic...
Logical Message Passing Networks with One-hop Inference in Atomic Formulas (ICLR 2023)
-
Updated
Jul 21, 2023 - Python
昆仑镜 一站式查询平台（使用过程中有遇到问题可以 微信我 linzhouzhi99 ）
-
Updated
May 18, 2018 - JavaScript
Template-based Reconstruction of Complex Refactorings (ICSME 2010, Most Influential Paper Award
-
Updated
Sep 29, 2021 - Java
Add this topic to your repo
To associate your repository with the logic-query topic, visit your repo's landing page and select "manage topics."