{"total":27,"rows":[{"id":"2511.22570","title":"DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning","created":"2025-11-27","cited_by_count":94,"area":"lr"},{"id":"2601.16725","title":"LongCat-Flash-Thinking-2601 Technical Report","created":"2026-01-23","cited_by_count":34,"area":"lr"},{"id":"2602.03773","title":"Reasoning Cache: Continual Improvement Over Long Horizons via Short-Horizon RL","created":"2026-02-03","cited_by_count":12,"area":"lr"},{"id":"2606.03303","title":"LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks","created":"2026-06-02","cited_by_count":12,"area":"lr"},{"id":"2602.16793","title":"Escaping the Cognitive Well: Efficient Competition Math with Off-the-Shelf Models","created":"2026-02-18","cited_by_count":9,"area":"lr"},{"id":"2511.13612","title":"P1: Mastering Physics Olympiads with Reinforcement Learning","created":"2025-11-17","cited_by_count":8,"area":"lr"},{"id":"2604.18584","title":"MathNet: a Global Multimodal Benchmark for Mathematical Reasoning and Retrieval","created":"2026-04-20","cited_by_count":6,"area":"lr"},{"id":"2606.15079","title":"Ling and Ring 2.6 Technical Report: Efficient and Instant Agentic Intelligence at Trillion-Parameter Scale","created":"2026-06-13","cited_by_count":6,"area":"lr"},{"id":"2608.14277","title":"SimpleOPD: Simple Tokenizer-Agnostic On-Policy Distillation for Long-Context Reasoning","created":"2026-08-14","cited_by_count":6,"area":"lr"},{"id":"2605.20531","title":"Pseudo-Formalization for Automatic Proof Verification","created":"2026-05-19","cited_by_count":4,"area":"lr"},{"id":"2511.21522","title":"Pessimistic Verification for Open Ended Math Questions","created":"2025-11-26","cited_by_count":3,"area":"lr"},{"id":"2604.02450","title":"Do We Need Frontier Models to Verify Mathematical Proofs?","created":"2026-04-02","cited_by_count":3,"area":"lr"},{"id":"2606.18216","title":"Zone of Proximal Policy Optimization: Teacher in Prompts, Not Gradients","created":"2026-06-16","cited_by_count":3,"area":"lr"},{"id":"2602.02192","title":"ECHO-2: A Large-Scale Distributed Rollout Framework for Cost-Efficient Reinforcement Learning","created":"2026-02-02","cited_by_count":2,"area":"lr"},{"id":"2602.14903","title":"The Potential of CoT for Reasoning: A Closer Look at Trace Dynamics","created":"2026-02-16","cited_by_count":2,"area":"lr"},{"id":"2606.16140","title":"VibeThinker-3B: Exploring the Frontier of Verifiable Reasoning in Small Language Models","created":"2026-06-15","cited_by_count":2,"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":"2608.00004","title":"Cost-Effective Automated Judging of Natural-Language Mathematical Proofs","created":"2026-05-29","cited_by_count":1,"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":"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.12731","title":"Normative Robustness as a Frontier for Non-Verifiable Reasoning in LLMs","created":"2026-06-10","cited_by_count":0,"area":"lr"},{"id":"2608.02101","title":"Cross-Domain Hybrid OPD for Generalizable Search Agents","created":"2026-08-03","cited_by_count":0,"area":"lr"},{"id":"2608.24658","title":"Parason: Revealing Subtask and Trial Parallelism in LLM Reasoning","created":"2026-08-25","cited_by_count":0,"area":"lr"},{"id":"2608.26950","title":"From Atomic to Agentic: Towards Interpretable Evaluation of LLMs' Agentic Mathematical Capabilities","created":"2026-08-27","cited_by_count":0,"area":"lr"},{"id":"2609.12578","title":"From Collaboration to Capability: Internalizing Routed LLM Experts into Compact Reasoners","created":"2026-09-11","cited_by_count":0,"area":"lr"},{"id":"2609.39632","title":"Towards Better Exploration in Sequential Test-Time Scaling","created":"2026-09-30","cited_by_count":0,"area":"lr"},{"id":"2610.13996","title":"Splicing Hints into Reasoning Traces: Learning from Demonstrator Failures","created":"2026-09-26","cited_by_count":0,"area":"lr"}],"next_cursor":null}