{"total":73,"rows":[{"id":"2512.02556","title":"DeepSeek-V3.2: Pushing the Frontier of Open Large Language Models","created":"2025-12-02","cited_by_count":815,"area":null},{"id":"2602.15763","title":"GLM-5: from Vibe Coding to Agentic Engineering","created":"2026-02-17","cited_by_count":587,"area":"agents"},{"id":"2602.02276","title":"Kimi K2.5: Visual Agentic Intelligence","created":"2026-02-02","cited_by_count":501,"area":"agents"},{"id":"2603.28052","title":"Meta-Harness: End-to-End Optimization of Model Harnesses","created":"2026-03-30","cited_by_count":309,"area":null},{"id":"2604.15804","title":"Qwen3.5-Omni Technical Report","created":"2026-04-17","cited_by_count":174,"area":"moe"},{"id":"2511.22570","title":"DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning","created":"2025-11-27","cited_by_count":94,"area":"lr"},{"id":"2603.20633","title":"Seed1.8 Model Card: Towards Generalized Real-World Agency","created":"2026-03-21","cited_by_count":50,"area":null},{"id":"2607.07508","title":"Single-Rollout Asynchronous Optimization for Agentic Reinforcement Learning","created":"2026-07-08","cited_by_count":37,"area":"agents"},{"id":"2601.16725","title":"LongCat-Flash-Thinking-2601 Technical Report","created":"2026-01-23","cited_by_count":34,"area":"lr"},{"id":"2606.26294","title":"The Red Queen G\\\"odel Machine: Co-Evolving Agents and Their Evaluators","created":"2026-06-24","cited_by_count":19,"area":"agents"},{"id":"2605.06651","title":"AI co-mathematician: Accelerating mathematicians with agentic AI","created":"2026-05-07","cited_by_count":17,"area":"agents"},{"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":"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.03303","title":"LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks","created":"2026-06-02","cited_by_count":12,"area":"lr"},{"id":"2606.23525","title":"Self-Compacting Language Model Agents","created":"2026-06-22","cited_by_count":11,"area":"agents"},{"id":"2607.22083","title":"Nanbeige4.2-3B: Unlocking Agentic Capabilities in a Compact Model","created":"2026-07-24","cited_by_count":11,"area":"agents"},{"id":"2604.20209","title":"Scaling Self-Play with Self-Guidance","created":"2026-04-22","cited_by_count":10,"area":"synth"},{"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":"2603.21065","title":"LongCat-Flash-Prover: Advancing Native Formal Reasoning via Agentic Tool-Integrated Reinforcement Learning","created":"2026-03-22","cited_by_count":7,"area":"agents"},{"id":"2602.12036","title":"Composition-RL: Compose Your Verifiable Prompts for Reinforcement Learning of Large Language Models","created":"2026-02-12","cited_by_count":6,"area":null},{"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":"2608.27513","title":"DAMP: Decay-Aware Mixed-Precision Recurrent-State Quantization","created":"2026-08-27","cited_by_count":6,"area":"inference"},{"id":"2604.18547","title":"FUSE: Ensembling Verifiers with Zero Labeled Data","created":"2026-04-20","cited_by_count":4,"area":null},{"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":"2604.04898","title":"QED-Nano: Teaching a Tiny Model to Prove Hard Theorems","created":"2026-04-06","cited_by_count":3,"area":null},{"id":"2605.10379","title":"Not All Proofs Are Equal: Evaluating LLM Proof Quality Beyond Correctness","created":"2026-05-11","cited_by_count":3,"area":null},{"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":"2601.01739","title":"K-EXAONE Technical Report","created":"2026-01-05","cited_by_count":2,"area":null},{"id":"2602.01274","title":"PACER: Blockwise Pre-verification for Speculative Decoding with Adaptive Length","created":"2026-02-01","cited_by_count":2,"area":"inference"},{"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.20629","title":"Specialize Roles, Mix Deployments: Pushing the Cost-Accuracy Frontier of LLM Agent Teams","created":"2026-05-28","cited_by_count":2,"area":"agents"},{"id":"2608.01662","title":"LongCat Sparse Attention: Taming the Lightning via Streaming-aware Hierarchical Cross-Layer Indexing","created":"2026-08-03","cited_by_count":2,"area":null},{"id":"2608.30386","title":"DASC: Decay-Aware State Compression for Hybrid Linear-Attention Serving","created":"2026-08-31","cited_by_count":2,"area":null},{"id":"2603.03352","title":"Perfect score on IPhO 2025 theory by Gemini agent","created":"2026-02-26","cited_by_count":1,"area":null},{"id":"2606.04244","title":"VAMPS: Visual-Assisted Mathematical Problem Solving Benchmark","created":"2026-06-02","cited_by_count":1,"area":"mllm"},{"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":"2606.13782","title":"MA-ProofBench: A Two-Tiered Evaluation of LLMs for Theorem Proving in Mathematical Analysis","created":"2026-06-11","cited_by_count":1,"area":null},{"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.00004","title":"Cost-Effective Automated Judging of Natural-Language Mathematical Proofs","created":"2026-05-29","cited_by_count":1,"area":"lr"},{"id":"2609.38147","title":"Thinking Before Thinking: Scaling Agentic Inference Through Meta-Reasoning","created":"2026-09-29","cited_by_count":1,"area":"agents"},{"id":"2602.11674","title":"Benchmark Health Index: A Systematic Framework for Benchmarking the Benchmarks of LLMs","created":"2026-02-12","cited_by_count":0,"area":null},{"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":"2606.15258","title":"Mask-Proof: An LLM-based Automated Data Curation Pipeline on Mathematical Proofs","created":"2026-06-13","cited_by_count":0,"area":null},{"id":"2607.05198","title":"Noisy-Channel Minimum Bayes Risk Decoding","created":"2026-07-06","cited_by_count":0,"area":null},{"id":"2607.11849","title":"AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification","created":"2026-07-13","cited_by_count":0,"area":null},{"id":"2608.02101","title":"Cross-Domain Hybrid OPD for Generalizable Search Agents","created":"2026-08-03","cited_by_count":0,"area":"lr"},{"id":"2608.04505","title":"K-EXAONE 2.0 Technical Report","created":"2026-08-05","cited_by_count":0,"area":"moe"},{"id":"2608.06933","title":"Ask-E: An Environment for Calibrated Question Generation","created":"2026-08-07","cited_by_count":0,"area":null},{"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.26334","title":"ProofEvolve: Neuro-Symbolic Evolution for Formal Automated Theorem Proving","created":"2026-08-26","cited_by_count":0,"area":null},{"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.01386","title":"When Tokenization is Secretly Output Supervision","created":"2026-09-01","cited_by_count":0,"area":null},{"id":"2609.10712","title":"An Open Recipe for IMO Gold: Training Nemotron for Olympiad Mathematics","created":"2026-09-09","cited_by_count":0,"area":null},{"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.13356","title":"ZGCM-1: A Fully Open and Extremely Efficient Foundation Model for Math and Agentic Search","created":"2026-09-11","cited_by_count":0,"area":"agents"},{"id":"2609.33642","title":"Learning to Learn from Context: Synthetic Training from Perturbed Public Documents","created":"2026-09-27","cited_by_count":0,"area":null},{"id":"2609.35561","title":"RSI-Master: Structuring Experiments to Guide Autonomous Model Improvement","created":"2026-09-28","cited_by_count":0,"area":null},{"id":"2609.39247","title":"Trust the Critic More","created":"2026-09-30","cited_by_count":0,"area":null},{"id":"2609.39632","title":"Towards Better Exploration in Sequential Test-Time Scaling","created":"2026-09-30","cited_by_count":0,"area":"lr"},{"id":"2610.02525","title":"Learning What to Investigate Next: Meta-Reasoning for Long-Horizon Research Agents","created":"2026-10-01","cited_by_count":0,"area":"agents"},{"id":"2610.13991","title":"Predict Before You Modify: Learning Improvement Dynamics for Self-Evolving Agents","created":"2026-09-26","cited_by_count":0,"area":null},{"id":"2610.13996","title":"Splicing Hints into Reasoning Traces: Learning from Demonstrator Failures","created":"2026-09-26","cited_by_count":0,"area":"lr"},{"id":"2610.17697","title":"LeanPRM: Lean-Grounded Process Supervision for Natural Language Proof Verification","created":"2026-10-13","cited_by_count":0,"area":null},{"id":"2610.18089","title":"One-Sided Verification Under Limited Expert Review","created":"2026-10-13","cited_by_count":0,"area":null}],"next_cursor":null}