{"total":19,"rows":[{"id":"2205.12443","title":"Generating Natural Language Proofs with Verifier-Guided Search","created":"2022-05-25","cited_by_count":52,"area":null},{"id":"2201.06028","title":"Natural Language Deduction through Search over Statement Compositions","created":"2022-01-16","cited_by_count":35,"area":null},{"id":"2104.08825","title":"Flexible Generation of Natural Language Deductions","created":"2021-04-18","cited_by_count":28,"area":null},{"id":"2105.14167","title":"NeuralLog: Natural Language Inference with Joint Neural and Logical Reasoning","created":"2021-05-29","cited_by_count":25,"area":null},{"id":"2109.08927","title":"Weakly Supervised Explainable Phrasal Reasoning with Neural Fuzzy Logic","created":"2021-09-18","cited_by_count":10,"area":null},{"id":"2203.04857","title":"Neuro-symbolic Natural Logic with Introspective Revision for Natural Language Inference","created":"2022-03-09","cited_by_count":9,"area":null},{"id":"2112.01753","title":"Probing Linguistic Information For Logical Inference In Pre-trained Language Models","created":"2021-12-03","cited_by_count":6,"area":null},{"id":"2105.08008","title":"Supporting Context Monotonicity Abstractions in Neural NLI Models","created":"2021-05-17","cited_by_count":5,"area":null},{"id":"2112.08289","title":"Decomposing Natural Logic Inferences in Neural NLI","created":"2021-12-15","cited_by_count":4,"area":null},{"id":"2104.08659","title":"Monotonicity Marking from Universal Dependency Trees","created":"2021-04-17","cited_by_count":3,"area":null},{"id":"2307.02849","title":"NatLogAttack: A Framework for Attacking Natural Language Inference Models with Natural Logic","created":"2023-07-06","cited_by_count":3,"area":null},{"id":"2405.01259","title":"Identification of Entailment and Contradiction Relations for Natural Language Argumentation: A Neurosymbolic Approach","created":"2024-05-02","cited_by_count":2,"area":null},{"id":"2508.14735","title":"Evaluating Multilingual and Code-Switched Alignment in LLMs via Synthetic Natural Language Inference","created":"2025-08-20","cited_by_count":1,"area":null},{"id":"2204.07803","title":"Logical Inference for Counting on Semi-structured Tables","created":"2022-04-16","cited_by_count":0,"area":null},{"id":"2307.05034","title":"Synthetic Dataset for Evaluating Complex Compositional Knowledge for Natural Language Inference","created":"2023-07-11","cited_by_count":0,"area":null},{"id":"2509.13734","title":"Implementing a Logical Inference System for Japanese Comparatives","created":"2025-09-17","cited_by_count":0,"area":null},{"id":"2510.15972","title":"Quantum NLP models on Natural Language Inference","created":"2025-10-12","cited_by_count":0,"area":null},{"id":"2609.24932","title":"Linguistic Features for Interpretable Textual Entailment","created":"2026-09-21","cited_by_count":0,"area":null},{"id":"2610.15158","title":"Learning Proposition-Level Links from Sentence-Level Supervision for Neuro-Symbolic NLI","created":"2026-10-10","cited_by_count":0,"area":null}],"next_cursor":null}