{"total":82,"rows":[{"id":"2605.00674","title":"Beyond Benchmarks: MathArena as an Evaluation Platform for Mathematics with LLMs","created":"2026-05-01","cited_by_count":137,"area":null},{"id":"2603.03329","title":"AutoHarness: improving LLM agents by automatically synthesizing a code harness","created":"2026-02-10","cited_by_count":76,"area":"agents"},{"id":"2601.14027","title":"Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics","created":"2026-01-20","cited_by_count":50,"area":"agents"},{"id":"2512.17260","title":"Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience","created":"2025-12-19","cited_by_count":44,"area":null},{"id":"2602.10177","title":"Towards Autonomous Mathematics Research","created":"2026-02-10","cited_by_count":40,"area":null},{"id":"2509.25300","title":"Scaling Behaviors of LLM Reinforcement Learning Post-Training: An Empirical Study in Mathematical Reasoning","created":"2025-09-29","cited_by_count":29,"area":"lr"},{"id":"2604.03789","title":"Automated Conjecture Resolution with Formal Verification","created":"2026-04-04","cited_by_count":28,"area":"lr"},{"id":"2510.16380","title":"MoReBench: Evaluating Procedural and Pluralistic Moral Reasoning in Language Models, More than Outcomes","created":"2025-10-18","cited_by_count":23,"area":"lr"},{"id":"2601.14209","title":"InT: Self-Proposed Interventions Enable Credit Assignment in LLM Reasoning","created":"2026-01-20","cited_by_count":14,"area":"lr"},{"id":"2510.20956","title":"Self-Jailbreaking: Language Models Can Reason Themselves Out of Safety Alignment After Benign Reasoning Training","created":"2025-10-23","cited_by_count":12,"area":"lr"},{"id":"2606.03303","title":"LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks","created":"2026-06-02","cited_by_count":12,"area":"lr"},{"id":"2511.18760","title":"HERMES: Towards Efficient and Verifiable Mathematical Reasoning in LLMs","created":"2025-11-24","cited_by_count":11,"area":"lr"},{"id":"2510.01459","title":"LSPO: Length-aware Dynamic Sampling for Policy Optimization in LLM Reasoning","created":"2025-10-01","cited_by_count":9,"area":"lr"},{"id":"2512.05105","title":"Semantic Soft Bootstrapping: Long Context Reasoning in LLMs without Reinforcement Learning","created":"2025-12-04","cited_by_count":9,"area":"lr"},{"id":"2602.01031","title":"HalluHard: A Hard Multi-Turn Hallucination Benchmark","created":"2026-02-01","cited_by_count":9,"area":null},{"id":"2602.16793","title":"Escaping the Cognitive Well: Efficient Competition Math with Off-the-Shelf Models","created":"2026-02-18","cited_by_count":9,"area":"lr"},{"id":"2603.02668","title":"SorryDB: Can AI Provers Complete Real-World Lean Theorems?","created":"2026-03-03","cited_by_count":8,"area":null},{"id":"2509.24855","title":"PhysicsMinions: Winning Gold Medals in the Latest Physics Olympiads with a Coevolutionary Multimodal Multi-Agent System","created":"2025-09-29","cited_by_count":7,"area":"agents"},{"id":"2511.08151","title":"SciAgent: A Unified Multi-Agent System for Generalistic Scientific Reasoning","created":"2025-11-11","cited_by_count":7,"area":"lr"},{"id":"2512.10534","title":"Achieving Olympiad-Level Geometry Large Language Model Agent via Complexity Boosting Reinforcement Learning","created":"2025-12-11","cited_by_count":7,"area":"agents"},{"id":"2509.06079","title":"Multimodal Reasoning for Science: Technical Report and 1st Place Solution to the ICML 2025 SeePhys Challenge","created":"2025-09-07","cited_by_count":6,"area":"lr"},{"id":"2512.19081","title":"Population-Evolve: a Parallel Sampling and Evolutionary Method for LLM Math Reasoning","created":"2025-12-22","cited_by_count":6,"area":"lr"},{"id":"2508.09889","title":"Profile-Aware Maneuvering: A Dynamic Multi-Agent System for Robust GAIA Problem Solving by AWorld","created":"2025-08-13","cited_by_count":5,"area":"agents"},{"id":"2510.06410","title":"Off-Trajectory Reasoning: Can LLMs Collaborate on Reasoning Trajectory?","created":"2025-10-07","cited_by_count":5,"area":"lr"},{"id":"2510.09302","title":"CapGeo-Bench: Decoupling Visual Perception from Reasoning and Evaluating Geometric Understanding","created":"2025-10-10","cited_by_count":5,"area":"lr"},{"id":"2511.11500","title":"Honesty over Accuracy: Trustworthy Language Models through Reinforced Hesitation","created":"2025-11-14","cited_by_count":5,"area":null},{"id":"2607.04394","title":"MechMath Agent Team: LLM Driven Agents for Mathematical Research","created":"2026-07-05","cited_by_count":5,"area":"agents"},{"id":"2511.11373","title":"MarsRL: Advancing Multi-Agent Reasoning System via Reinforcement Learning with Agentic Pipeline Parallelism","created":"2025-11-14","cited_by_count":4,"area":"lr"},{"id":"2512.10739","title":"Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving","created":"2025-12-11","cited_by_count":4,"area":"lr"},{"id":"2603.15914","title":"The Agentic Researcher: A Practical Guide to AI-Assisted Research in Mathematics and Machine Learning","created":"2026-03-16","cited_by_count":4,"area":"agents"},{"id":"2605.20531","title":"Pseudo-Formalization for Automatic Proof Verification","created":"2026-05-19","cited_by_count":4,"area":"lr"},{"id":"2509.21482","title":"Learning to Reason with Mixture of Tokens","created":"2025-09-25","cited_by_count":3,"area":"lr"},{"id":"2510.17498","title":"Deep Self-Evolving Reasoning","created":"2025-10-20","cited_by_count":3,"area":"lr"},{"id":"2511.11519","title":"Experience-Guided Adaptation of Inference-Time Reasoning Strategies","created":"2025-11-14","cited_by_count":3,"area":"lr"},{"id":"2511.21522","title":"Pessimistic Verification for Open Ended Math Questions","created":"2025-11-26","cited_by_count":3,"area":"lr"},{"id":"2512.00997","title":"IndiMathBench: Autoformalizing Mathematical Reasoning Problems with a Human Touch","created":"2025-11-30","cited_by_count":3,"area":"lr"},{"id":"2603.29500","title":"Learning to Generate Formally Verifiable Step-by-Step Logic Reasoning via Structured Formal Intermediaries","created":"2026-03-31","cited_by_count":3,"area":"lr"},{"id":"2604.04898","title":"QED-Nano: Teaching a Tiny Model to Prove Hard Theorems","created":"2026-04-06","cited_by_count":3,"area":null},{"id":"2604.16989","title":"Bolzano: Case Studies in LLM-Assisted Mathematical Research","created":"2026-04-18","cited_by_count":3,"area":"agents"},{"id":"2605.23772","title":"Agentic Proving for Program Verification","created":"2026-05-22","cited_by_count":3,"area":"agents"},{"id":"2606.23595","title":"SPIRAL: Learning to Search and Aggregate","created":"2026-06-22","cited_by_count":3,"area":"lr"},{"id":"2606.30015","title":"Parametric Skills","created":"2026-06-29","cited_by_count":3,"area":null},{"id":"2509.24827","title":"Putnam-like dataset summary: LLMs as mathematical competition contestants","created":"2025-09-29","cited_by_count":2,"area":null},{"id":"2510.07486","title":"AsyncSpade: Efficient Test-Time Scaling with Asynchronous Sparse Decoding","created":"2025-10-08","cited_by_count":2,"area":"lr"},{"id":"2510.21860","title":"Butter-Bench: Evaluating LLM Controlled Robots for Practical Intelligence","created":"2025-10-23","cited_by_count":2,"area":null},{"id":"2602.19517","title":"Classroom Final Exam: An Instructor-Tested Reasoning Benchmark","created":"2026-02-23","cited_by_count":2,"area":"lr"},{"id":"2603.03202","title":"Code2Math: Can Your Code Agent Effectively Evolve Math Problems Through Exploration?","created":"2026-03-03","cited_by_count":2,"area":"agents"},{"id":"2603.07725","title":"Verifiable Reasoning for LLM-based Generative Recommendation","created":"2026-03-08","cited_by_count":2,"area":"lr"},{"id":"2605.30290","title":"Self-Trained Verification for Training- and Test-Time Self-Improvement","created":"2026-05-28","cited_by_count":2,"area":"lr"},{"id":"2606.02218","title":"Faster Synchronous On-Policy RL via Straggler-Aware Group Sizing","created":"2026-06-01","cited_by_count":2,"area":"lr"},{"id":"2606.31182","title":"AI-Assisted Discovery of Convex Relaxations via Dual Agents","created":"2026-06-30","cited_by_count":2,"area":"agents"},{"id":"2509.12251","title":"V-Math: An Agentic Approach to the Vietnamese National High School Graduation Mathematics Exams","created":"2025-09-12","cited_by_count":1,"area":"agents"},{"id":"2602.19069","title":"Asking the Right Questions: Improving Reasoning with Generated Stepping Stones","created":"2026-02-22","cited_by_count":1,"area":"lr"},{"id":"2602.21317","title":"Shared Nature, Unique Nurture: PRISM for Pluralistic Reasoning via In-context Structure Modeling","created":"2026-02-24","cited_by_count":1,"area":"lr"},{"id":"2603.03352","title":"Perfect score on IPhO 2025 theory by Gemini agent","created":"2026-02-26","cited_by_count":1,"area":null},{"id":"2603.24465","title":"MechMath: Sorrifier-Driven Formal Decomposition Workflow for Automated Theorem Proving","created":"2026-03-25","cited_by_count":1,"area":"agents"},{"id":"2604.18936","title":"Fine-Tuning Small Reasoning Models for Quantum Field Theory","created":"2026-04-21","cited_by_count":1,"area":"lr"},{"id":"2605.10344","title":"TMAS: Scaling Test-Time Compute via Multi-Agent Synergy","created":"2026-05-11","cited_by_count":1,"area":"lr"},{"id":"2605.19338","title":"STAR-P\\'olyaMath: Multi-Agent Reasoning under Persistent Meta-Strategic Supervision","created":"2026-05-19","cited_by_count":1,"area":"lr"},{"id":"2606.00660","title":"FineVerify: Scaling Test-Time Compute with Fine-Grained Self-Verification for Agentic Search","created":"2026-05-30","cited_by_count":1,"area":"lr"},{"id":"2607.14178","title":"ReasFlow: Assisting Reasoning-Centric Scientific Discovery in Applied Mathematics via a Knowledge-Based Multi-Agent System","created":"2026-07-15","cited_by_count":1,"area":"lr"},{"id":"2609.05446","title":"AutoFyn Technical Report: Non-Parametric Expert Iteration for Long-Horizon Agents","created":"2026-07-31","cited_by_count":1,"area":null},{"id":"2609.11319","title":"Magenta: Closing the Loop Between Mathematical Reasoning and Lean Verification","created":"2026-09-10","cited_by_count":1,"area":"lr"},{"id":"2510.01569","title":"InvThink: Premortem Reasoning for Safer Language Models","created":"2025-10-02","cited_by_count":0,"area":"lr"},{"id":"2511.15738","title":"Extending Test-Time Scaling: A 3D Perspective with Context, Batch, and Turn","created":"2025-11-18","cited_by_count":0,"area":"lr"},{"id":"2512.18857","title":"CORE: Concept-Oriented Reinforcement for Bridging the Definition-Application Gap in Mathematical Reasoning","created":"2025-12-21","cited_by_count":0,"area":"lr"},{"id":"2602.08237","title":"Document Reconstruction Unlocks Scalable Long-Context RLVR","created":"2026-02-09","cited_by_count":0,"area":null},{"id":"2604.15851","title":"DPrivBench: Benchmarking LLMs' Reasoning for Differential Privacy","created":"2026-04-17","cited_by_count":0,"area":"lr"},{"id":"2604.20079","title":"On the Quantization Robustness of Diffusion Language Models in Coding Benchmarks","created":"2026-04-22","cited_by_count":0,"area":"diffusion"},{"id":"2605.15012","title":"Boosting Reinforcement Learning with Verifiable Rewards via Randomly Selected Few-Shot Guidance","created":"2026-05-14","cited_by_count":0,"area":"lr"},{"id":"2605.26414","title":"Reasoning, Code, or Both? How Large Language Models Handle Variations in Math Questions","created":"2026-05-26","cited_by_count":0,"area":"lr"},{"id":"2606.01182","title":"CA-BED: Conversation-Aware Bayesian Experimental Design","created":"2026-05-31","cited_by_count":0,"area":"lr"},{"id":"2606.10479","title":"ComBench: A Benchmark for Rigorous Proof Reasoning and Constructive Realization in Olympiad-Level Combinatorics","created":"2026-06-09","cited_by_count":0,"area":"lr"},{"id":"2606.30339","title":"REAR: Test-time Preference Realignment through Reward Decomposition","created":"2026-06-29","cited_by_count":0,"area":"alignment"},{"id":"2607.20485","title":"Expectation Alignment of Language Models for Real-World User Expectations","created":"2026-06-02","cited_by_count":0,"area":"alignment"},{"id":"2607.27497","title":"SkillSmith: Learning to Compose Parametric Skills and Textual Knowledge","created":"2026-07-29","cited_by_count":0,"area":"agents"},{"id":"2608.18011","title":"The IOL-AI Challenge: An Open Challenge towards Advancing Linguistic Reasoning","created":"2026-08-18","cited_by_count":0,"area":"lr"},{"id":"2609.10712","title":"An Open Recipe for IMO Gold: Training Nemotron for Olympiad Mathematics","created":"2026-09-09","cited_by_count":0,"area":null},{"id":"2609.33485","title":"DISCO: Distributed Long Context Scaling with Grounding-Reasoning Disaggregation","created":"2026-09-27","cited_by_count":0,"area":"lr"},{"id":"2609.35606","title":"TCSAlgBench: Benchmarking Automated Proving for Research-Level Theoretical Computer Science","created":"2026-09-28","cited_by_count":0,"area":null},{"id":"2610.05322","title":"When Does Longer Reasoning Help? Predicting Mathematical Reasoning Through Discovery and Execution","created":"2026-10-04","cited_by_count":0,"area":"lr"},{"id":"2610.13632","title":"Humanize Olympiad Agents: A Multi-Session Workflow for Olympiad Problem Solving with Solve, Review, Wiki, Verify","created":"2026-10-09","cited_by_count":0,"area":"agents"}],"next_cursor":null}