{"total":124,"rows":[{"id":"2303.18223","title":"A Survey of Large Language Models","created":"2023-03-31","cited_by_count":2576,"area":null},{"id":"2310.02255","title":"MathVista: Evaluating Mathematical Reasoning of Foundation Models in Visual Contexts","created":"2023-10-03","cited_by_count":1614,"area":"lr"},{"id":"2402.14008","title":"OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scientific Problems","created":"2024-02-21","cited_by_count":1136,"area":"mllm"},{"id":"2302.00923","title":"Multimodal Chain-of-Thought Reasoning in Language Models","created":"2023-02-02","cited_by_count":752,"area":"lr"},{"id":"2308.09583","title":"WizardMath: Empowering Mathematical Reasoning for Large Language Models via Reinforced Evol-Instruct","created":"2023-08-18","cited_by_count":625,"area":"lr"},{"id":"2306.15626","title":"LeanDojo: Theorem Proving with Retrieval-Augmented Language Models","created":"2023-06-27","cited_by_count":427,"area":"rag"},{"id":"2310.10631","title":"Llemma: An Open Language Model For Mathematics","created":"2023-10-16","cited_by_count":388,"area":"lr"},{"id":"2304.09842","title":"Chameleon: Plug-and-Play Compositional Reasoning with Large Language Models","created":"2023-04-19","cited_by_count":356,"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":"2311.11944","title":"FinanceBench: A New Benchmark for Financial Question Answering","created":"2023-11-20","cited_by_count":270,"area":null},{"id":"2301.13867","title":"Mathematical Capabilities of ChatGPT","created":"2023-01-31","cited_by_count":268,"area":null},{"id":"2307.10635","title":"SciBench: Evaluating College-Level Scientific Problem-Solving Abilities of Large Language Models","created":"2023-07-20","cited_by_count":256,"area":"lr"},{"id":"2305.12524","title":"TheoremQA: A Theorem-driven Question Answering dataset","created":"2023-05-21","cited_by_count":192,"area":null},{"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":"2312.12241","title":"GeomVerse: A Systematic Evaluation of Large Models for Geometric Reasoning","created":"2023-12-19","cited_by_count":108,"area":"lr"},{"id":"2305.16339","title":"Don't Trust ChatGPT when Your Question is not in English: A Study of Multilingual Abilities and Types of LLMs","created":"2023-05-24","cited_by_count":104,"area":null},{"id":"2405.12819","title":"Large Language Models Meet NLP: A Survey","created":"2024-05-21","cited_by_count":103,"area":null},{"id":"2310.10080","title":"Let's reward step by step: Step-Level reward model as the Navigators for Reasoning","created":"2023-10-16","cited_by_count":102,"area":"lr"},{"id":"2305.14318","title":"CREATOR: Tool Creation for Disentangling Abstract and Concrete Reasoning of Large Language Models","created":"2023-05-23","cited_by_count":93,"area":"lr"},{"id":"2304.13007","title":"Answering Questions by Meta-Reasoning over Multiple Chains of Thought","created":"2023-04-25","cited_by_count":87,"area":"lr"},{"id":"2305.14201","title":"Goat: Fine-tuned LLaMA Outperforms GPT-4 on Arithmetic Tasks","created":"2023-05-23","cited_by_count":84,"area":null},{"id":"2311.11797","title":"Igniting Language Intelligence: The Hitchhiker's Guide From Chain-of-Thought Reasoning to Language Agents","created":"2023-11-20","cited_by_count":72,"area":"lr"},{"id":"2404.05692","title":"Evaluating Mathematical Reasoning Beyond Accuracy","created":"2024-04-08","cited_by_count":69,"area":"lr"},{"id":"2309.06979","title":"Auto-Regressive Next-Token Predictors are Universal Learners","created":"2023-09-13","cited_by_count":67,"area":"lr"},{"id":"2412.00473","title":"Jailbreak Large Vision-Language Models Through Multi-Modal Linkage","created":"2024-11-30","cited_by_count":62,"area":"safety"},{"id":"2409.18807","title":"LLM With Tools: A Survey","created":"2024-09-24","cited_by_count":61,"area":"agents"},{"id":"2302.11097","title":"A Multi-Modal Neural Geometric Solver with Textual Clauses Parsed from Diagram","created":"2023-02-22","cited_by_count":56,"area":"lr"},{"id":"2412.11936","title":"A Survey of Mathematical Reasoning in the Era of Multimodal Large Language Model: Benchmark, Method & Challenges","created":"2024-12-16","cited_by_count":55,"area":"lr"},{"id":"2305.06453","title":"Autonomous GIS: the next-generation AI-powered GIS","created":"2023-05-10","cited_by_count":53,"area":null},{"id":"2502.11435","title":"SMART: Self-Aware Agent for Tool Overuse Mitigation","created":"2025-02-17","cited_by_count":52,"area":"lr"},{"id":"2506.08446","title":"A Survey on Large Language Models for Mathematical Reasoning","created":"2025-06-10","cited_by_count":52,"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":"2310.02227","title":"SNIP: Bridging Mathematical Symbolic and Numeric Realms with Unified Pre-training","created":"2023-10-03","cited_by_count":47,"area":null},{"id":"2405.14365","title":"JiuZhang3.0: Efficiently Improving Mathematical Reasoning by Training Small Data Synthesis Models","created":"2024-05-23","cited_by_count":45,"area":"lr"},{"id":"2411.03766","title":"Number Cookbook: Number Understanding of Language Models and How to Improve It","created":"2024-11-06","cited_by_count":42,"area":null},{"id":"2406.07115","title":"Advancing Tool-Augmented Large Language Models: Integrating Insights from Errors in Inference Trees","created":"2024-06-11","cited_by_count":38,"area":"lr"},{"id":"2408.03350","title":"miniCTX: Neural Theorem Proving with (Long-)Contexts","created":"2024-08-05","cited_by_count":37,"area":null},{"id":"2410.04509","title":"ErrorRadar: Benchmarking Complex Mathematical Reasoning of Multimodal Large Language Models Via Error Detection","created":"2024-10-06","cited_by_count":37,"area":"lr"},{"id":"2412.06176","title":"AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and Treefinement","created":"2024-12-09","cited_by_count":35,"area":"synth"},{"id":"2402.17231","title":"MATHSENSEI: A Tool-Augmented Large Language Model for Mathematical Reasoning","created":"2024-02-27","cited_by_count":34,"area":"lr"},{"id":"2407.13647","title":"Weak-to-Strong Reasoning","created":"2024-07-18","cited_by_count":33,"area":"lr"},{"id":"2502.02871","title":"Position: Multimodal Large Language Models Can Significantly Advance Scientific Reasoning","created":"2025-02-05","cited_by_count":33,"area":"lr"},{"id":"2506.19923","title":"Prover Agent: An Agent-Based Framework for Formal Mathematical Proofs","created":"2025-06-24","cited_by_count":31,"area":"agents"},{"id":"2310.05155","title":"Toolink: Linking Toolkit Creation and Using through Chain-of-Solving on Open-Source Model","created":"2023-10-08","cited_by_count":29,"area":null},{"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.07815","title":"Are Large Language Models Good Statisticians?","created":"2024-06-12","cited_by_count":27,"area":null},{"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":"2311.16476","title":"LANS: A Layout-Aware Neural Solver for Plane Geometry Problem","created":"2023-11-25","cited_by_count":24,"area":"lr"},{"id":"2312.07622","title":"Mathematical Language Models: A Survey","created":"2023-12-12","cited_by_count":24,"area":null},{"id":"2402.11452","title":"AutoPRM: Automating Procedural Supervision for Multi-Step Reasoning via Controllable Question Decomposition","created":"2024-02-18","cited_by_count":24,"area":"lr"},{"id":"2502.00963","title":"PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs","created":"2025-02-03","cited_by_count":23,"area":"lr"},{"id":"2502.12065","title":"Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions","created":"2025-02-17","cited_by_count":22,"area":null},{"id":"2410.04194","title":"Consistent Autoformalization for Constructing Mathematical Libraries","created":"2024-10-05","cited_by_count":21,"area":null},{"id":"2309.03224","title":"No Train Still Gain. Unleash Mathematical Reasoning of Large Language Models with Monte Carlo Tree Search Guided by Energy Function","created":"2023-09-01","cited_by_count":20,"area":"lr"},{"id":"2303.07735","title":"Can neural networks do arithmetic? A survey on the elementary numerical skills of state-of-the-art deep learning models","created":"2023-03-14","cited_by_count":18,"area":"lr"},{"id":"2406.11915","title":"miniCodeProps: a Minimal Benchmark for Proving Code Properties","created":"2024-06-16","cited_by_count":18,"area":null},{"id":"2407.17349","title":"Boosting Large Language Models with Socratic Method for Conversational Mathematics Teaching","created":"2024-07-24","cited_by_count":16,"area":"lr"},{"id":"2308.04813","title":"CLEVA: Chinese Language Models EVAluation Platform","created":"2023-08-09","cited_by_count":13,"area":null},{"id":"2401.08664","title":"Adapting Large Language Models for Education: Foundational Capabilities, Potentials, and Challenges","created":"2023-12-27","cited_by_count":13,"area":null},{"id":"2407.07327","title":"Fuse, Reason and Verify: Geometry Problem Solving with Parsed Clauses from Diagram","created":"2024-07-10","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":"2310.01446","title":"Adaptive-Solver Framework for Dynamic Strategy Selection in Large Language Model Reasoning","created":"2023-10-01","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":"2412.15184","title":"Data for Mathematical Copilots: Better Ways of Presenting Proofs for Machine Learning","created":"2024-12-19","cited_by_count":11,"area":null},{"id":"2401.05384","title":"From Good to Great: Improving Math Reasoning with Tool-Augmented Interleaf Prompting","created":"2023-12-18","cited_by_count":10,"area":"lr"},{"id":"2402.14310","title":"Hint-before-Solving Prompting: Guiding LLMs to Effectively Utilize Encoded Knowledge","created":"2024-02-22","cited_by_count":10,"area":null},{"id":"2410.04753","title":"ImProver: Agent-Based Automated Proof Optimization","created":"2024-10-07","cited_by_count":10,"area":"agents"},{"id":"2501.07244","title":"Can Vision-Language Models Evaluate Handwritten Math?","created":"2025-01-13","cited_by_count":10,"area":"mllm"},{"id":"2501.15581","title":"Error Classification of Large Language Models on Math Word Problems: A Dynamically Adaptive Framework","created":"2025-01-26","cited_by_count":10,"area":"lr"},{"id":"2505.22756","title":"Decomposing Elements of Problem Solving: What \"Math\" Does RL Teach?","created":"2025-05-28","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":"2309.15630","title":"NLPBench: Evaluating Large Language Models on Solving NLP Problems","created":"2023-09-27","cited_by_count":8,"area":null},{"id":"2311.01918","title":"Large Language Models Illuminate a Progressive Pathway to Artificial Healthcare Assistant: A Review","created":"2023-11-03","cited_by_count":8,"area":null},{"id":"2502.00198","title":"Fairshare Data Pricing via Data Valuation for Large Language Models","created":"2025-01-31","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":"2403.00799","title":"An Empirical Study of Data Ability Boundary in LLMs' Math Reasoning","created":"2024-02-23","cited_by_count":7,"area":"lr"},{"id":"2405.00494","title":"GOLD: Geometry Problem Solver with Natural Language Description","created":"2024-05-01","cited_by_count":7,"area":null},{"id":"2412.16964","title":"System-2 Mathematical Reasoning via Enriched Instruction Tuning","created":"2024-12-22","cited_by_count":7,"area":"lr"},{"id":"2311.01230","title":"Multi-Operational Mathematical Derivations in Latent Space","created":"2023-11-02","cited_by_count":6,"area":null},{"id":"2503.02670","title":"Multidimensional Consistency Improves Reasoning in Language Models","created":"2025-03-04","cited_by_count":6,"area":"lr"},{"id":"2510.08988","title":"MASA: LLM-Driven Multi-Agent Systems for Autoformalization","created":"2025-10-10","cited_by_count":6,"area":"agents"},{"id":"2305.01938","title":"Doc2SoarGraph: Discrete Reasoning over Visually-Rich Table-Text Documents via Semantic-Oriented Hierarchical Graphs","created":"2023-05-03","cited_by_count":5,"area":null},{"id":"2311.05113","title":"Conic10K: A Challenging Math Problem Understanding and Reasoning Dataset","created":"2023-11-09","cited_by_count":5,"area":"lr"},{"id":"2405.19973","title":"A Triumvirate of AI Driven Theoretical Discovery","created":"2024-05-30","cited_by_count":5,"area":null},{"id":"2407.04212","title":"Smart Vision-Language Reasoners","created":"2024-07-05","cited_by_count":5,"area":"lr"},{"id":"2502.09787","title":"TableTalk: Scaffolding Spreadsheet Development with a Language Agent","created":"2025-02-13","cited_by_count":5,"area":"agents"},{"id":"2503.05330","title":"Speculative Decoding for Multi-Sample Inference","created":"2025-03-07","cited_by_count":5,"area":"lr"},{"id":"2411.00264","title":"TurtleBench: A Visual Programming Benchmark in Turtle Geometry","created":"2024-10-31","cited_by_count":4,"area":null},{"id":"2507.11936","title":"A Survey of Deep Learning for Geometry Problem Solving","created":"2025-07-16","cited_by_count":4,"area":"lr"},{"id":"2607.01243","title":"STRUCTSURVEY: Structured Agentic Retrieval for Automated Survey Paper Generation","created":"2026-05-12","cited_by_count":4,"area":"agents"},{"id":"2310.01441","title":"UPAR: A Kantian-Inspired Prompting Framework for Enhancing Large Language Model Capabilities","created":"2023-09-30","cited_by_count":3,"area":null},{"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":"2401.14043","title":"Towards Goal-oriented Prompt Engineering for Large Language Models: A Survey","created":"2024-01-25","cited_by_count":3,"area":null},{"id":"2402.03822","title":"RevOrder: A Novel Method for Enhanced Arithmetic in Language Models","created":"2024-02-06","cited_by_count":3,"area":null},{"id":"2508.19988","title":"AgentCoMa: A Compositional Benchmark Mixing Commonsense and Mathematical Reasoning in Real-World Scenarios","created":"2025-08-27","cited_by_count":3,"area":"lr"},{"id":"2510.04978","title":"Aligning Perception, Reasoning, Modeling and Interaction: A Survey on Physical AI","created":"2025-10-06","cited_by_count":3,"area":"wm"},{"id":"2601.06160","title":"Student Guides Teacher: Weak-to-Strong Inference via Spectral Orthogonal Exploration","created":"2026-01-06","cited_by_count":3,"area":"lr"},{"id":"2306.11027","title":"JiuZhang 2.0: A Unified Chinese Pre-trained Language Model for Multi-task Mathematical Problem Solving","created":"2023-06-19","cited_by_count":2,"area":"lr"},{"id":"2404.11276","title":"Towards Data-Centric Automatic R&D","created":"2024-04-17","cited_by_count":2,"area":null},{"id":"2505.10013","title":"DIF: A Framework for Benchmarking and Verifying Implicit Bias in LLMs","created":"2025-05-15","cited_by_count":2,"area":null}],"next_cursor":"100"}