{"total":37,"rows":[{"id":"2511.22570","title":"DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning","created":"2025-11-27","cited_by_count":94,"area":"lr"},{"id":"2508.16949","title":"Breaking the Exploration Bottleneck: Rubric-Scaffolded Reinforcement Learning for General LLM Reasoning","created":"2025-08-23","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":"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":"2509.06493","title":"Scaling up Multi-Turn Off-Policy RL and Multi-Agent Tree Search for LLM Step-Provers","created":"2025-09-08","cited_by_count":28,"area":"lr"},{"id":"2509.18883","title":"Introducing LongCat-Flash-Thinking: A Technical Report","created":"2025-09-23","cited_by_count":22,"area":"lr"},{"id":"2510.24592","title":"ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization","created":"2025-10-28","cited_by_count":20,"area":"lr"},{"id":"2510.02212","title":"DiFFPO: Training Diffusion LLMs to Reason Fast and Furious via Reinforcement Learning","created":"2025-10-02","cited_by_count":19,"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":"2602.13103","title":"R-Diverse: Mitigating Diversity Illusion in Self-Play LLM Training","created":"2026-02-13","cited_by_count":10,"area":"lr"},{"id":"2603.19514","title":"Learning to Disprove: Formal Counterexample Generation with Large Language Models","created":"2026-03-19","cited_by_count":5,"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":"2602.02477","title":"Training LLMs for Divide-and-Conquer Reasoning Elevates Test-Time Scalability","created":"2026-02-02","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.31134","title":"Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics","created":"2026-06-30","cited_by_count":4,"area":"lr"},{"id":"2510.17498","title":"Deep Self-Evolving Reasoning","created":"2025-10-20","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":"2510.11986","title":"Conjecturing: An Overlooked Step in Formal Mathematical Reasoning","created":"2025-10-13","cited_by_count":2,"area":"lr"},{"id":"2512.10187","title":"MINIF2F-DAFNY: LLM-Guided Mathematical Theorem Proving via Auto-Active Verification","created":"2025-12-11","cited_by_count":2,"area":"lr"},{"id":"2602.11639","title":"PACE: Prefix-Protected and Difficulty-Aware Compression for Efficient Reasoning","created":"2026-02-12","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":"2605.08817","title":"How You Begin is How You Reason: Driving Exploration in RLVR via Prefix-Tuned Priors","created":"2026-05-09","cited_by_count":2,"area":"lr"},{"id":"2509.12603","title":"EconProver: Towards More Economical Test-Time Scaling for Automated Theorem Proving","created":"2025-09-16","cited_by_count":1,"area":"lr"},{"id":"2602.10538","title":"Why Agentic Theorem Prover Works: A Statistical Provability Theory of Mathematical Reasoning Models","created":"2026-02-11","cited_by_count":1,"area":"lr"},{"id":"2603.14628","title":"s2n-bignum-bench: A practical benchmark for evaluating low-level code reasoning of LLMs","created":"2026-03-15","cited_by_count":1,"area":"lr"},{"id":"2604.01302","title":"Scaling Reasoning Tokens via RL and Parallel Thinking: Evidence From Competitive Programming","created":"2026-04-01","cited_by_count":1,"area":"lr"},{"id":"2605.07147","title":"MathlibPR: Pull Request Merge-Readiness Benchmark for Formal Mathematical Libraries","created":"2026-05-08","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.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":"2605.30914","title":"Automating Formal Verification with Reinforcement Learning and Recursive Inference","created":"2026-05-29","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":"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":"2604.18587","title":"Compile to Compress: Boosting Formal Theorem Provers by Compiler Outputs","created":"2026-03-13","cited_by_count":0,"area":"lr"},{"id":"2605.11905","title":"Rethinking Supervision Granularity: Segment-Level Learning for LLM-Based Theorem Proving","created":"2026-05-12","cited_by_count":0,"area":"lr"},{"id":"2605.17255","title":"CAM-Bench: A Benchmark for Computational and Applied Mathematics in Lean","created":"2026-05-17","cited_by_count":0,"area":"lr"}],"next_cursor":null}