Automated Reasoning

E-GPS: Explainable Geometry Problem Solving via Top-Down Solver and Bottom-Up Generator CVPR 2024 Exact ASP Counting with Compact Encodings AAAI 2024 Exploiting Intrinsic Multilateral Logical Rules for Weakly Supervised Natural Language Video Localization ACL 2024 Exploring Reasoning Biases in Large Language Models Through Syllogism: Insights from the NeuBAROCO Dataset ACL 2024 Fact-Driven Logical Reasoning for Machine Reading Comprehension AAAI 2024 Few-shot Knowledge Graph Relational Reasoning via Subgraph Adaptation NAACL 2024 Finite Groundings for ASP with Functions: A Journey through Consistency IJCAI 2024 FOLIO: Natural Language Reasoning with First-Order Logic EMNLP 2024 Formal Logic Enabled Personalized Federated Learning through Property Inference AAAI 2024 From Statistical Relational to Neuro-Symbolic Artificial Intelligence AAAI 2024 Generalisation through Negation and Predicate Invention AAAI 2024 HW-TSC at SemEval-2024 Task 5: Self-Eval? A Confident LLM System for Auto Prediction and Evaluation for the Legal Argument Reasoning Task SemEval 2024 Improving Multi-hop Logical Reasoning in Knowledge Graphs with Context-Aware Query Representation Learning ACL 2024 Inference and Learning in Dynamic Decision Networks Using Knowledge Compilation AAAI 2024 INFORMEDQX: Informed Conflict Detection for Over-Constrained Problems AAAI 2024 Instantiations and Computational Aspects of Non-Flat Assumption-based Argumentation IJCAI 2024 Interactive Theorem Provers: Applications in AI, Opportunities, and Challenges AAAI 2024 JellyBell at TextGraphs-17 Shared Task: Fusing Large Language Models with External Knowledge for Enhanced Question Answering ACL 2024 KnowFormer: Revisiting Transformers for Knowledge Graph Reasoning ICML 2024 Knowledge Crosswords: Geometric Knowledge Reasoning with Large Language Models ACL 2024 Knowledge-Enhanced Historical Document Segmentation and Recognition AAAI 2024 Learning Logic Programs by Discovering Higher-Order Abstractions IJCAI 2024 Learning MDL Logic Programs from Noisy Data AAAI 2024 Learning to Learn in Interactive Constraint Acquisition AAAI 2024 LogicAsker: Evaluating and Improving the Logical Reasoning Ability of Large Language Models EMNLP 2024