{"total":21,"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":"2208.14271","title":"Faithful Reasoning Using Large Language Models","created":"2022-08-30","cited_by_count":130,"area":"lr"},{"id":"2303.14725","title":"Natural Language Reasoning, A Survey","created":"2023-03-26","cited_by_count":61,"area":"lr"},{"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":"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":"2310.09107","title":"GLoRE: Evaluating Logical Reasoning of Large Language Models","created":"2023-10-13","cited_by_count":13,"area":"lr"},{"id":"2205.10714","title":"Interpretable Proof Generation via Iterative Backward Reasoning","created":"2022-05-22","cited_by_count":9,"area":"lr"},{"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":"2401.13246","title":"SEER: Facilitating Structured Reasoning and Explanation via Reinforcement Learning","created":"2024-01-24","cited_by_count":3,"area":"lr"},{"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":"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":"2602.12665","title":"Evaluating Robustness of Reasoning Models on Parameterized Logical Problems","created":"2026-02-13","cited_by_count":1,"area":"lr"},{"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.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}