{"total":55,"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":"2402.00157","title":"Large Language Models for Mathematical Reasoning: Progresses and Challenges","created":"2024-01-31","cited_by_count":284,"area":"lr"},{"id":"2305.10037","title":"Can Language Models Solve Graph Problems in Natural Language?","created":"2023-05-17","cited_by_count":252,"area":"lr"},{"id":"2310.03094","title":"Large Language Model Cascades with Mixture of Thoughts Representations for Cost-efficient Reasoning","created":"2023-10-04","cited_by_count":143,"area":"lr"},{"id":"2504.07912","title":"Echo Chamber: RL Post-training Amplifies Behaviors Learned in Pretraining","created":"2025-04-10","cited_by_count":129,"area":"lr"},{"id":"2305.09656","title":"SatLM: Satisfiability-Aided Language Models Using Declarative Prompting","created":"2023-05-16","cited_by_count":102,"area":"lr"},{"id":"2405.12205","title":"Metacognitive Capabilities of LLMs: An Exploration in Mathematical Problem Solving","created":"2024-05-20","cited_by_count":84,"area":"lr"},{"id":"2401.14295","title":"Demystifying Chains, Trees, and Graphs of Thoughts","created":"2024-01-25","cited_by_count":63,"area":"lr"},{"id":"2410.05695","title":"Unlocking the Capabilities of Thought: A Reasoning Boundary Framework to Quantify and Optimize Chain-of-Thought","created":"2024-10-08","cited_by_count":56,"area":"lr"},{"id":"2306.02408","title":"Evaluating and Improving Tool-Augmented Computation-Intensive Math Reasoning","created":"2023-06-04","cited_by_count":49,"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":"2410.09918","title":"Dualformer: Controllable Fast and Slow Thinking by Learning with Randomized Reasoning Traces","created":"2024-10-13","cited_by_count":43,"area":"lr"},{"id":"2411.16345","title":"Preference Optimization for Reasoning with Pseudo Feedback","created":"2024-11-25","cited_by_count":39,"area":"lr"},{"id":"2310.05253","title":"Explainable Claim Verification via Knowledge-Grounded Reasoning with Large Language Models","created":"2023-10-08","cited_by_count":37,"area":"lr"},{"id":"2401.17464","title":"Efficient Tool Use with Chain-of-Abstraction Reasoning","created":"2024-01-30","cited_by_count":33,"area":"lr"},{"id":"2403.13312","title":"LeanReasoner: Boosting Complex Logical Reasoning with Lean","created":"2024-03-20","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":"2406.12830","title":"What Are the Odds? Language Models Are Capable of Probabilistic Reasoning","created":"2024-06-18","cited_by_count":26,"area":"lr"},{"id":"2410.03524","title":"Steering Large Language Models between Code Execution and Textual Reasoning","created":"2024-10-04","cited_by_count":24,"area":"lr"},{"id":"2410.13857","title":"How Numerical Precision Affects Arithmetical Reasoning Capabilities of LLMs","created":"2024-10-17","cited_by_count":24,"area":"lr"},{"id":"2401.17882","title":"I Think, Therefore I am: Benchmarking Awareness of Large Language Models Using AwareBench","created":"2024-01-31","cited_by_count":21,"area":"lr"},{"id":"2405.00622","title":"Causal Evaluation of Language Models","created":"2024-05-01","cited_by_count":18,"area":"lr"},{"id":"2509.11963","title":"ToolRM: Outcome Reward Models for Tool-Calling Large Language Models","created":"2025-09-15","cited_by_count":17,"area":"lr"},{"id":"2305.18507","title":"Code Prompting: a Neural Symbolic Method for Complex Reasoning in Large Language Models","created":"2023-05-29","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":"2410.21287","title":"A Systematic Assessment of OpenAI o1-Preview for Higher Order Thinking in Education","created":"2024-10-11","cited_by_count":16,"area":"lr"},{"id":"2501.00430","title":"Enhancing LLM Reasoning with Multi-Path Collaborative Reactive and Reflection agents","created":"2024-12-31","cited_by_count":15,"area":"lr"},{"id":"2409.12929","title":"LogicPro: Improving Complex Logical Reasoning via Program-Guided Learning","created":"2024-09-19","cited_by_count":14,"area":"lr"},{"id":"2406.10834","title":"Exposing the Achilles' Heel: Evaluating LLMs Ability to Handle Mistakes in Mathematical Reasoning","created":"2024-06-16","cited_by_count":13,"area":"lr"},{"id":"2408.08302","title":"Benchmarking the Capabilities of Large Language Models in Transportation System Engineering: Accuracy, Consistency, and Reasoning Behaviors","created":"2024-08-15","cited_by_count":13,"area":"lr"},{"id":"2309.11054","title":"Design of Chain-of-Thought in Math Problem Solving","created":"2023-09-20","cited_by_count":12,"area":"lr"},{"id":"2503.17726","title":"A Survey on Mathematical Reasoning and Optimization with Large Language Models","created":"2025-03-22","cited_by_count":12,"area":"lr"},{"id":"2410.04463","title":"Wrong-of-Thought: An Integrated Reasoning Framework with Multi-Perspective Verification and Wrong Information","created":"2024-10-06","cited_by_count":10,"area":"lr"},{"id":"2310.01991","title":"Fill in the Blank: Exploring and Enhancing LLM Capabilities for Backward Reasoning in Math Word Problems","created":"2023-10-03","cited_by_count":9,"area":"lr"},{"id":"2308.10585","title":"Exploring Equation as a Better Intermediate Meaning Representation for Numerical Reasoning","created":"2023-08-21","cited_by_count":7,"area":"lr"},{"id":"2407.10162","title":"ChatLogic: Integrating Logic Programming with Large Language Models for Multi-Step Reasoning","created":"2024-07-14","cited_by_count":7,"area":"lr"},{"id":"2410.01504","title":"PersonaMath: Boosting Mathematical Reasoning via Persona-Driven Data Augmentation","created":"2024-10-02","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":"2402.11903","title":"DiLA: Enhancing LLM Tool Learning with Differential Logic Layer","created":"2024-02-19","cited_by_count":6,"area":"lr"},{"id":"2505.03418","title":"Knowledge Augmented Complex Problem Solving with Large Language Models: A Survey","created":"2025-05-06","cited_by_count":6,"area":"lr"},{"id":"2408.16081","title":"Towards Logically Sound Natural Language Reasoning with Logic-Enhanced Language Model Agents","created":"2024-08-28","cited_by_count":5,"area":"lr"},{"id":"2506.05746","title":"LLM-Symbolic Integration for Robust Temporal Tabular Reasoning","created":"2025-06-06","cited_by_count":4,"area":"lr"},{"id":"2312.08926","title":"Modeling Complex Mathematical Reasoning via Large Language Model based MathAgent","created":"2023-12-14","cited_by_count":3,"area":"lr"},{"id":"2404.18130","title":"Logic Agent: Enhancing Validity with Logic Rule Invocation","created":"2024-04-28","cited_by_count":3,"area":"lr"},{"id":"2404.18384","title":"Exploring the Limits of Fine-grained LLM-based Physics Inference via Premise Removal Interventions","created":"2024-04-29","cited_by_count":3,"area":"lr"},{"id":"2405.05189","title":"MIDGARD: Self-Consistency Using Minimum Description Length for Structured Commonsense Reasoning","created":"2024-05-08","cited_by_count":3,"area":"lr"},{"id":"2410.04094","title":"BloomWise: Enhancing Problem-Solving capabilities of Large Language Models using Bloom's-Taxonomy-Inspired Prompts","created":"2024-10-05","cited_by_count":3,"area":"lr"},{"id":"2402.09614","title":"Reasoning over Uncertain Text by Generative Large Language Models","created":"2024-02-14","cited_by_count":2,"area":"lr"},{"id":"2412.05967","title":"Language hooks: a modular framework for augmenting LLM reasoning that decouples tool usage from the model and its prompt","created":"2024-12-08","cited_by_count":2,"area":"lr"},{"id":"2412.12609","title":"MultiLingPoT: Enhancing Mathematical Reasoning with Multilingual Program Fine-tuning","created":"2024-12-17","cited_by_count":1,"area":"lr"},{"id":"2508.03500","title":"Error Detection and Correction for Interpretable Mathematics in Large Language Models","created":"2025-08-05","cited_by_count":1,"area":"lr"},{"id":"2510.07581","title":"Expanding the Action Space of LLMs to Reason Beyond Language","created":"2025-10-08","cited_by_count":1,"area":"lr"},{"id":"2601.19302","title":"Formula-One Prompting: A Composable Equation-First Prefix for Applied Mathematics","created":"2026-01-27","cited_by_count":0,"area":"lr"},{"id":"2607.04854","title":"CARL: Constraint-Aware Reinforcement Learning for Planning with LLMs","created":"2026-07-06","cited_by_count":0,"area":"lr"},{"id":"2607.18443","title":"Computational models of pragmatic reasoning with flexible generation of meaning and expression alternatives","created":"2026-07-20","cited_by_count":0,"area":"lr"}],"next_cursor":null}