{"total":52,"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":"2406.01297","title":"When Can LLMs Actually Correct Their Own Mistakes? A Critical Survey of Self-Correction of LLMs","created":"2024-06-03","cited_by_count":240,"area":null},{"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":"2404.09939","title":"A Survey on Deep Learning for Theorem Proving","created":"2024-04-15","cited_by_count":57,"area":null},{"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.03695","title":"Vera: A General-Purpose Plausibility Estimation Model for Commonsense Statements","created":"2023-05-05","cited_by_count":44,"area":null},{"id":"2210.12217","title":"Entailer: Answering Questions with Faithful and Truthful Chains of Reasoning","created":"2022-10-21","cited_by_count":38,"area":null},{"id":"2311.09114","title":"Ever: Mitigating Hallucination in Large Language Models through Real-Time Verification and Rectification","created":"2023-11-15","cited_by_count":38,"area":null},{"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":"2406.00215","title":"HumanEvalComm: Benchmarking the Communication Competence of Code Generation for LLMs and LLM Agent","created":"2024-05-31","cited_by_count":24,"area":"agents"},{"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":"2512.02304","title":"When Does Verification Pay Off? A Closer Look at LLMs as Solution Verifiers","created":"2025-12-02","cited_by_count":15,"area":null},{"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":"2211.00614","title":"Natural Language Deduction with Incomplete Information","created":"2022-11-01","cited_by_count":12,"area":null},{"id":"2402.14798","title":"Enhancing Systematic Decompositional Natural Language Inference Using Informal Logic","created":"2024-02-22","cited_by_count":12,"area":null},{"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":"2509.24405","title":"Multilingual Text-to-SQL: Benchmarking the Limits of Language Models with Collaborative Language Agents","created":"2025-09-29","cited_by_count":8,"area":"agents"},{"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":"2506.03332","title":"Helpful Agent Meets Deceptive Judge: Understanding Vulnerabilities in Agentic Workflows","created":"2025-06-03","cited_by_count":7,"area":"agents"},{"id":"2212.10522","title":"Transformers Go for the LOLs: Generating (Humourous) Titles from Scientific Abstracts End-to-End","created":"2022-12-20","cited_by_count":6,"area":null},{"id":"2308.13507","title":"Large Language Models Should Ask Clarifying Questions to Increase Confidence in Generated Code","created":"2023-08-25","cited_by_count":5,"area":null},{"id":"2406.01882","title":"HoneyGPT: Breaking the Trilemma in Terminal Honeypots with Large Language Model","created":"2024-06-04","cited_by_count":5,"area":null},{"id":"2506.09433","title":"Mitigating Spurious Correlations in LLMs via Causality-Aware Post-Training","created":"2025-06-11","cited_by_count":5,"area":null},{"id":"2311.00694","title":"Unleashing the Creative Mind: Language Model As Hierarchical Policy For Improved Exploration on Challenging Problem Solving","created":"2023-11-01","cited_by_count":4,"area":null},{"id":"2307.02472","title":"Deductive Additivity for Planning of Natural Language Proofs","created":"2023-07-05","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":"2403.00338","title":"Semi-Instruct: Bridging Natural-Instruct and Self-Instruct for Code Large Language Models","created":"2024-03-01","cited_by_count":3,"area":"synth"},{"id":"2403.06410","title":"A Logical Pattern Memory Pre-trained Model for Entailment Tree Generation","created":"2024-03-11","cited_by_count":3,"area":null},{"id":"2607.13292","title":"Theory-Level Autoformalization: From Isolated Statements to Unified Formal Knowledge Bases","created":"2026-07-14","cited_by_count":3,"area":null},{"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"},{"id":"2502.19973","title":"Can Large Language Models Unveil the Mysteries? An Exploration of Their Ability to Unlock Information in Complex Scenarios","created":"2025-02-27","cited_by_count":1,"area":null},{"id":"2506.05623","title":"Deployability-Centric Infrastructure-as-Code Generation: Fail, Learn, Refine, and Succeed through LLM-Empowered DevOps Simulation","created":"2025-06-05","cited_by_count":1,"area":null},{"id":"2512.02389","title":"Synthetic Error Injection Fails to Elicit Self-Correction In Language Models","created":"2025-12-02","cited_by_count":0,"area":null}],"next_cursor":null}