{"total":391,"rows":[{"id":"2407.16741","title":"OpenHands: An Open Platform for AI Software Developers as Generalist Agents","created":"2024-07-23","cited_by_count":1002,"area":"agents"},{"id":"2504.11536","title":"ReTool: Reinforcement Learning for Strategic Tool Use in LLMs","created":"2025-04-15","cited_by_count":392,"area":"lr"},{"id":"2409.12183","title":"To CoT or not to CoT? Chain-of-thought helps mainly on math and symbolic reasoning","created":"2024-09-18","cited_by_count":263,"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":"2305.14909","title":"Leveraging Pre-trained Large Language Models to Construct and Utilize World Models for Model-based Task Planning","created":"2023-05-24","cited_by_count":207,"area":"wm"},{"id":"2309.15402","title":"Navigate through Enigmatic Labyrinth A Survey of Chain of Thought Reasoning: Advances, Frontiers and Future","created":"2023-09-27","cited_by_count":184,"area":"lr"},{"id":"2402.01817","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","created":"2024-02-02","cited_by_count":179,"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":"2307.01379","title":"Shifting Attention to Relevance: Towards the Predictive Uncertainty Quantification of Free-Form Large Language Models","created":"2023-07-03","cited_by_count":150,"area":null},{"id":"2407.11511","title":"Multi-Step Reasoning with Large Language Models, a Survey","created":"2024-07-16","cited_by_count":143,"area":"lr"},{"id":"2410.20285","title":"SWE-Search: Enhancing Software Agents with Monte Carlo Tree Search and Iterative Refinement","created":"2024-10-26","cited_by_count":132,"area":"agents"},{"id":"2503.21614","title":"A Survey of Efficient Reasoning for Large Reasoning Models: Language, Multimodality, and Beyond","created":"2025-03-27","cited_by_count":132,"area":"lr"},{"id":"2306.12672","title":"From Word Models to World Models: Translating from Natural Language to the Probabilistic Language of Thought","created":"2023-06-22","cited_by_count":119,"area":"wm"},{"id":"2410.23123","title":"On Memorization of Large Language Models in Logical Reasoning","created":"2024-10-30","cited_by_count":117,"area":"lr"},{"id":"2401.06853","title":"Large Language Models Can Learn Temporal Reasoning","created":"2024-01-12","cited_by_count":111,"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":"2310.20689","title":"Learning From Mistakes Makes LLM Better Reasoner","created":"2023-10-31","cited_by_count":101,"area":"lr"},{"id":"2405.18357","title":"Faithful Logical Reasoning via Symbolic Chain-of-Thought","created":"2024-05-28","cited_by_count":100,"area":"lr"},{"id":"2404.10642","title":"Self-playing Adversarial Language Game Enhances LLM Reasoning","created":"2024-04-16","cited_by_count":83,"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":"2411.02059","title":"TableGPT2: A Large Multimodal Model with Tabular Data Integration","created":"2024-11-04","cited_by_count":72,"area":"mllm"},{"id":"2402.11451","title":"SciAgent: Tool-augmented Language Models for Scientific Reasoning","created":"2024-02-18","cited_by_count":70,"area":"lr"},{"id":"2403.01632","title":"SynCode: LLM Generation with Grammar Augmentation","created":"2024-03-03","cited_by_count":69,"area":null},{"id":"2306.09841","title":"Are Large Language Models Really Good Logical Reasoners? A Comprehensive Evaluation and Beyond","created":"2023-06-16","cited_by_count":65,"area":"lr"},{"id":"2305.15541","title":"Harnessing the Power of Large Language Models for Natural Language to First-Order Logic Translation","created":"2023-05-24","cited_by_count":59,"area":"alignment"},{"id":"2411.01855","title":"Can Language Models Learn to Skip Steps?","created":"2024-11-04","cited_by_count":59,"area":"lr"},{"id":"2305.19234","title":"Grammar Prompting for Domain-Specific Language Generation with Large Language Models","created":"2023-05-30","cited_by_count":58,"area":null},{"id":"2310.05707","title":"Guiding Language Model Reasoning with Planning Tokens","created":"2023-10-09","cited_by_count":58,"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":"2502.15652","title":"Empowering LLMs with Logical Reasoning: A Comprehensive Survey","created":"2025-02-21","cited_by_count":51,"area":"lr"},{"id":"2405.13144","title":"LLMs for Mathematical Modeling: Towards Bridging the Gap between Natural and Mathematical Languages","created":"2024-05-21","cited_by_count":49,"area":"lr"},{"id":"2402.12563","title":"Confidence Matters: Revisiting Intrinsic Self-Correction Capabilities of Large Language Models","created":"2024-02-19","cited_by_count":47,"area":null},{"id":"2402.11291","title":"Puzzle Solving using Reasoning of Large Language Models: A Survey","created":"2024-02-17","cited_by_count":45,"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":"2310.10632","title":"BioPlanner: Automatic Evaluation of LLMs on Protocol Planning in Biology","created":"2023-10-16","cited_by_count":43,"area":null},{"id":"2311.07954","title":"A Closer Look at the Self-Verification Abilities of Large Language Models in Logical Reasoning","created":"2023-11-14","cited_by_count":41,"area":"lr"},{"id":"2401.02500","title":"On the Prospects of Incorporating Large Language Models (LLMs) in Automated Planning and Scheduling (APS)","created":"2024-01-04","cited_by_count":40,"area":null},{"id":"2311.09278","title":"Symbol-LLM: Towards Foundational Symbol-centric Interface For Large Language Models","created":"2023-11-15","cited_by_count":39,"area":null},{"id":"2502.09061","title":"CRANE: Reasoning with constrained LLM generation","created":"2025-02-13","cited_by_count":38,"area":"lr"},{"id":"2503.18971","title":"LLMs as Planning Formalizers: A Survey for Leveraging Large Language Models to Construct Automated Planning Models","created":"2025-03-22","cited_by_count":38,"area":null},{"id":"2402.10958","title":"Relative Preference Optimization: Enhancing LLM Alignment through Contrasting Responses across Identical and Diverse Prompts","created":"2024-02-12","cited_by_count":36,"area":"alignment"},{"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":"2405.01379","title":"Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving","created":"2024-05-02","cited_by_count":35,"area":null},{"id":"2407.14414","title":"System-1.x: Learning to Balance Fast and Slow Planning with Language Models","created":"2024-07-19","cited_by_count":35,"area":null},{"id":"2410.12112","title":"Planning Anything with Rigor: General-Purpose Zero-Shot Planning with LLM-based Formalized Programming","created":"2024-10-15","cited_by_count":35,"area":null},{"id":"2310.18659","title":"DetermLR: Augmenting LLM-based Logical Reasoning from Indeterminacy to Determinacy","created":"2023-10-28","cited_by_count":34,"area":"lr"},{"id":"2402.16048","title":"How Likely Do LLMs with CoT Mimic Human Reasoning?","created":"2024-02-25","cited_by_count":34,"area":"lr"},{"id":"2502.08224","title":"Flow-of-Action: SOP Enhanced LLM-Based Multi-Agent System for Root Cause Analysis","created":"2025-02-12","cited_by_count":34,"area":"agents"},{"id":"2509.24765","title":"Semantic-Aware Logical Reasoning via a Semiotic Framework","created":"2025-09-29","cited_by_count":32,"area":"lr"},{"id":"2408.00114","title":"Inductive or Deductive? Rethinking the Fundamental Reasoning Abilities of LLMs","created":"2024-07-31","cited_by_count":29,"area":"lr"},{"id":"2403.13312","title":"LeanReasoner: Boosting Complex Logical Reasoning with Lean","created":"2024-03-20","cited_by_count":28,"area":"lr"},{"id":"2502.06563","title":"Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation","created":"2025-02-10","cited_by_count":28,"area":"lr"},{"id":"2310.14628","title":"Plan, Verify and Switch: Integrated Reasoning with Diverse X-of-Thoughts","created":"2023-10-23","cited_by_count":27,"area":"lr"},{"id":"2410.08047","title":"Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning","created":"2024-10-10","cited_by_count":27,"area":"lr"},{"id":"2412.08972","title":"RuleArena: A Benchmark for Rule-Guided Reasoning with LLMs in Real-World Scenarios","created":"2024-12-12","cited_by_count":27,"area":"lr"},{"id":"2503.04104","title":"LLMs Can Generate a Better Answer by Aggregating Their Own Responses","created":"2025-03-06","cited_by_count":27,"area":null},{"id":"2503.21411","title":"Exploring the Roles of Large Language Models in Reshaping Transportation Systems: A Survey, Framework, and Roadmap","created":"2025-03-27","cited_by_count":26,"area":null},{"id":"2406.19228","title":"Tools Fail: Detecting Silent Errors in Faulty Tools","created":"2024-06-27","cited_by_count":25,"area":null},{"id":"2501.01767","title":"LogicAD: Explainable Anomaly Detection via VLM-based Text Feature Extraction","created":"2025-01-03","cited_by_count":25,"area":null},{"id":"2505.00026","title":"Theory of Mind in Large Language Models: Assessment and Enhancement","created":"2025-04-26","cited_by_count":25,"area":null},{"id":"2505.13026","title":"Step-wise Adaptive Integration of Supervised Fine-tuning and Reinforcement Learning for Task-Specific LLMs","created":"2025-05-19","cited_by_count":25,"area":"lr"},{"id":"2601.02902","title":"Logical Phase Transitions: Understanding Collapse in LLM Logical Reasoning","created":"2026-01-06","cited_by_count":25,"area":"lr"},{"id":"2311.06158","title":"Language Models can be Logical Solvers","created":"2023-11-10","cited_by_count":24,"area":"lr"},{"id":"2308.09853","title":"How susceptible are LLMs to Logical Fallacies?","created":"2023-08-18","cited_by_count":23,"area":"lr"},{"id":"2409.17539","title":"Logic-of-Thought: Injecting Logic into Contexts for Full Reasoning in Large Language Models","created":"2024-09-26","cited_by_count":23,"area":"lr"},{"id":"2410.03136","title":"Deliberate Reasoning in Language Models as Structure-Aware Planning with an Accurate World Model","created":"2024-10-04","cited_by_count":23,"area":"wm"},{"id":"2402.03268","title":"Understanding Reasoning Ability of Language Models From the Perspective of Reasoning Paths Aggregation","created":"2024-02-05","cited_by_count":22,"area":"lr"},{"id":"2406.02787","title":"Disentangling Logic: The Role of Context in Large Language Model Reasoning Capabilities","created":"2024-06-04","cited_by_count":22,"area":"lr"},{"id":"2410.04194","title":"Consistent Autoformalization for Constructing Mathematical Libraries","created":"2024-10-05","cited_by_count":21,"area":null},{"id":"2404.02575","title":"Language Models as Compilers: Simulating Pseudocode Execution Improves Algorithmic Reasoning in Language Models","created":"2024-04-03","cited_by_count":20,"area":"lr"},{"id":"2505.15817","title":"Learning to Reason via Mixture-of-Thought for Logical Reasoning","created":"2025-05-21","cited_by_count":20,"area":"lr"},{"id":"2406.04331","title":"PaCE: Parsimonious Concept Engineering for Large Language Models","created":"2024-06-06","cited_by_count":19,"area":null},{"id":"2309.01660","title":"Unveiling Theory of Mind in Large Language Models: A Parallel to Single Neurons in the Human Brain","created":"2023-09-04","cited_by_count":18,"area":null},{"id":"2412.09879","title":"On the Limit of Language Models as Planning Formalizers","created":"2024-12-13","cited_by_count":18,"area":null},{"id":"2503.03196","title":"SpiritSight Agent: Advanced GUI Agent with One Look","created":"2025-03-05","cited_by_count":18,"area":"agents"},{"id":"2504.12773","title":"Enhancing the Geometric Problem-Solving Ability of Multimodal LLMs via Symbolic-Neural Integration","created":"2025-04-17","cited_by_count":18,"area":"lr"},{"id":"2505.12189","title":"Mitigating Content Effects on Reasoning in Language Models through Fine-Grained Activation Steering","created":"2025-05-18","cited_by_count":18,"area":"lr"},{"id":"2310.09158","title":"Improving Large Language Models in Event Relation Logical Prediction","created":"2023-10-13","cited_by_count":17,"area":null},{"id":"2405.17893","title":"Arithmetic Reasoning with LLM: Prolog Generation & Permutation","created":"2024-05-28","cited_by_count":17,"area":"lr"},{"id":"2408.13654","title":"Symbolic Working Memory Enhances Language Models for Complex Rule Application","created":"2024-08-24","cited_by_count":17,"area":"lr"},{"id":"2409.19667","title":"Can Large Language Models Analyze Graphs like Professionals? A Benchmark, Datasets and Models","created":"2024-09-29","cited_by_count":17,"area":null},{"id":"2502.12616","title":"Improving Chain-of-Thought Reasoning via Quasi-Symbolic Abstractions","created":"2025-02-18","cited_by_count":17,"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":"2406.00252","title":"Towards Rationality in Language and Multimodal Agents: A Survey","created":"2024-06-01","cited_by_count":16,"area":"agents"},{"id":"2408.03247","title":"Unveiling Factual Recall Behaviors of Large Language Models through Knowledge Neurons","created":"2024-08-06","cited_by_count":16,"area":null},{"id":"2410.07432","title":"Can Transformers Reason Logically? A Study in SAT Solving","created":"2024-10-09","cited_by_count":16,"area":"lr"},{"id":"2410.10336","title":"CoMAT: Chain of Mathematically Annotated Thought Improves Mathematical Reasoning","created":"2024-10-14","cited_by_count":16,"area":"lr"},{"id":"2501.12432","title":"Divide-Then-Aggregate: An Efficient Tool Learning Method via Parallel Tool Invocation","created":"2025-01-21","cited_by_count":16,"area":"agents"},{"id":"2505.19433","title":"Can Compressed LLMs Truly Act? An Empirical Evaluation of Agentic Capabilities in LLM Compression","created":"2025-05-26","cited_by_count":16,"area":"agents"},{"id":"2505.23061","title":"DINGO: Constrained Inference for Diffusion LLMs","created":"2025-05-29","cited_by_count":16,"area":null},{"id":"2507.17249","title":"R4ec: A Reasoning, Reflection, and Refinement Framework for Recommendation Systems","created":"2025-07-23","cited_by_count":16,"area":"lr"},{"id":"2309.10814","title":"Natural Language Embedded Programs for Hybrid Language Symbolic Reasoning","created":"2023-09-19","cited_by_count":15,"area":"lr"},{"id":"2405.15279","title":"Towards Global Optimal Visual In-Context Learning Prompt Selection","created":"2024-05-24","cited_by_count":15,"area":null},{"id":"2503.00870","title":"NeSyC: A Neuro-symbolic Continual Learner For Complex Embodied Tasks In Open Domains","created":"2025-03-02","cited_by_count":15,"area":null},{"id":"2504.06438","title":"Don't Let It Hallucinate: Premise Verification via Retrieval-Augmented Logical Reasoning","created":"2025-04-08","cited_by_count":15,"area":"lr"},{"id":"2505.16022","title":"NOVER: Incentive Training for Language Models via Verifier-Free Reinforcement Learning","created":"2025-05-21","cited_by_count":15,"area":"lr"},{"id":"2406.01238","title":"EffiQA: Efficient Question-Answering with Strategic Multi-Model Collaboration on Knowledge Graphs","created":"2024-06-03","cited_by_count":14,"area":null},{"id":"2406.11736","title":"Interactive Evolution: A Neural-Symbolic Self-Training Framework For Large Language Models","created":"2024-06-17","cited_by_count":14,"area":"synth"},{"id":"2407.02514","title":"LOGIC-LM++: Multi-Step Refinement for Symbolic Formulations","created":"2024-06-22","cited_by_count":14,"area":"lr"}],"next_cursor":"100"}