{"total":97,"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":"2508.03613","title":"Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction","created":"2025-08-05","cited_by_count":154,"area":"synth"},{"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":"2507.15855","title":"Winning Gold at IMO 2025 with a Model-Agnostic Verification-and-Refinement Pipeline","created":"2025-07-21","cited_by_count":82,"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":"2511.01846","title":"Towards Robust Mathematical Reasoning","created":"2025-11-03","cited_by_count":73,"area":"lr"},{"id":"2505.11792","title":"Solver-Informed RL: Grounding Large Language Models for Authentic Optimization Modeling","created":"2025-05-17","cited_by_count":45,"area":null},{"id":"2511.07919","title":"Feedback Descent: Open-Ended Text Optimization via Pairwise Comparison","created":"2025-11-11","cited_by_count":44,"area":"alignment"},{"id":"2505.15182","title":"ReflAct: World-Grounded Decision Making in LLM Agents via Goal-State Reflection","created":"2025-05-21","cited_by_count":31,"area":"agents"},{"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":"2510.09719","title":"ICL-Router: In-Context Learned Model Representations for LLM Routing","created":"2025-10-10","cited_by_count":28,"area":null},{"id":"2511.16660","title":"Cognitive Foundations for Reasoning and Their Manifestation in LLMs","created":"2025-11-20","cited_by_count":26,"area":"lr"},{"id":"2507.05169","title":"Critique of World Model","created":"2025-07-07","cited_by_count":25,"area":"wm"},{"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":"2505.15607","title":"From Problem-Solving to Teaching Problem-Solving: Aligning LLMs with Pedagogy using Reinforcement Learning","created":"2025-05-21","cited_by_count":17,"area":null},{"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":"2503.05543","title":"Pi-GPS: Enhancing Geometry Problem Solving by Unleashing the Power of Diagrammatic Information","created":"2025-03-07","cited_by_count":10,"area":null},{"id":"2605.13171","title":"Formal Conjectures: An Open and Evolving Benchmark for Verified Discovery in Mathematics","created":"2026-05-13","cited_by_count":10,"area":null},{"id":"2506.07160","title":"GeometryZero: Advancing Geometry Solving via Group Contrastive Policy Optimization","created":"2025-06-08","cited_by_count":9,"area":"lr"},{"id":"2608.05179","title":"Autonomous Research Agents: A Survey of AI Scientists and the Verification Gap","created":"2026-06-29","cited_by_count":9,"area":"agents"},{"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":"2604.06802","title":"Riemann-Bench: A Benchmark for Moonshot Mathematics","created":"2026-04-08","cited_by_count":8,"area":null},{"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":"2509.01398","title":"The Need for Verification in AI-Driven Scientific Discovery","created":"2025-09-01","cited_by_count":7,"area":null},{"id":"2509.23067","title":"Semantic Voting: A Self-Evaluation-Free Approach for Efficient LLM Self-Improvement on Unverifiable Open-ended Tasks","created":"2025-09-27","cited_by_count":7,"area":"synth"},{"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":"2602.05975","title":"SAGE: Benchmarking and Improving Retrieval for Deep Research Agents","created":"2026-02-05","cited_by_count":7,"area":"agents"},{"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":"2508.06595","title":"LLM Unlearning Without an Expert Curated Dataset","created":"2025-08-08","cited_by_count":5,"area":"safety"},{"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":"2512.09443","title":"A Human-AI Collaborative Workflow for Mathematical Discovery: A Case Study in Grover-Compatible Riemannian Optimization","created":"2025-12-10","cited_by_count":4,"area":null},{"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":"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":"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":"2512.04829","title":"Model-Based and Sample-Efficient AI-Assisted Math Discovery in Sphere Packing","created":"2025-12-04","cited_by_count":3,"area":null},{"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":"2603.23951","title":"From AI Assistant to AI Scientist: Autonomous Discovery of LLM-RL Algorithms with LLM Agents","created":"2026-03-25","cited_by_count":3,"area":"agents"},{"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":"2608.09538","title":"TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability","created":"2026-08-10","cited_by_count":3,"area":null},{"id":"2608.27260","title":"What Makes Good Agentic Data? An ACE Lens on Data Generation for LLM Agents","created":"2026-08-27","cited_by_count":3,"area":"agents"},{"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":"2507.07505","title":"Hallucination Stations: On Some Basic Limitations of Transformer-Based Language Models","created":"2025-07-10","cited_by_count":2,"area":"agents"},{"id":"2509.21896","title":"GenesisGeo: Technical Report","created":"2025-09-26","cited_by_count":2,"area":null},{"id":"2512.08180","title":"GeoLoom: High-quality Geometric Diagram Generation from Textual Input","created":"2025-12-09","cited_by_count":2,"area":null},{"id":"2601.22365","title":"Towards Solving the Gilbert-Pollak Conjecture via Large Language Models","created":"2026-01-29","cited_by_count":2,"area":null},{"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":"2506.23026","title":"Machine Assistant with Reliable Knowledge: Enhancing Student Learning via RAG-based Retrieval","created":"2025-06-28","cited_by_count":1,"area":"rag"},{"id":"2508.11874","title":"Discovering Expert-Level Nash Equilibrium Algorithms with Large Language Models","created":"2025-08-16","cited_by_count":1,"area":null},{"id":"2509.21404","title":"How Large Language Models Need Symbolism","created":"2025-09-24","cited_by_count":1,"area":null},{"id":"2512.00097","title":"Gold-Medal-Level Olympiad Geometry Solving with Efficient Heuristic Auxiliary Constructions","created":"2025-11-27","cited_by_count":1,"area":null},{"id":"2602.14318","title":"In Transformer We Trust? A Perspective on Transformer Architecture Failure Modes","created":"2026-02-15","cited_by_count":1,"area":null},{"id":"2603.04852","title":"Non-Parametric Structural Priors for Geometry Theorem Prediction","created":"2026-03-05","cited_by_count":1,"area":null},{"id":"2603.14147","title":"An Alternative Trajectory for Generative AI","created":"2026-03-14","cited_by_count":1,"area":null},{"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":"2607.07779","title":"From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier","created":"2026-07-08","cited_by_count":1,"area":null},{"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":"2609.25438","title":"PermuFormer: Multi-Task Pretraining for Permutation Representation in Algebraic Combinatorics","created":"2026-09-21","cited_by_count":1,"area":null},{"id":"2503.00224","title":"\\`A la recherche du sens perdu: your favourite LLM might have more to say than you can understand","created":"2025-02-28","cited_by_count":0,"area":null},{"id":"2510.09709","title":"The Idola Tribus of AI: Large Language Models tend to perceive order where none exists","created":"2025-10-10","cited_by_count":0,"area":null},{"id":"2510.23379","title":"Symbolic Neural Generation with Applications to Lead Discovery in Drug Design","created":"2025-10-27","cited_by_count":0,"area":null},{"id":"2512.16455","title":"AI4EOSC: a Federated Cloud Platform for Artificial Intelligence in Scientific Research","created":"2025-12-18","cited_by_count":0,"area":null},{"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.02378","title":"From Sycophancy to Sensemaking: Premise Governance for Human-AI Decision Making","created":"2026-02-02","cited_by_count":0,"area":null},{"id":"2602.09530","title":"Learning to Discover Iterative Spectral Algorithms","created":"2026-02-10","cited_by_count":0,"area":null},{"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.16379","title":"An Information-Theoretic Criterion for Efficient Data Synthesis","created":"2026-05-11","cited_by_count":0,"area":"synth"},{"id":"2605.20743","title":"Draw2Think: Harnessing Geometry Reasoning through Constraint Engine Interaction","created":"2026-05-20","cited_by_count":0,"area":"lr"},{"id":"2606.04648","title":"BiNSGPS: Geometry Problem Solving via Bidirectional Neuro-Symbolic Interaction","created":"2026-06-03","cited_by_count":0,"area":null},{"id":"2606.05729","title":"Automated Proving of Shannon-Type Entropy Inequalities via Fine-Tuned Language Models and Guided Tree Search","created":"2026-06-04","cited_by_count":0,"area":null},{"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.12442","title":"Reframing AI Loss of Control: What Control Is, How to Have It, How to Lose It","created":"2026-05-19","cited_by_count":0,"area":null},{"id":"2606.21974","title":"Fine-Tuning Large Language Models for Quantum Reasoning","created":"2026-06-20","cited_by_count":0,"area":"lr"},{"id":"2607.06820","title":"Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics","created":"2026-07-07","cited_by_count":0,"area":"agents"},{"id":"2608.02295","title":"MechGeo: Autoformalizing and Proving Euclidean Geometry in Lean 4","created":"2026-08-03","cited_by_count":0,"area":"agents"},{"id":"2608.12325","title":"Position: Reasoning is a Learnable Rule-Based Process","created":"2026-05-29","cited_by_count":0,"area":null},{"id":"2608.14585","title":"Euclid-Omni : A Unified Neuro-Symbolic Framework for Plane Geometry","created":"2026-06-17","cited_by_count":0,"area":null},{"id":"2608.28884","title":"MineCEraft: Evaluating Language Models as Construction Engineers in the World of Minecraft","created":"2026-08-28","cited_by_count":0,"area":null},{"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}