{"total":29,"rows":[{"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":"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":"2306.03872","title":"Deductive Verification of Chain-of-Thought Reasoning","created":"2023-06-06","cited_by_count":124,"area":"lr"},{"id":"2412.16075","title":"Formal Mathematical Reasoning: A New Frontier in AI","created":"2024-12-20","cited_by_count":81,"area":"lr"},{"id":"2502.12289","title":"Evaluating Step-by-step Reasoning Traces: A Survey","created":"2025-02-17","cited_by_count":63,"area":"lr"},{"id":"2303.14725","title":"Natural Language Reasoning, A Survey","created":"2023-03-26","cited_by_count":61,"area":"lr"},{"id":"2408.16293","title":"Physics of Language Models: Part 2.2, How to Learn From Mistakes on Grade-School Math Problems","created":"2024-08-29","cited_by_count":50,"area":"lr"},{"id":"2406.06461","title":"Reasoning in Token Economies: Budget-Aware Evaluation of LLM Reasoning Strategies","created":"2024-06-10","cited_by_count":45,"area":"lr"},{"id":"2305.14934","title":"GRACE: Discriminator-Guided Chain-of-Thought Reasoning","created":"2023-05-24","cited_by_count":35,"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":"2212.10923","title":"Language Models as Inductive Reasoners","created":"2022-12-21","cited_by_count":32,"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":"2308.07336","title":"Learning Deductive Reasoning from Synthetic Corpus based on Formal Logic","created":"2023-08-11","cited_by_count":18,"area":"lr"},{"id":"2506.04810","title":"Dissecting Logical Reasoning in LLMs: A Fine-Grained Evaluation and Supervision Study","created":"2025-06-05","cited_by_count":17,"area":"lr"},{"id":"2209.07662","title":"NELLIE: A Neuro-Symbolic Inference Engine for Grounded, Compositional, and Explainable Reasoning","created":"2022-09-16","cited_by_count":16,"area":"lr"},{"id":"2305.02556","title":"Faithful Question Answering with Monte-Carlo Planning","created":"2023-05-04","cited_by_count":16,"area":"lr"},{"id":"2402.00745","title":"Enhancing Ethical Explanations of Large Language Models through Iterative Symbolic Refinement","created":"2024-02-01","cited_by_count":16,"area":"lr"},{"id":"2504.03930","title":"Have Large Language Models Learned to Reason? A Characterization via 3-SAT Phase Transition","created":"2025-04-04","cited_by_count":14,"area":"lr"},{"id":"2305.17077","title":"Learning and Leveraging Verifiers to Improve Planning Capabilities of Pre-trained Language Models","created":"2023-05-26","cited_by_count":10,"area":"lr"},{"id":"2502.17925","title":"LeanProgress: Guiding Search for Neural Theorem Proving via Proof Progress Prediction","created":"2025-02-25","cited_by_count":10,"area":"lr"},{"id":"2505.15960","title":"Efficient PRM Training Data Synthesis via Formal Verification","created":"2025-05-21","cited_by_count":8,"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":"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":"2401.13246","title":"SEER: Facilitating Structured Reasoning and Explanation via Reinforcement Learning","created":"2024-01-24","cited_by_count":3,"area":"lr"},{"id":"2302.08148","title":"Empirical Investigation of Neural Symbolic Reasoning Strategies","created":"2023-02-16","cited_by_count":1,"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}