{"total":119,"rows":[{"id":"2409.12122","title":"Qwen2.5-Math Technical Report: Toward Mathematical Expert Model via Self-Improvement","created":"2024-09-18","cited_by_count":1090,"area":"synth"},{"id":"2503.01785","title":"Visual-RFT: Visual Reinforcement Fine-Tuning","created":"2025-03-03","cited_by_count":513,"area":"lr"},{"id":"2503.09567","title":"Towards Reasoning Era: A Survey of Long Chain-of-Thought for Reasoning Large Language Models","created":"2025-03-12","cited_by_count":384,"area":"lr"},{"id":"2406.18629","title":"Step-DPO: Step-wise Preference Optimization for Long-chain Reasoning of LLMs","created":"2024-06-26","cited_by_count":273,"area":"lr"},{"id":"2409.18839","title":"MinerU: An Open-Source Solution for Precise Document Content Extraction","created":"2024-09-27","cited_by_count":267,"area":null},{"id":"2408.08152","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","created":"2024-08-15","cited_by_count":197,"area":"lr"},{"id":"2405.03548","title":"MAmmoTH2: Scaling Instructions from the Web","created":"2024-05-06","cited_by_count":145,"area":"lr"},{"id":"2404.07965","title":"Rho-1: Not All Tokens Are What You Need","created":"2024-04-11","cited_by_count":133,"area":null},{"id":"2502.07640","title":"Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving","created":"2025-02-11","cited_by_count":133,"area":null},{"id":"2503.22679","title":"Q-Insight: Understanding Image Quality via Visual Reinforcement Learning","created":"2025-03-28","cited_by_count":98,"area":null},{"id":"2406.10833","title":"A Comprehensive Survey of Scientific Large Language Models and Their Applications in Scientific Discovery","created":"2024-06-16","cited_by_count":96,"area":null},{"id":"2410.02884","title":"LLaMA-Berry: Pairwise Optimization for O1-like Olympiad-Level Mathematical Reasoning","created":"2024-10-03","cited_by_count":91,"area":"lr"},{"id":"2505.03318","title":"Unified Multimodal Chain-of-Thought Reward Model through Reinforcement Fine-Tuning","created":"2025-05-06","cited_by_count":90,"area":"lr"},{"id":"2505.14231","title":"UniVG-R1: Reasoning Guided Universal Visual Grounding with Reinforcement Learning","created":"2025-05-20","cited_by_count":84,"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":"2412.15084","title":"AceMath: Advancing Frontier Math Reasoning with Post-Training and Reward Modeling","created":"2024-12-19","cited_by_count":77,"area":"lr"},{"id":"2412.13147","title":"Are Your LLMs Capable of Stable Reasoning?","created":"2024-12-17","cited_by_count":65,"area":"lr"},{"id":"2501.04686","title":"Unlocking Multimodal Mathematical Reasoning via Process Reward Model","created":"2025-01-08","cited_by_count":65,"area":"lr"},{"id":"2410.10878","title":"Herald: A Natural Language Annotated Lean 4 Dataset","created":"2024-10-09","cited_by_count":59,"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":"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":"2502.07316","title":"CodeI/O: Condensing Reasoning Patterns via Code Input-Output Prediction","created":"2025-02-11","cited_by_count":55,"area":"lr"},{"id":"2506.04210","title":"Does Thinking More always Help? Mirage of Test-Time Scaling in Reasoning Models","created":"2025-06-04","cited_by_count":53,"area":"lr"},{"id":"2502.06781","title":"Exploring the Limit of Outcome Reward for Learning Mathematical Reasoning","created":"2025-02-10","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":"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":"2406.01940","title":"Process-Driven Autoformalization in Lean 4","created":"2024-06-04","cited_by_count":45,"area":"lr"},{"id":"2505.10557","title":"MathCoder-VL: Bridging Vision and Code for Enhanced Multimodal Mathematical Reasoning","created":"2025-05-15","cited_by_count":45,"area":"lr"},{"id":"2406.14024","title":"LLM Critics Help Catch Bugs in Mathematics: Towards a Better Mathematical Verifier with Natural Language Feedback","created":"2024-06-20","cited_by_count":41,"area":"lr"},{"id":"2410.05318","title":"Improving LLM Reasoning through Scaling Inference Computation with Collaborative Verification","created":"2024-10-05","cited_by_count":40,"area":"lr"},{"id":"2410.09008","title":"SuperCorrect: Advancing Small LLM Reasoning with Thought Template Distillation and Self-Correction","created":"2024-10-11","cited_by_count":40,"area":"lr"},{"id":"2506.17612","title":"JarvisArt: Liberating Human Artistic Creativity via an Intelligent Photo Retouching Agent","created":"2025-06-21","cited_by_count":39,"area":"agents"},{"id":"2408.03350","title":"miniCTX: Neural Theorem Proving with (Long-)Contexts","created":"2024-08-05","cited_by_count":37,"area":null},{"id":"2409.17115","title":"Programming Every Example: Lifting Pre-training Data Quality Like Experts at Scale","created":"2024-09-25","cited_by_count":37,"area":null},{"id":"2409.12568","title":"InfiMM-WebMath-40B: Advancing Multimodal Pre-Training for Enhanced Mathematical Reasoning","created":"2024-09-19","cited_by_count":36,"area":"lr"},{"id":"2407.00782","title":"Step-Controlled DPO: Leveraging Stepwise Error for Enhanced Mathematical Reasoning","created":"2024-06-30","cited_by_count":35,"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":"2503.16212","title":"MathFusion: Enhancing Mathematical Problem-solving of LLM through Instruction Fusion","created":"2025-03-20","cited_by_count":30,"area":"lr"},{"id":"2501.11110","title":"Chain-of-Reasoning: Towards Unified Mathematical Reasoning in Large Language Models via a Multi-Paradigm Perspective","created":"2025-01-19","cited_by_count":29,"area":"lr"},{"id":"2501.14275","title":"Leveraging Online Olympiad-Level Math Problems for LLMs Training and Contamination-Resistant Evaluation","created":"2025-01-24","cited_by_count":29,"area":"lr"},{"id":"2502.07154","title":"Rethinking Fine-Tuning when Scaling Test-Time Compute: Limiting Confidence Improves Mathematical Reasoning","created":"2025-02-11","cited_by_count":29,"area":"lr"},{"id":"2408.16326","title":"Critic-CoT: Boosting the reasoning abilities of large language model via Chain-of-thoughts Critic","created":"2024-08-29","cited_by_count":28,"area":"lr"},{"id":"2405.19444","title":"MathChat: Benchmarking Mathematical Reasoning and Instruction Following in Multi-Turn Interactions","created":"2024-05-29","cited_by_count":26,"area":"lr"},{"id":"2407.08348","title":"Skywork-Math: Data Scaling Laws for Mathematical Reasoning in Large Language Models -- The Story Goes On","created":"2024-07-11","cited_by_count":24,"area":"lr"},{"id":"2502.11775","title":"video-SALMONN-o1: Reasoning-enhanced Audio-visual Large Language Model","created":"2025-02-17","cited_by_count":24,"area":"lr"},{"id":"2502.05567","title":"ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data","created":"2025-02-08","cited_by_count":23,"area":null},{"id":"2405.14804","title":"Can LLMs Solve longer Math Word Problems Better?","created":"2024-05-23","cited_by_count":22,"area":null},{"id":"2409.13729","title":"MathGLM-Vision: Solving Mathematical Problems with Multi-Modal Large Language Model","created":"2024-09-10","cited_by_count":21,"area":"lr"},{"id":"2501.03226","title":"BoostStep: Boosting mathematical capability of Large Language Models via improved single-step reasoning","created":"2025-01-06","cited_by_count":21,"area":"lr"},{"id":"2503.03196","title":"SpiritSight Agent: Advanced GUI Agent with One Look","created":"2025-03-05","cited_by_count":18,"area":"agents"},{"id":"2510.11369","title":"Reasoning as Representation: Rethinking Visual Reinforcement Learning in Image Quality Assessment","created":"2025-10-13","cited_by_count":18,"area":"lr"},{"id":"2502.11476","title":"FastMCTS: A Simple Sampling Strategy for Data Synthesis","created":"2025-02-17","cited_by_count":17,"area":"lr"},{"id":"2505.19094","title":"SATORI-R1: Incentivizing Multimodal Reasoning through Explicit Visual Anchoring","created":"2025-05-25","cited_by_count":17,"area":"lr"},{"id":"2506.04592","title":"Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification","created":"2025-06-05","cited_by_count":17,"area":"lr"},{"id":"2501.06430","title":"Open Eyes, Then Reason: Fine-grained Visual Mathematical Understanding in MLLMs","created":"2025-01-11","cited_by_count":16,"area":"lr"},{"id":"2508.04440","title":"StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion","created":"2025-08-06","cited_by_count":16,"area":"lr"},{"id":"2507.05197","title":"Pre-Trained Policy Discriminators are General Reward Models","created":"2025-07-07","cited_by_count":15,"area":"alignment"},{"id":"2406.16605","title":"CLEAR: Can Language Models Really Understand Causal Graphs?","created":"2024-06-24","cited_by_count":14,"area":"lr"},{"id":"2502.10454","title":"One Example Shown, Many Concepts Known! Counterexample-Driven Conceptual Reasoning in Mathematical LLMs","created":"2025-02-12","cited_by_count":14,"area":"lr"},{"id":"2502.11075","title":"Exposing Numeracy Gaps: A Benchmark to Evaluate Fundamental Numerical Abilities in Large Language Models","created":"2025-02-16","cited_by_count":14,"area":null},{"id":"2502.14356","title":"Full-Step-DPO: Self-Supervised Preference Optimization with Step-wise Rewards for Mathematical Reasoning","created":"2025-02-20","cited_by_count":14,"area":"lr"},{"id":"2505.18700","title":"GRE Suite: Geo-localization Inference via Fine-Tuned Vision-Language Models and Enhanced Reasoning Chains","created":"2025-05-24","cited_by_count":14,"area":"lr"},{"id":"2404.01067","title":"Exploring the Mystery of Influential Data for Mathematical Reasoning","created":"2024-04-01","cited_by_count":13,"area":"lr"},{"id":"2409.17972","title":"BEATS: Optimizing LLM Mathematical Capabilities with BackVerify and Adaptive Disambiguate based Efficient Tree Search","created":"2024-09-26","cited_by_count":13,"area":null},{"id":"2501.14002","title":"Advancing Mathematical Reasoning in Language Models: The Impact of Problem-Solving Data, Data Synthesis Methods, and Training Stages","created":"2025-01-23","cited_by_count":13,"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.18336","title":"Assessing the Creativity of LLMs in Proposing Novel Solutions to Mathematical Problems","created":"2024-10-24","cited_by_count":11,"area":null},{"id":"2602.07605","title":"Fine-R1: Make Multi-modal LLMs Excel in Fine-Grained Visual Recognition by Chain-of-Thought Reasoning","created":"2026-02-07","cited_by_count":11,"area":"lr"},{"id":"2402.14660","title":"ConceptMath: A Bilingual Concept-wise Benchmark for Measuring Mathematical Reasoning of Large Language Models","created":"2024-02-22","cited_by_count":10,"area":"lr"},{"id":"2509.22246","title":"ASSESS: A Semantic and Structural Evaluation Framework for Statement Similarity","created":"2025-09-26","cited_by_count":10,"area":null},{"id":"2510.14942","title":"GroundedPRM: Tree-Guided and Fidelity-Aware Process Reward Modeling for Step-Level Reasoning","created":"2025-10-16","cited_by_count":10,"area":"lr"},{"id":"2502.11169","title":"CMCTS: A Constrained Monte Carlo Tree Search Framework for Mathematical Reasoning in Large Language Model","created":"2025-02-16","cited_by_count":9,"area":"lr"},{"id":"2503.23219","title":"Aurelia: Test-time Reasoning Distillation in Audio-Visual LLMs","created":"2025-03-29","cited_by_count":9,"area":"lr"},{"id":"2506.23127","title":"Unleashing Embodied Task Planning Ability in LLMs via Reinforcement Learning","created":"2025-06-29","cited_by_count":9,"area":null},{"id":"2410.18921","title":"From Blind Solvers to Logical Thinkers: Benchmarking LLMs' Logical Integrity on Faulty Mathematical Problems","created":"2024-10-24","cited_by_count":8,"area":"lr"},{"id":"2506.17939","title":"GEMeX-RMCoT: An Enhanced Med-VQA Dataset for Region-Aware Multimodal Chain-of-Thought Reasoning","created":"2025-06-22","cited_by_count":8,"area":"lr"},{"id":"2403.17281","title":"Automate Knowledge Concept Tagging on Math Questions with LLMs","created":"2024-03-26","cited_by_count":6,"area":null},{"id":"2506.00400","title":"Scaling Textual Gradients via Sampling-Based Momentum","created":"2025-05-31","cited_by_count":6,"area":null},{"id":"2508.05613","title":"Cooper: Co-Optimizing Policy and Reward Models in Reinforcement Learning for Large Language Models","created":"2025-08-07","cited_by_count":6,"area":"lr"},{"id":"2509.25725","title":"Atomic Thinking of LLMs: Decoupling and Exploring Mathematical Reasoning Abilities","created":"2025-09-30","cited_by_count":6,"area":"lr"},{"id":"2511.11134","title":"GGBench: A Geometric Generative Reasoning Benchmark for Unified Multimodal Models","created":"2025-11-14","cited_by_count":6,"area":null},{"id":"2601.17717","title":"A Survey on Evaluating Quality and Trustworthiness in LLM-Generated Data","created":"2026-01-25","cited_by_count":6,"area":"synth"},{"id":"2606.14502","title":"From Chatbot to Digital Colleague: The Paradigm Shift Toward Persistent Autonomous AI","created":"2026-06-12","cited_by_count":6,"area":null},{"id":"2407.10499","title":"CIBench: Evaluating Your LLMs with a Code Interpreter Plugin","created":"2024-07-15","cited_by_count":5,"area":"agents"},{"id":"2502.11684","title":"MathFimer: Enhancing Mathematical Reasoning by Expanding Reasoning Steps through Fill-in-the-Middle Task","created":"2025-02-17","cited_by_count":5,"area":"lr"},{"id":"2508.06931","title":"Automated Formalization via Conceptual Retrieval-Augmented LLMs","created":"2025-08-09","cited_by_count":5,"area":"rag"},{"id":"2510.02335","title":"FormalML: A Benchmark for Evaluating Formal Subgoal Completion in Machine Learning Theory","created":"2025-09-26","cited_by_count":5,"area":null},{"id":"2408.01168","title":"Misinforming LLMs: vulnerabilities, challenges and opportunities","created":"2024-08-02","cited_by_count":4,"area":null},{"id":"2502.15507","title":"Steering LLMs for Formal Theorem Proving","created":"2025-02-21","cited_by_count":4,"area":null},{"id":"2504.09100","title":"A Short Survey on Small Reasoning Models: Training, Inference, Applications and Research Directions","created":"2025-04-12","cited_by_count":4,"area":"lr"},{"id":"2506.06856","title":"Vision-EKIPL: External Knowledge-Infused Policy Learning for Visual Reasoning","created":"2025-06-07","cited_by_count":4,"area":"lr"},{"id":"2510.23629","title":"Chain of Execution Supervision Promotes General Reasoning in Large Language Models","created":"2025-10-24","cited_by_count":4,"area":"lr"},{"id":"2404.10757","title":"Deep Learning and LLM-based Methods Applied to Stellar Lightcurve Classification","created":"2024-04-16","cited_by_count":3,"area":null},{"id":"2405.05999","title":"LLMPot: Dynamically Configured LLM-based Honeypot for Industrial Protocol and Physical Process Emulation","created":"2024-05-09","cited_by_count":3,"area":null},{"id":"2502.02007","title":"Reasoning Bias of Next Token Prediction Training","created":"2025-02-04","cited_by_count":3,"area":"lr"},{"id":"2507.14722","title":"LeanTree: Accelerating White-Box Proof Search with Factorized States in Lean 4","created":"2025-07-19","cited_by_count":3,"area":null},{"id":"2603.14957","title":"CyCLeGen: Cycle-Consistent Layout Prediction and Image Generation in Vision Foundation Models","created":"2026-03-16","cited_by_count":3,"area":"mllm"},{"id":"2412.08864","title":"GRIP: A Graph-Based Reasoning Instruction Producer","created":"2024-12-12","cited_by_count":2,"area":"lr"},{"id":"2508.10745","title":"Agentic Design Review System","created":"2025-08-14","cited_by_count":2,"area":"agents"},{"id":"2511.11990","title":"Improving Autoformalization Using Direct Dependency Retrieval","created":"2025-11-15","cited_by_count":2,"area":"rag"}],"next_cursor":"100"}