{"total":243,"rows":[{"id":"2501.19393","title":"s1: Simple test-time scaling","created":"2025-01-31","cited_by_count":1341,"area":"lr"},{"id":"2501.14249","title":"Humanity's Last Exam","created":"2025-01-24","cited_by_count":491,"area":null},{"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":"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":"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":"2507.02825","title":"Establishing Best Practices for Building Rigorous Agentic Benchmarks","created":"2025-07-03","cited_by_count":102,"area":"agents"},{"id":"2503.09780","title":"AgentDAM: Privacy Leakage Evaluation for Autonomous Web Agents","created":"2025-03-12","cited_by_count":82,"area":"agents"},{"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":"2512.00193","title":"A Rosetta Stone for AI Benchmarks","created":"2025-11-28","cited_by_count":36,"area":null},{"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":"2602.16763","title":"When AI Benchmarks Plateau: A Systematic Study of Benchmark Saturation","created":"2026-02-18","cited_by_count":33,"area":null},{"id":"2412.01441","title":"LMAct: A Benchmark for In-Context Imitation Learning with Long Multimodal Demonstrations","created":"2024-12-02","cited_by_count":32,"area":"offlinerl"},{"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":"2506.21621","title":"The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs","created":"2025-06-23","cited_by_count":30,"area":null},{"id":"2504.18838","title":"Toward Generalizable Evaluation in the LLM Era: A Survey Beyond Benchmarks","created":"2025-04-26","cited_by_count":28,"area":null},{"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":"2507.15887","title":"AlgoTune: Can Language Models Speed Up General-Purpose Numerical Programs?","created":"2025-07-19","cited_by_count":27,"area":null},{"id":"2510.04721","title":"BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs","created":"2025-10-06","cited_by_count":27,"area":null},{"id":"2511.02872","title":"FATE: A Formal Benchmark Series for Frontier Algebra of Multiple Difficulty Levels","created":"2025-11-04","cited_by_count":27,"area":null},{"id":"2502.00963","title":"PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs","created":"2025-02-03","cited_by_count":23,"area":"lr"},{"id":"2503.01747","title":"Position: Don't Use the CLT in LLM Evals With Fewer Than a Few Hundred Datapoints","created":"2025-03-03","cited_by_count":23,"area":null},{"id":"2512.15699","title":"FrontierCS: Evolving Challenges for Evolving Intelligence","created":"2025-12-17","cited_by_count":23,"area":null},{"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":"2510.26787","title":"Remote Labor Index: Measuring AI Automation of Remote Work","created":"2025-10-30","cited_by_count":20,"area":null},{"id":"2510.05318","title":"BIRD-INTERACT: Re-imagining Text-to-SQL Evaluation for Large Language Models via Lens of Dynamic Interactions","created":"2025-10-06","cited_by_count":19,"area":null},{"id":"2605.06651","title":"AI co-mathematician: Accelerating mathematicians with agentic AI","created":"2026-05-07","cited_by_count":17,"area":"agents"},{"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":"2503.01811","title":"AutoAdvExBench: Benchmarking autonomous exploitation of adversarial example defenses","created":"2025-03-03","cited_by_count":15,"area":null},{"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":"2601.12560","title":"Agentic Artificial Intelligence (AI): Architectures, Taxonomies, and Evaluation of Large Language Model Agents","created":"2026-01-18","cited_by_count":14,"area":"agents"},{"id":"2509.26076","title":"IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation","created":"2025-09-30","cited_by_count":13,"area":null},{"id":"2604.24021","title":"QED: An Open-Source Multi-Agent System for Generating Mathematical Proofs on Open Problems","created":"2026-04-27","cited_by_count":13,"area":null},{"id":"2504.21202","title":"Automatic Legal Writing Evaluation of LLMs","created":"2025-04-29","cited_by_count":12,"area":null},{"id":"2605.26079","title":"Automated Benchmark Auditing for AI Agents and Large Language Models","created":"2026-05-25","cited_by_count":12,"area":"agents"},{"id":"2606.05400","title":"LeanMarathon: Toward Reliable AI Co-Mathematicians through Long-Horizon Lean Autoformalization","created":"2026-06-03","cited_by_count":12,"area":null},{"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":"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.02663","title":"TutorBench: A Benchmark To Assess Tutoring Capabilities Of Large Language Models","created":"2025-10-03","cited_by_count":11,"area":null},{"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":"2601.19532","title":"Benchmarks Saturate When The Model Gets Smarter Than The Judge","created":"2026-01-27","cited_by_count":11,"area":null},{"id":"2503.18825","title":"EconEvals: Benchmarks and Litmus Tests for Economic Decision-Making by LLM Agents","created":"2025-03-24","cited_by_count":10,"area":"agents"},{"id":"2511.00162","title":"ARC-GEN: A Mimetic Procedural Benchmark Generator for the Abstraction and Reasoning Corpus","created":"2025-10-31","cited_by_count":10,"area":null},{"id":"2602.24173","title":"LemmaBench: A Live, Research-Level Benchmark to Evaluate LLM Capabilities in Mathematics","created":"2026-02-27","cited_by_count":10,"area":null},{"id":"2605.29548","title":"Why Larger Models Learn More: Effects of Capacity, Interference, and Rare-Task Retention","created":"2026-05-28","cited_by_count":10,"area":null},{"id":"2505.06108","title":"LLMs Outperform Experts on Challenging Biology Benchmarks","created":"2025-05-09","cited_by_count":9,"area":null},{"id":"2506.06214","title":"Can Theoretical Physics Research Benefit from Language Agents?","created":"2025-06-06","cited_by_count":9,"area":"agents"},{"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":"2505.00612","title":"Position: AI Competitions Provide the Gold Standard for Empirical Rigor in GenAI Evaluation","created":"2025-05-01","cited_by_count":8,"area":null},{"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":"2604.06802","title":"Riemann-Bench: A Benchmark for Moonshot Mathematics","created":"2026-04-08","cited_by_count":8,"area":null},{"id":"2502.01683","title":"LLM-Powered Benchmark Factory: Reliable, Generic, and Efficient","created":"2025-02-02","cited_by_count":7,"area":null},{"id":"2505.18102","title":"CapBencher: Give Your LLM Benchmark a Built-in Alarm for Test-Set Overfitting","created":"2025-05-23","cited_by_count":7,"area":null},{"id":"2506.14652","title":"Rigor in AI: Doing Rigorous AI Work Requires a Broader, Responsible AI-Informed Conception of Rigor","created":"2025-06-17","cited_by_count":7,"area":null},{"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":"2606.17930","title":"How Inference Compute Shapes Frontier LLM Evaluation","created":"2026-06-16","cited_by_count":7,"area":null},{"id":"2607.07847","title":"When Does Continual Learning Require Learning","created":"2026-07-08","cited_by_count":7,"area":"inference"},{"id":"2502.09955","title":"Diverse Inference and Verification for Advanced Reasoning","created":"2025-02-14","cited_by_count":6,"area":"lr"},{"id":"2502.17259","title":"Detecting Benchmark Contamination Through Watermarking","created":"2025-02-24","cited_by_count":6,"area":null},{"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.00808","title":"A Mathematical Philosophy of Explanations in Mechanistic Interpretability -- The Strange Science Part I.i","created":"2025-05-01","cited_by_count":6,"area":"mechinterp"},{"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":"2505.24731","title":"Circuit Stability Characterizes Language Model Generalization","created":"2025-05-30","cited_by_count":6,"area":"mechinterp"},{"id":"2512.21373","title":"AInsteinBench: Benchmarking Coding Agents on Scientific Repositories","created":"2025-12-24","cited_by_count":6,"area":"agents"},{"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":"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":"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":"2502.20309","title":"EAIRA: Establishing a Methodology for Evaluating AI Models as Scientific Research Assistants","created":"2025-02-27","cited_by_count":5,"area":null},{"id":"2505.08744","title":"DeepMath-Creative: A Benchmark for Evaluating Mathematical Creativity of Large Language Models","created":"2025-05-13","cited_by_count":5,"area":null},{"id":"2505.11774","title":"HARDMath2: A Benchmark for Applied Mathematics Built by Students as Part of a Graduate Class","created":"2025-05-17","cited_by_count":5,"area":null},{"id":"2505.20738","title":"Silencer: From Discovery to Mitigation of Self-Bias in LLM-as-Benchmark-Generator","created":"2025-05-27","cited_by_count":5,"area":null},{"id":"2505.23851","title":"ASyMOB: Algebraic Symbolic Mathematical Operations Benchmark","created":"2025-05-28","cited_by_count":5,"area":null},{"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"}],"next_cursor":"100"}