{"total":45,"rows":[{"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":"2507.23726","title":"Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving","created":"2025-07-31","cited_by_count":101,"area":"lr"},{"id":"2511.22570","title":"DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning","created":"2025-11-27","cited_by_count":94,"area":"lr"},{"id":"2511.01846","title":"Towards Robust Mathematical Reasoning","created":"2025-11-03","cited_by_count":73,"area":"lr"},{"id":"2510.12787","title":"Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics","created":"2025-10-14","cited_by_count":31,"area":"lr"},{"id":"2511.16660","title":"Cognitive Foundations for Reasoning and Their Manifestation in LLMs","created":"2025-11-20","cited_by_count":26,"area":"lr"},{"id":"2506.17114","title":"Mathematical Proof as a Litmus Test: Revealing Failure Modes of Advanced Large Reasoning Models","created":"2025-06-20","cited_by_count":20,"area":"lr"},{"id":"2504.12773","title":"Enhancing the Geometric Problem-Solving Ability of Multimodal LLMs via Symbolic-Neural Integration","created":"2025-04-17","cited_by_count":18,"area":"lr"},{"id":"2504.15780","title":"TrustGeoGen: Formal-Verified Data Engine for Trustworthy Multi-modal Geometric Problem Solving","created":"2025-04-22","cited_by_count":13,"area":"lr"},{"id":"2507.13966","title":"Bottom-up Domain-specific Superintelligence: A Reliable Knowledge Graph is What We Need","created":"2025-07-18","cited_by_count":13,"area":"lr"},{"id":"2512.02008","title":"The Art of Scaling Test-Time Compute for Large Language Models","created":"2025-12-01","cited_by_count":12,"area":"lr"},{"id":"2506.07160","title":"GeometryZero: Advancing Geometry Solving via Group Contrastive Policy Optimization","created":"2025-06-08","cited_by_count":9,"area":"lr"},{"id":"2506.02690","title":"Towards Geometry Problem Solving in the Large Model Era: A Survey","created":"2025-06-03","cited_by_count":8,"area":"lr"},{"id":"2506.06211","title":"PuzzleWorld: A Benchmark for Multimodal, Open-Ended Reasoning in Puzzlehunts","created":"2025-06-06","cited_by_count":8,"area":"lr"},{"id":"2505.14479","title":"Reliable Proof Generation with LLMs via Analogical Retrieval and Symbolic Verification: A Case Study in Euclidean Geometry","created":"2025-05-20","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":"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":"2505.20869","title":"Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving","created":"2025-05-27","cited_by_count":5,"area":"lr"},{"id":"2506.04821","title":"LogicPuzzleRL: Cultivating Robust Mathematical Reasoning in LLMs via Reinforcement Learning","created":"2025-06-05","cited_by_count":5,"area":"lr"},{"id":"2509.26383","title":"Efficient and Transferable Agentic Knowledge Graph RAG via Reinforcement Learning","created":"2025-09-30","cited_by_count":5,"area":"lr"},{"id":"2507.11936","title":"A Survey of Deep Learning for Geometry Problem Solving","created":"2025-07-16","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":"2601.05073","title":"Milestones over Outcome: Unlocking Geometric Reasoning with Sub-Goal Verifiable Reward","created":"2026-01-08","cited_by_count":4,"area":"lr"},{"id":"2602.02561","title":"MathlibLemma: Folklore Lemma Generation and Benchmark for Formal Mathematics","created":"2026-01-30","cited_by_count":4,"area":"lr"},{"id":"2606.12594","title":"Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation","created":"2026-06-10","cited_by_count":4,"area":"lr"},{"id":"2509.22921","title":"Rethinking Large Language Model Distillation: A Constrained Markov Decision Process Perspective","created":"2025-09-26","cited_by_count":3,"area":"lr"},{"id":"2510.27448","title":"GeoFM: Enhancing Geometric Reasoning of MLLMs via Synthetic Data Generation through Formal Language","created":"2025-10-31","cited_by_count":3,"area":"lr"},{"id":"2602.05570","title":"TangramSR: Can Vision-Language Models Reason in Continuous Geometric Space?","created":"2026-02-05","cited_by_count":3,"area":"lr"},{"id":"2606.15532","title":"EIBench: A Simulator-Based Benchmark and Turn-Credit RL for Emotion Management","created":"2026-06-14","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":"2506.13886","title":"Investigating the interaction of linguistic and mathematical reasoning in language models using multilingual number puzzles","created":"2025-06-16","cited_by_count":2,"area":"lr"},{"id":"2604.00790","title":"RefineRL: Advancing Competitive Programming with Self-Refinement Reinforcement Learning","created":"2026-04-01","cited_by_count":2,"area":"lr"},{"id":"2505.18492","title":"Formally Solving Answer-Construction Problems in Lean","created":"2025-05-24","cited_by_count":1,"area":"lr"},{"id":"2603.18662","title":"Thinking with Constructions: A Benchmark and Policy Optimization for Visual-Text Interleaved Geometric Reasoning","created":"2026-03-19","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":"2605.15445","title":"From LLM-Generated Conjectures to Lean Formalizations: Automated Polynomial Inequality Proving via Sum-of-Squares Certificates","created":"2026-05-14","cited_by_count":1,"area":"lr"},{"id":"2608.25100","title":"Towards Reliable, Generalizable, and Specific In-Context Knowledge Editing via Multi-Objective Reinforcement Learning","created":"2026-08-25","cited_by_count":1,"area":"lr"},{"id":"2601.11866","title":"Advances in LLM Reasoning Enable Flexibility in Clinical Problem-Solving","created":"2026-01-17","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":"2604.06401","title":"ProofSketcher: Hybrid LLM + Lightweight Proof Checker for Reliable Math/Logic Reasoning","created":"2026-04-07","cited_by_count":0,"area":"lr"},{"id":"2604.18050","title":"The Topological Dual of a Dataset: A Logic-to-Topology Encoding for AlphaGeometry-Style Data","created":"2026-04-20","cited_by_count":0,"area":"lr"},{"id":"2605.20743","title":"Draw2Think: Harnessing Geometry Reasoning through Constraint Engine Interaction","created":"2026-05-20","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.21974","title":"Fine-Tuning Large Language Models for Quantum Reasoning","created":"2026-06-20","cited_by_count":0,"area":"lr"},{"id":"2609.10335","title":"From Symbolic Perception to Logical Deduction: A Framework for Guiding Language Models in Geometric Reasoning","created":"2026-09-09","cited_by_count":0,"area":"lr"}],"next_cursor":null}