logical inference

Sequential Model-Based Diagnosis by Systematic Search (Abstract Reprint) AAAI 2024 Visual-Textual Entailment with Quantities Using Model Checking and Knowledge Injection COLING 2024 Which Programming Language and What Features at Pre-training Stage Affect Downstream Logical Inference Performance? EMNLP 2024 Complex Query Answering on Eventuality Knowledge Graph with Implicit Logical Constraints NeurIPS 2023 Knowledge Injection for Disease Names in Logical Inference between Japanese Clinical Texts ACL 2023 LAMBADA: Backward Chaining for Automated Reasoning in Natural Language ACL 2023 SORTIE: Dependency-Aware Symbolic Reasoning for Logical Data-to-text Generation ACL 2023 Can Transformers Reason in Fragments of Natural Language? EMNLP 2022 DeepA2: A Modular Framework for Deep Argument Analysis with Pretrained Neural Text2Text Language Models NAACL 2022 Entailment Graph Learning with Textual Entailment and Soft Transitivity ACL 2022 FaiRR: Faithful and Robust Deductive Reasoning over Natural Language ACL 2022 Logical Inference for Counting on Semi-structured Tables ACL 2022 Maieutic Prompting: Logically Consistent Reasoning with Recursive Explanations EMNLP 2022 PLOG: Table-to-Logic Pretraining for Logical Table-to-Text Generation EMNLP 2022 Pragmatic and Logical Inferences in NLI Systems: The Case of Conjunction Buttressing NAACL 2022 Consistent Inference for Dialogue Relation Extraction IJCAI 2021 Crowdsourcing Beyond Annotation: Case Studies in Benchmark Data Collection EMNLP 2021 Fast Abductive Learning by Similarity-based Consistency Optimization NeurIPS 2021 NeuralLog: Natural Language Inference with Joint Neural and Logical Reasoning ACL 2021 Representing Implicit Positive Meaning of Negated Statements in AMR EMNLP 2021 SHAPELURN: An Interactive Language Learning Game with Logical Inference ACL 2021 BoxE: A Box Embedding Model for Knowledge Base Completion NeurIPS 2020 Logical Inferences with Comparatives and Generalized Quantifiers ACL 2020 Logical Natural Language Generation from Open-Domain Tables ACL 2020 Multimodal Logical Inference System for Visual-Textual Entailment ACL 2019