{"total":53,"rows":[{"id":"2205.09712","title":"Selection-Inference: Exploiting Large Language Models for Interpretable Logical Reasoning","created":"2022-05-19","cited_by_count":334,"area":"lr"},{"id":"2204.06031","title":"A Review on Language Models as Knowledge Bases","created":"2022-04-12","cited_by_count":157,"area":null},{"id":"2104.08661","title":"Explaining Answers with Entailment Trees","created":"2021-04-17","cited_by_count":152,"area":null},{"id":"2208.14271","title":"Faithful Reasoning Using Large Language Models","created":"2022-08-30","cited_by_count":130,"area":"lr"},{"id":"2206.04301","title":"Unveiling Transformers with LEGO: a synthetic reasoning task","created":"2022-06-09","cited_by_count":106,"area":null},{"id":"2205.12910","title":"NaturalProver: Grounded Mathematical Proof Generation with Language Models","created":"2022-05-25","cited_by_count":72,"area":null},{"id":"2306.07303","title":"A Comprehensive Survey on Applications of Transformers for Deep Learning Tasks","created":"2023-06-11","cited_by_count":71,"area":null},{"id":"2303.14725","title":"Natural Language Reasoning, A Survey","created":"2023-03-26","cited_by_count":61,"area":"lr"},{"id":"2104.07644","title":"ExplaGraphs: An Explanation Graph Generation Task for Structured Commonsense Reasoning","created":"2021-04-15","cited_by_count":58,"area":null},{"id":"2404.09939","title":"A Survey on Deep Learning for Theorem Proving","created":"2024-04-15","cited_by_count":57,"area":null},{"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":"2310.00836","title":"Towards LogiGLUE: A Brief Survey and A Benchmark for Analyzing Logical Reasoning Capabilities of Language Models","created":"2023-10-02","cited_by_count":35,"area":"lr"},{"id":"2203.10261","title":"FaiRR: Faithful and Robust Deductive Reasoning over Natural Language","created":"2022-03-19","cited_by_count":29,"area":"lr"},{"id":"2411.12498","title":"Enhancing Reasoning Capabilities of LLMs via Principled Synthetic Logic Corpus","created":"2024-11-19","cited_by_count":29,"area":"lr"},{"id":"2104.08825","title":"Flexible Generation of Natural Language Deductions","created":"2021-04-18","cited_by_count":28,"area":null},{"id":"2112.09054","title":"Pushing the Limits of Rule Reasoning in Transformers through Natural Language Satisfiability","created":"2021-12-16","cited_by_count":18,"area":null},{"id":"2308.07336","title":"Learning Deductive Reasoning from Synthetic Corpus based on Formal Logic","created":"2023-08-11","cited_by_count":18,"area":"lr"},{"id":"2203.12186","title":"AbductionRules: Training Transformers to Explain Unexpected Inputs","created":"2022-03-23","cited_by_count":17,"area":"lr"},{"id":"2205.02593","title":"METGEN: A Module-Based Entailment Tree Generation Framework for Answer Explanation","created":"2022-05-05","cited_by_count":17,"area":"lr"},{"id":"2103.13033","title":"Thinking Aloud: Dynamic Context Generation Improves Zero-Shot Reasoning Performance of GPT-2","created":"2021-03-24","cited_by_count":15,"area":null},{"id":"2106.01354","title":"multiPRover: Generating Multiple Proofs for Improved Interpretability in Rule Reasoning","created":"2021-06-02","cited_by_count":15,"area":null},{"id":"2109.10604","title":"NOAHQA: Numerical Reasoning with Interpretable Graph Question Answering Dataset","created":"2021-09-22","cited_by_count":14,"area":null},{"id":"2209.10492","title":"Summarization Programs: Interpretable Abstractive Summarization with Neural Modular Trees","created":"2022-09-21","cited_by_count":14,"area":null},{"id":"2310.09107","title":"GLoRE: Evaluating Logical Reasoning of Large Language Models","created":"2023-10-13","cited_by_count":13,"area":"lr"},{"id":"2111.12038","title":"Learning Symbolic Rules for Reasoning in Quasi-Natural Language","created":"2021-11-23","cited_by_count":9,"area":null},{"id":"2205.10714","title":"Interpretable Proof Generation via Iterative Backward Reasoning","created":"2022-05-22","cited_by_count":9,"area":"lr"},{"id":"2408.10210","title":"A Survey on Symbolic Knowledge Distillation of Large Language Models","created":"2024-07-12","cited_by_count":9,"area":"distill"},{"id":"2109.08460","title":"Neural Unification for Logic Reasoning over Natural Language","created":"2021-09-17","cited_by_count":8,"area":null},{"id":"2204.04813","title":"Explanation Graph Generation via Pre-trained Language Models: An Empirical Study with Contrastive Learning","created":"2022-04-11","cited_by_count":8,"area":null},{"id":"2105.02486","title":"Towards General Natural Language Understanding with Probabilistic Worldbuilding","created":"2021-05-06","cited_by_count":7,"area":null},{"id":"2105.03417","title":"Diff-Explainer: Differentiable Convex Optimization for Explainable Multi-hop Inference","created":"2021-05-07","cited_by_count":7,"area":null},{"id":"2110.01509","title":"DeepA2: A Modular Framework for Deep Argument Analysis with Pretrained Neural Text2Text Language Models","created":"2021-10-04","cited_by_count":7,"area":null},{"id":"2210.17095","title":"RLET: A Reinforcement Learning Based Approach for Explainable QA with Entailment Trees","created":"2022-10-31","cited_by_count":7,"area":"lr"},{"id":"2212.08607","title":"MURMUR: Modular Multi-Step Reasoning for Semi-Structured Data-to-Text Generation","created":"2022-12-16","cited_by_count":7,"area":"lr"},{"id":"2305.13179","title":"Teaching Probabilistic Logical Reasoning to Transformers","created":"2023-05-22","cited_by_count":7,"area":"lr"},{"id":"2212.09282","title":"APOLLO: A Simple Approach for Adaptive Pretraining of Language Models for Logical Reasoning","created":"2022-12-19","cited_by_count":5,"area":"lr"},{"id":"2210.08763","title":"ReasonChainQA: Text-based Complex Question Answering with Explainable Evidence Chains","created":"2022-10-17","cited_by_count":4,"area":null},{"id":"2103.14973","title":"Explaining the Road Not Taken","created":"2021-03-27","cited_by_count":3,"area":null},{"id":"2107.02418","title":"Probabilistic Graph Reasoning for Natural Proof Generation","created":"2021-07-06","cited_by_count":3,"area":null},{"id":"2401.13246","title":"SEER: Facilitating Structured Reasoning and Explanation via Reinforcement Learning","created":"2024-01-24","cited_by_count":3,"area":"lr"},{"id":"2205.00047","title":"Logically Consistent Adversarial Attacks for Soft Theorem Provers","created":"2022-04-29","cited_by_count":2,"area":null},{"id":"2208.03339","title":"Going Beyond Approximation: Encoding Constraints for Explainable Multi-hop Inference via Differentiable Combinatorial Solvers","created":"2022-08-05","cited_by_count":1,"area":null},{"id":"2306.00652","title":"Explanation Graph Generation via Generative Pre-training over Synthetic Graphs","created":"2023-06-01","cited_by_count":1,"area":"lr"},{"id":"2309.07624","title":"Dynamic MOdularized Reasoning for Compositional Structured Explanation Generation","created":"2023-09-14","cited_by_count":1,"area":null},{"id":"2311.08637","title":"Formal Proofs as Structured Explanations: Proposing Several Tasks on Explainable Natural Language Inference","created":"2023-11-15","cited_by_count":1,"area":"lr"},{"id":"2404.02625","title":"A Differentiable Integer Linear Programming Solver for Explanation-Based Natural Language Inference","created":"2024-04-03","cited_by_count":1,"area":null},{"id":"2412.14684","title":"Bel Esprit: Multi-Agent Framework for Building AI Model Pipelines","created":"2024-12-19","cited_by_count":1,"area":null},{"id":"2602.12665","title":"Evaluating Robustness of Reasoning Models on Parameterized Logical Problems","created":"2026-02-13","cited_by_count":1,"area":"lr"},{"id":"2208.14641","title":"Generating Intermediate Steps for NLI with Next-Step Supervision","created":"2022-08-31","cited_by_count":0,"area":null},{"id":"2211.13930","title":"TRAC: A Textual Benchmark for Reasoning about Actions and Change","created":"2022-11-25","cited_by_count":0,"area":"lr"},{"id":"2508.14488","title":"Reasoning is about giving reasons","created":"2025-08-20","cited_by_count":0,"area":null},{"id":"2508.17153","title":"Natural Language Satisfiability: Exploring the Problem Distribution and Evaluating Transformer-based Language Models","created":"2025-08-23","cited_by_count":0,"area":"lr"}],"next_cursor":null}