{"total":20,"rows":[{"id":"2305.04388","title":"Language Models Don't Always Say What They Think: Unfaithful Explanations in Chain-of-Thought Prompting","created":"2023-05-07","cited_by_count":1122,"area":"lr"},{"id":"2305.12295","title":"Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning","created":"2023-05-20","cited_by_count":391,"area":"lr"},{"id":"2310.01061","title":"Reasoning on Graphs: Faithful and Interpretable Large Language Model Reasoning","created":"2023-10-02","cited_by_count":328,"area":"lr"},{"id":"2308.03188","title":"Automatically Correcting Large Language Models: Surveying the landscape of diverse self-correction strategies","created":"2023-08-06","cited_by_count":238,"area":"lr"},{"id":"2310.15164","title":"LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers","created":"2023-10-23","cited_by_count":168,"area":"lr"},{"id":"2304.13007","title":"Answering Questions by Meta-Reasoning over Multiple Chains of Thought","created":"2023-04-25","cited_by_count":87,"area":"lr"},{"id":"2303.14725","title":"Natural Language Reasoning, A Survey","created":"2023-03-26","cited_by_count":61,"area":"lr"},{"id":"2502.15652","title":"Empowering LLMs with Logical Reasoning: A Comprehensive Survey","created":"2025-02-21","cited_by_count":51,"area":"lr"},{"id":"2303.12023","title":"Logical Reasoning over Natural Language as Knowledge Representation: A Survey","created":"2023-03-21","cited_by_count":32,"area":"lr"},{"id":"2311.06158","title":"Language Models can be Logical Solvers","created":"2023-11-10","cited_by_count":24,"area":"lr"},{"id":"2305.06349","title":"RECKONING: Reasoning through Dynamic Knowledge Encoding","created":"2023-05-10","cited_by_count":18,"area":"lr"},{"id":"2305.02556","title":"Faithful Question Answering with Monte-Carlo Planning","created":"2023-05-04","cited_by_count":16,"area":"lr"},{"id":"2311.09603","title":"Self-Contradictory Reasoning Evaluation and Detection","created":"2023-11-16","cited_by_count":14,"area":"lr"},{"id":"2402.03686","title":"Are Machines Better at Complex Reasoning? Unveiling Human-Machine Inference Gaps in Entailment Verification","created":"2024-02-06","cited_by_count":13,"area":"lr"},{"id":"2501.05069","title":"Commonsense Video Question Answering through Video-Grounded Entailment Tree Reasoning","created":"2025-01-09","cited_by_count":12,"area":"lr"},{"id":"2511.04662","title":"VeriCoT: Neuro-symbolic Chain-of-Thought Validation via Logical Consistency Checks","created":"2025-11-06","cited_by_count":11,"area":"lr"},{"id":"2501.16961","title":"Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers","created":"2025-01-28","cited_by_count":7,"area":"lr"},{"id":"2407.14562","title":"Thought-Like-Pro: Enhancing Reasoning of Large Language Models through Self-Driven Prolog-based Chain-of-Thought","created":"2024-07-18","cited_by_count":4,"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":"2412.17701","title":"From Models to Microtheories: Distilling a Model's Topical Knowledge for Grounded Question Answering","created":"2024-12-23","cited_by_count":1,"area":"lr"}],"next_cursor":null}