{"total":18,"rows":[{"id":"2210.01240","title":"Language Models Are Greedy Reasoners: A Systematic Formal Analysis of Chain-of-Thought","created":"2022-10-03","cited_by_count":337,"area":"lr"},{"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":"2209.00840","title":"FOLIO: Natural Language Reasoning with First-Order Logic","created":"2022-09-02","cited_by_count":235,"area":"lr"},{"id":"2208.14271","title":"Faithful Reasoning Using Large Language Models","created":"2022-08-30","cited_by_count":130,"area":"lr"},{"id":"2312.12241","title":"GeomVerse: A Systematic Evaluation of Large Models for Geometric Reasoning","created":"2023-12-19","cited_by_count":108,"area":"lr"},{"id":"2212.13894","title":"LAMBADA: Backward Chaining for Automated Reasoning in Natural Language","created":"2022-12-20","cited_by_count":66,"area":"lr"},{"id":"2303.14725","title":"Natural Language Reasoning, A Survey","created":"2023-03-26","cited_by_count":61,"area":"lr"},{"id":"2306.07934","title":"BoardgameQA: A Dataset for Natural Language Reasoning with Contradictory Information","created":"2023-06-13","cited_by_count":44,"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":"2203.00357","title":"MERIt: Meta-Path Guided Contrastive Learning for Logical Reasoning","created":"2022-03-01","cited_by_count":22,"area":"lr"},{"id":"2311.00445","title":"A Systematic Comparison of Syllogistic Reasoning in Humans and Language Models","created":"2023-11-01","cited_by_count":20,"area":"lr"},{"id":"2305.03742","title":"Improved Logical Reasoning of Language Models via Differentiable Symbolic Programming","created":"2023-05-05","cited_by_count":18,"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":"2311.17438","title":"CLOMO: Counterfactual Logical Modification with Large Language Models","created":"2023-11-29","cited_by_count":7,"area":"lr"},{"id":"2310.14868","title":"Assessing Step-by-Step Reasoning against Lexical Negation: A Case Study on Syllogism","created":"2023-10-23","cited_by_count":6,"area":"lr"},{"id":"2510.25626","title":"Are Language Models Efficient Reasoners? A Perspective from Logic Programming","created":"2025-10-29","cited_by_count":4,"area":"lr"},{"id":"2601.00142","title":"An AI Monkey Gets Grapes for Sure -- Sphere Neural Networks for Reliable Decision-Making","created":"2026-01-01","cited_by_count":1,"area":"lr"},{"id":"2603.17432","title":"Argument Reconstruction as Supervision for Critical Thinking in LLMs","created":"2026-03-18","cited_by_count":0,"area":"lr"}],"next_cursor":null}