{"total":110,"rows":[{"id":"2501.19393","title":"s1: Simple test-time scaling","created":"2025-01-31","cited_by_count":1341,"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":"2502.17419","title":"From System 1 to System 2: A Survey of Reasoning Large Language Models","created":"2025-02-24","cited_by_count":320,"area":"lr"},{"id":"2505.23281","title":"MathArena: Evaluating LLMs on Uncontaminated Math Competitions","created":"2025-05-29","cited_by_count":297,"area":"lr"},{"id":"2503.24235","title":"A Survey on Test-Time Scaling in Large Language Models: What, How, Where, and How Well?","created":"2025-03-31","cited_by_count":223,"area":"lr"},{"id":"2509.08827","title":"A Survey of Reinforcement Learning for Large Reasoning Models","created":"2025-09-10","cited_by_count":180,"area":"lr"},{"id":"2502.19187","title":"BIG-Bench Extra Hard","created":"2025-02-26","cited_by_count":125,"area":"lr"},{"id":"2502.18080","title":"Towards Thinking-Optimal Scaling of Test-Time Compute for LLM Reasoning","created":"2025-02-25","cited_by_count":119,"area":"lr"},{"id":"2504.15585","title":"A Comprehensive Survey in LLM(-Agent) Full Stack Safety: Data, Training and Deployment","created":"2025-04-22","cited_by_count":116,"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":"2511.01846","title":"Towards Robust Mathematical Reasoning","created":"2025-11-03","cited_by_count":73,"area":"lr"},{"id":"2502.12289","title":"Evaluating Step-by-step Reasoning Traces: A Survey","created":"2025-02-17","cited_by_count":63,"area":"lr"},{"id":"2509.22819","title":"Hilbert: Recursively Building Formal Proofs with Informal Reasoning","created":"2025-09-26","cited_by_count":60,"area":"lr"},{"id":"2504.18428","title":"PolyMath: Evaluating Mathematical Reasoning in Multilingual Contexts","created":"2025-04-25","cited_by_count":56,"area":"lr"},{"id":"2502.02508","title":"Satori: Reinforcement Learning with Chain-of-Action-Thought Enhances LLM Reasoning via Autoregressive Search","created":"2025-02-04","cited_by_count":53,"area":"lr"},{"id":"2601.12538","title":"A Survey of Agentic Reasoning for Large Language Models: Towards Recursively Self-Improving and Collective Agents","created":"2026-01-18","cited_by_count":50,"area":"lr"},{"id":"2501.11223","title":"Reasoning Language Models: A Blueprint","created":"2025-01-20","cited_by_count":42,"area":"lr"},{"id":"2502.15631","title":"The relationship between reasoning and performance in large language models--o3 (mini) thinks harder, not longer","created":"2025-02-21","cited_by_count":41,"area":"lr"},{"id":"2501.02497","title":"A Survey of Test-Time Compute: From Intuitive Inference to Deliberate Reasoning","created":"2025-01-05","cited_by_count":40,"area":"lr"},{"id":"2510.26768","title":"AMO-Bench: Large Language Models Still Struggle in High School Math Competitions","created":"2025-10-30","cited_by_count":38,"area":"lr"},{"id":"2502.15815","title":"Theoretical Physics Benchmark (TPBench) -- a Dataset and Study of AI Reasoning Capabilities in Theoretical Physics","created":"2025-02-19","cited_by_count":34,"area":"lr"},{"id":"2505.02018","title":"R-Bench: Graduate-level Multi-disciplinary Benchmarks for LLM & MLLM Complex Reasoning Evaluation","created":"2025-05-04","cited_by_count":34,"area":"lr"},{"id":"2501.15587","title":"SCP-116K: A High-Quality Problem-Solution Dataset and a Generalized Pipeline for Automated Extraction in the Higher Education Science Domain","created":"2025-01-26","cited_by_count":31,"area":"lr"},{"id":"2503.04550","title":"Benchmarking Reasoning Robustness in Large Language Models","created":"2025-03-06","cited_by_count":30,"area":"lr"},{"id":"2604.03789","title":"Automated Conjecture Resolution with Formal Verification","created":"2026-04-04","cited_by_count":28,"area":"lr"},{"id":"2412.08819","title":"HARP: A challenging human-annotated math reasoning benchmark","created":"2024-12-11","cited_by_count":27,"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":"2505.16135","title":"Sudoku-Bench: Evaluating creative reasoning with Sudoku variants","created":"2025-05-22","cited_by_count":22,"area":"lr"},{"id":"2510.13744","title":"Hard2Verify: A Step-Level Verification Benchmark for Open-Ended Frontier Math","created":"2025-10-15","cited_by_count":22,"area":"lr"},{"id":"2509.26574","title":"Probing the Critical Point (CritPt) of AI Reasoning: a Frontier Physics Research Benchmark","created":"2025-09-30","cited_by_count":21,"area":"lr"},{"id":"2505.15257","title":"When Less Language is More: Language-Reasoning Disentanglement Makes LLMs Better Multilingual Reasoners","created":"2025-05-21","cited_by_count":16,"area":"lr"},{"id":"2504.00509","title":"Recitation over Reasoning: How Cutting-Edge Language Models Can Fail on Elementary School-Level Reasoning Problems?","created":"2025-04-01","cited_by_count":15,"area":"lr"},{"id":"2510.12171","title":"MatSciBench: Benchmarking the Reasoning Ability of Large Language Models in Materials Science","created":"2025-10-14","cited_by_count":15,"area":"lr"},{"id":"2502.14333","title":"A Survey on Feedback-based Multi-step Reasoning for Large Language Models on Mathematics","created":"2025-02-20","cited_by_count":11,"area":"lr"},{"id":"2506.15455","title":"RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation","created":"2025-06-18","cited_by_count":11,"area":"lr"},{"id":"2510.16476","title":"NP-Engine: Empowering Optimization Reasoning in Large Language Models with Verifiable Synthetic NP Problems","created":"2025-10-18","cited_by_count":11,"area":"lr"},{"id":"2508.15842","title":"Lexical Hints of Accuracy in LLM Reasoning Chains","created":"2025-08-19","cited_by_count":9,"area":"lr"},{"id":"2603.15617","title":"Measuring Progress in Reasoning Toward Mathematical Discovery with Automatic Verification","created":"2026-03-16","cited_by_count":9,"area":"lr"},{"id":"2506.20729","title":"Test-time Scaling Techniques in Theoretical Physics -- A Comparison of Methods on the TPBench Dataset","created":"2025-06-25","cited_by_count":8,"area":"lr"},{"id":"2512.20732","title":"FEM-Bench: A Structured Scientific Reasoning Benchmark for Evaluating Code-Generating LLMs","created":"2025-12-23","cited_by_count":8,"area":"lr"},{"id":"2508.00079","title":"PhysicsEval: Inference-Time Techniques to Improve the Reasoning Proficiency of Large Language Models on Physics Problems","created":"2025-07-31","cited_by_count":7,"area":"lr"},{"id":"2602.09305","title":"Reward Modeling for Reinforcement Learning-Based LLM Reasoning: Design, Challenges, and Evaluation","created":"2026-02-10","cited_by_count":7,"area":"lr"},{"id":"2502.09955","title":"Diverse Inference and Verification for Advanced Reasoning","created":"2025-02-14","cited_by_count":6,"area":"lr"},{"id":"2502.19058","title":"MathDebugger: Detecting and Diagnosing Errors in Synthetic Mathematical Data","created":"2025-02-26","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":"2505.04147","title":"R^3-VQA: \"Read the Room\" by Video Social Reasoning","created":"2025-05-07","cited_by_count":6,"area":"lr"},{"id":"2604.11778","title":"General365: Benchmarking General Reasoning in Large Language Models Across Diverse and Challenging Tasks","created":"2026-04-13","cited_by_count":6,"area":"lr"},{"id":"2604.14140","title":"LongCoT: Benchmarking Long-Horizon Chain-of-Thought Reasoning","created":"2026-04-15","cited_by_count":6,"area":"lr"},{"id":"2501.15627","title":"HardML: A Benchmark For Evaluating Data Science And Machine Learning knowledge and reasoning in AI","created":"2025-01-26","cited_by_count":5,"area":"lr"},{"id":"2506.00172","title":"Breakpoint: Scalable evaluation of system-level reasoning in LLM code agents","created":"2025-05-30","cited_by_count":5,"area":"lr"},{"id":"2601.21210","title":"Uncovering Hidden Correctness in LLM Causal Reasoning via Symbolic Verification","created":"2026-01-29","cited_by_count":5,"area":"lr"},{"id":"2604.01754","title":"LiveMathematicianBench: A Live Benchmark for Research-Level Mathematical Reasoning with Proof Sketches","created":"2026-04-02","cited_by_count":5,"area":"lr"},{"id":"2604.04443","title":"DeonticBench: A Benchmark for Reasoning over Rules","created":"2026-04-06","cited_by_count":5,"area":"lr"},{"id":"2606.22317","title":"Curriculum Reinforcement Learning Can Incentivize Reasoning Capacity in LLMs Beyond the Base Model","created":"2026-06-21","cited_by_count":5,"area":"lr"},{"id":"2608.31075","title":"Scaling Large Reasoning Models beyond Human Supervision: A Path toward Superintelligence","created":"2026-08-31","cited_by_count":5,"area":"lr"},{"id":"2501.05712","title":"Multi-Step Reasoning in Korean and the Emergent Mirage","created":"2025-01-10","cited_by_count":4,"area":"lr"},{"id":"2503.05891","title":"MastermindEval: A Simple But Scalable Reasoning Benchmark","created":"2025-03-07","cited_by_count":4,"area":"lr"},{"id":"2504.11364","title":"Offline Learning and Forgetting for Reasoning with Large Language Models","created":"2025-04-15","cited_by_count":4,"area":"lr"},{"id":"2508.00459","title":"Thinking Machines: Mathematical Reasoning in the Age of LLMs","created":"2025-08-01","cited_by_count":4,"area":"lr"},{"id":"2601.00791","title":"Geometry of Reason: Spectral Signatures of Valid Mathematical Reasoning","created":"2026-01-02","cited_by_count":4,"area":"lr"},{"id":"2505.23881","title":"Using Reasoning Models to Generate Search Heuristics that Solve Open Instances of Combinatorial Design Problems","created":"2025-05-29","cited_by_count":3,"area":"lr"},{"id":"2509.00930","title":"SATQuest: A Verifier for Logical Reasoning Evaluation and Reinforcement Fine-Tuning of LLMs","created":"2025-08-31","cited_by_count":3,"area":"lr"},{"id":"2511.08022","title":"Numerical Sensitivity and Robustness: Exploring the Flaws of Mathematical Reasoning in Large Language Models","created":"2025-11-11","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":"2602.06319","title":"Exposing Weaknesses of Large Reasoning Models through Graph Algorithm Problems","created":"2026-02-06","cited_by_count":3,"area":"lr"},{"id":"2602.10840","title":"Training and Benchmarking Code Generation for Physics-Inspired Animations","created":"2026-02-11","cited_by_count":3,"area":"lr"},{"id":"2506.01531","title":"STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework","created":"2025-06-02","cited_by_count":2,"area":"lr"},{"id":"2602.11792","title":"Detecting RLVR Training Data via Structural Convergence of Reasoning","created":"2026-02-12","cited_by_count":2,"area":"lr"},{"id":"2602.19517","title":"Classroom Final Exam: An Instructor-Tested Reasoning Benchmark","created":"2026-02-23","cited_by_count":2,"area":"lr"},{"id":"2607.13248","title":"GSM-Plus-BN: A Perturbation-Based Benchmark for Bangla Mathematical Reasoning in Large Language Models","created":"2026-07-14","cited_by_count":2,"area":"lr"},{"id":"2608.02442","title":"Right Answer, Wrong Method: Shortcut Hacking Misleads the Evaluation of LLM Reasoning on Frontier Science Benchmarks","created":"2026-08-03","cited_by_count":2,"area":"lr"},{"id":"2504.12256","title":"FLIP Reasoning Challenge","created":"2025-04-16","cited_by_count":1,"area":"lr"},{"id":"2505.17218","title":"Effective Reinforcement Learning for Reasoning in Language Models","created":"2025-05-22","cited_by_count":1,"area":"lr"},{"id":"2505.18978","title":"AI4Math: A Native Spanish Benchmark for University-Level Mathematical Reasoning in Large Language Models","created":"2025-05-25","cited_by_count":1,"area":"lr"},{"id":"2508.10137","title":"mSCoRe: a $M$ultilingual and Scalable Benchmark for $S$kill-based $Co$mmonsense $Re$asoning","created":"2025-08-13","cited_by_count":1,"area":"lr"},{"id":"2508.19035","title":"Investigating Advanced Reasoning of Large Language Models via Black-Box Environment Interaction","created":"2025-08-26","cited_by_count":1,"area":"lr"},{"id":"2509.21208","title":"CLaw: Benchmarking Chinese Legal Knowledge in Large Language Models - A Fine-grained Corpus and Reasoning Analysis","created":"2025-09-25","cited_by_count":1,"area":"lr"},{"id":"2601.04996","title":"AlgBench: To What Extent Do Large Reasoning Models Understand Algorithms?","created":"2026-01-08","cited_by_count":1,"area":"lr"},{"id":"2602.00564","title":"Unmasking Reasoning Processes: A Process-aware Benchmark for Evaluating Structural Mathematical Reasoning in LLMs","created":"2026-01-31","cited_by_count":1,"area":"lr"},{"id":"2602.02405","title":"Making Expert Reasoning Learnable with Self-Distillation","created":"2026-02-02","cited_by_count":1,"area":"lr"},{"id":"2602.06291","title":"Judging What We Cannot Solve: A Consequence-Based Approach for Oracle-Free Evaluation of Research-Level Math","created":"2026-02-06","cited_by_count":1,"area":"lr"},{"id":"2603.19252","title":"GeoChallenge: A Multi-Answer Multiple-Choice Benchmark for Geometric Reasoning with Diagrams","created":"2026-02-25","cited_by_count":1,"area":"lr"},{"id":"2604.14188","title":"Grading the Unspoken: Evaluating Tacit Reasoning in Quantum Field Theory and String Theory with LLMs","created":"2026-04-01","cited_by_count":1,"area":"lr"},{"id":"2604.18176","title":"QuantumQA: Enhancing Scientific Reasoning via Physics-Consistent Dataset and Verification-Aware Reinforcement Learning","created":"2026-04-20","cited_by_count":1,"area":"lr"},{"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.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.01462","title":"An Enigma of Artificial Reason: Investigating the Production-Evaluation Gap in Large Reasoning Models","created":"2026-05-31","cited_by_count":1,"area":"lr"},{"id":"2606.03144","title":"GTBench: A Curriculum-Grounded Benchmark for Evaluating LLMs as Mathematical Research Assistants in Graph Theory","created":"2026-06-02","cited_by_count":1,"area":"lr"},{"id":"2606.04751","title":"FALSIFYBENCH: Evaluating Inductive Reasoning in LLMs with Rule Discovery Games","created":"2026-06-03","cited_by_count":1,"area":"lr"},{"id":"2606.08728","title":"Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery","created":"2026-06-07","cited_by_count":1,"area":"lr"},{"id":"2503.16437","title":"Haunted House: A text-based game for comparing the flexibility of mental models in humans and LLMs","created":"2025-02-12","cited_by_count":0,"area":"lr"},{"id":"2509.23143","title":"MathBode: Measuring the Stability of LLM Reasoning using Frequency Response","created":"2025-09-27","cited_by_count":0,"area":"lr"},{"id":"2601.19099","title":"m2sv: A Scalable Benchmark for Map-to-Street-View Spatial Reasoning","created":"2026-01-27","cited_by_count":0,"area":"lr"},{"id":"2602.17831","title":"The Token Games: Evaluating Language Model Reasoning with Puzzle Duels","created":"2026-02-19","cited_by_count":0,"area":"lr"},{"id":"2602.18918","title":"Early Evidence of Vibe-Proving with Consumer LLMs: A Case Study on Spectral Region Characterization with ChatGPT-5.2 (Thinking)","created":"2026-02-21","cited_by_count":0,"area":"lr"},{"id":"2605.09012","title":"Re$^2$Math: Benchmarking Theorem Retrieval in Research-Level Mathematics","created":"2026-05-09","cited_by_count":0,"area":"lr"},{"id":"2605.12524","title":"Stress-Testing the Reasoning Competence of LLMs With Proofs Under Minimal Formalism","created":"2026-04-07","cited_by_count":0,"area":"lr"},{"id":"2605.19597","title":"LLMEval-Logic: A Solver-Verified Chinese Benchmark for Logical Reasoning of LLMs with Adversarial Hardening","created":"2026-05-19","cited_by_count":0,"area":"lr"},{"id":"2606.00103","title":"Evaluating Interactive Reasoning in Large Language Models: A Hierarchical Benchmark with Executable Games","created":"2026-05-26","cited_by_count":0,"area":"lr"},{"id":"2606.07515","title":"How reliable are LLMs when it comes to playing dice?","created":"2026-06-05","cited_by_count":0,"area":"lr"}],"next_cursor":"100"}