{"total":124,"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":"2305.11554","title":"ToolkenGPT: Augmenting Frozen Language Models with Massive Tools via Tool Embeddings","created":"2023-05-19","cited_by_count":240,"area":"agents"},{"id":"2405.17935","title":"Tool Learning with Large Language Models: A Survey","created":"2024-05-28","cited_by_count":223,"area":"agents"},{"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":"2311.07989","title":"Unifying the Perspectives of NLP and Software Engineering: A Survey on Language Models for Code","created":"2023-11-14","cited_by_count":62,"area":null},{"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":"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":"2404.17605","title":"Autonomous LLM-driven research from data to human-verifiable research papers","created":"2024-04-24","cited_by_count":53,"area":null},{"id":"2407.00121","title":"Granite-Function Calling Model: Introducing Function Calling Abilities via Multi-task Learning of Granular Tasks","created":"2024-06-27","cited_by_count":52,"area":"agents"},{"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":"2310.06116","title":"OptiMUS: Optimization Modeling Using MIP Solvers and large language models","created":"2023-10-09","cited_by_count":39,"area":null},{"id":"2402.15491","title":"API-BLEND: A Comprehensive Corpora for Training and Benchmarking API LLMs","created":"2024-02-23","cited_by_count":39,"area":"agents"},{"id":"2411.16345","title":"Preference Optimization for Reasoning with Pseudo Feedback","created":"2024-11-25","cited_by_count":39,"area":"lr"},{"id":"2310.10445","title":"MechGPT, a language-based strategy for mechanics and materials modeling that connects knowledge across scales, disciplines and modalities","created":"2023-10-16","cited_by_count":38,"area":"rag"},{"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":"2404.03647","title":"Capabilities of Large Language Models in Control Engineering: A Benchmark Study on GPT-4, Claude 3 Opus, and Gemini 1.0 Ultra","created":"2024-04-04","cited_by_count":37,"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":"2505.14590","title":"MCIP: Protecting MCP Safety via Model Contextual Integrity Protocol","created":"2025-05-20","cited_by_count":34,"area":null},{"id":"2401.17464","title":"Efficient Tool Use with Chain-of-Abstraction Reasoning","created":"2024-01-30","cited_by_count":33,"area":"lr"},{"id":"2404.09982","title":"INMS: Memory Sharing for Large Language Model based Agents","created":"2024-04-15","cited_by_count":31,"area":"agents"},{"id":"2502.12961","title":"Adaptive Tool Use in Large Language Models with Meta-Cognition Trigger","created":"2025-02-18","cited_by_count":30,"area":"agents"},{"id":"2306.17525","title":"MeLM, a generative pretrained language modeling framework that solves forward and inverse mechanics problems","created":"2023-06-30","cited_by_count":29,"area":null},{"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":"2404.01549","title":"Octopus: On-device language model for function calling of software APIs","created":"2024-04-02","cited_by_count":27,"area":"agents"},{"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":"2312.07622","title":"Mathematical Language Models: A Survey","created":"2023-12-12","cited_by_count":24,"area":null},{"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.03781","title":"Towards the Pedagogical Steering of Large Language Models for Tutoring: A Case Study with Modeling Productive Failure","created":"2024-10-03","cited_by_count":24,"area":null},{"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":"2407.01455","title":"TimeToM: Temporal Space is the Key to Unlocking the Door of Large Language Models' Theory-of-Mind","created":"2024-07-01","cited_by_count":21,"area":null},{"id":"2410.04691","title":"Deeper Insights Without Updates: The Power of In-Context Learning Over Fine-Tuning","created":"2024-10-07","cited_by_count":21,"area":null},{"id":"2412.06512","title":"The Fusion of Large Language Models and Formal Methods for Trustworthy AI Agents: A Roadmap","created":"2024-12-09","cited_by_count":20,"area":"agents"},{"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":"2405.00622","title":"Causal Evaluation of Language Models","created":"2024-05-01","cited_by_count":18,"area":"lr"},{"id":"2504.05370","title":"EduPlanner: LLM-Based Multi-Agent Systems for Customized and Intelligent Instructional Design","created":"2025-04-07","cited_by_count":18,"area":"agents"},{"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":"2412.01130","title":"Enhancing Function-Calling Capabilities in LLMs: Strategies for Prompt Formats, Data Integration, and Multilingual Translation","created":"2024-12-02","cited_by_count":14,"area":"agents"},{"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":"2403.02795","title":"Evaluating and Optimizing Educational Content with Large Language Model Judgments","created":"2024-03-05","cited_by_count":12,"area":null},{"id":"2404.13099","title":"Mathify: Evaluating Large Language Models on Mathematical Problem Solving Tasks","created":"2024-04-19","cited_by_count":12,"area":null},{"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":"2510.12040","title":"Uncertainty Quantification for Hallucination Detection in Large Language Models: Foundations, Methodology, and Future Directions","created":"2025-10-14","cited_by_count":11,"area":null},{"id":"2310.13021","title":"AI for Mathematics: A Cognitive Science Perspective","created":"2023-10-19","cited_by_count":10,"area":null},{"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":"2410.22296","title":"Generalists vs. Specialists: Evaluating LLMs on Highly-Constrained Biophysical Sequence Optimization Tasks","created":"2024-10-29","cited_by_count":10,"area":null},{"id":"2309.12161","title":"Code Soliloquies for Accurate Calculations in Large Language Models","created":"2023-09-21","cited_by_count":9,"area":null},{"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":"2410.12376","title":"ShapefileGPT: A Multi-Agent Large Language Model Framework for Automated Shapefile Processing","created":"2024-10-16","cited_by_count":9,"area":"agents"},{"id":"2411.03495","title":"Automatic Generation of Question Hints for Mathematics Problems using Large Language Models in Educational Technology","created":"2024-11-05","cited_by_count":9,"area":null},{"id":"2407.00476","title":"Large Language Models for Power Scheduling: A User-Centric Approach","created":"2024-06-29","cited_by_count":8,"area":null},{"id":"2505.02091","title":"LLM-OptiRA: LLM-Driven Optimization of Resource Allocation for Non-Convex Problems in Wireless Communications","created":"2025-05-04","cited_by_count":8,"area":null},{"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.05134","title":"Solving for X and Beyond: Can Large Language Models Solve Complex Math Problems with More-Than-Two Unknowns?","created":"2024-07-06","cited_by_count":7,"area":null},{"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":"2411.13904","title":"Towards Full Delegation: Designing Ideal Agentic Behaviors for Travel Planning","created":"2024-11-21","cited_by_count":7,"area":"agents"},{"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":"2505.07512","title":"ToolACE-DEV: Self-Improving Tool Learning via Decomposition and EVolution","created":"2025-05-12","cited_by_count":7,"area":"agents"},{"id":"2510.06824","title":"Efficient numeracy in language models through single-token number embeddings","created":"2025-10-08","cited_by_count":7,"area":null},{"id":"2402.11903","title":"DiLA: Enhancing LLM Tool Learning with Differential Logic Layer","created":"2024-02-19","cited_by_count":6,"area":"lr"},{"id":"2402.17916","title":"Adversarial Math Word Problem Generation","created":"2024-02-27","cited_by_count":6,"area":null},{"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":"2409.12300","title":"Autoformalization of Game Descriptions using Large Language Models","created":"2024-09-18","cited_by_count":5,"area":null},{"id":"2410.13293","title":"SBI-RAG: Enhancing Math Word Problem Solving for Students through Schema-Based Instruction and Retrieval-Augmented Generation","created":"2024-10-17","cited_by_count":5,"area":"rag"},{"id":"2412.08805","title":"Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios","created":"2024-12-11","cited_by_count":5,"area":"agents"},{"id":"2510.03182","title":"Simulation to Rules: A Dual-VLM Framework for Formal Visual Planning","created":"2025-10-03","cited_by_count":5,"area":"mllm"},{"id":"2310.09619","title":"An Expression Tree Decoding Strategy for Mathematical Equation Generation","created":"2023-10-14","cited_by_count":4,"area":null},{"id":"2402.07770","title":"Had enough of experts? Quantitative knowledge retrieval from large language models","created":"2024-02-12","cited_by_count":4,"area":null},{"id":"2506.05746","title":"LLM-Symbolic Integration for Robust Temporal Tabular Reasoning","created":"2025-06-06","cited_by_count":4,"area":"lr"},{"id":"2602.11136","title":"FormalJudge: A Neuro-Symbolic Paradigm for Agentic Oversight","created":"2026-02-11","cited_by_count":4,"area":"agents"},{"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":"2410.07896","title":"Executing Arithmetic: Fine-Tuning Large Language Models as Turing Machines","created":"2024-10-10","cited_by_count":3,"area":null},{"id":"2411.00042","title":"Improving Math Problem Solving in Large Language Models Through Categorization and Strategy Tailoring","created":"2024-10-29","cited_by_count":3,"area":null},{"id":"2509.21874","title":"Abductive Logical Rule Induction by Bridging Inductive Logic Programming and Multimodal Large Language Models","created":"2025-09-26","cited_by_count":3,"area":"mllm"},{"id":"2511.03070","title":"Epidemiology of Large Language Models: A Benchmark for Observational Distribution Knowledge","created":"2025-11-04","cited_by_count":3,"area":null},{"id":"2603.24051","title":"FinToolSyn: A forward synthesis Framework for Financial Tool-Use Dialogue Data with Dynamic Tool Retrieval","created":"2026-03-25","cited_by_count":3,"area":"agents"},{"id":"2402.09614","title":"Reasoning over Uncertain Text by Generative Large Language Models","created":"2024-02-14","cited_by_count":2,"area":"lr"},{"id":"2407.03805","title":"Cognitive Modeling with Scaffolded LLMs: A Case Study of Referential Expression Generation","created":"2024-07-04","cited_by_count":2,"area":null}],"next_cursor":"100"}