{"total":26,"rows":[{"id":"2605.00674","title":"Beyond Benchmarks: MathArena as an Evaluation Platform for Mathematics with LLMs","created":"2026-05-01","cited_by_count":137,"area":null},{"id":"2512.17260","title":"Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience","created":"2025-12-19","cited_by_count":44,"area":null},{"id":"2601.02872","title":"LongBench Pro: A More Realistic and Comprehensive Bilingual Long-Context Evaluation Benchmark","created":"2026-01-06","cited_by_count":19,"area":null},{"id":"2604.26256","title":"DORA: A Scalable Asynchronous Reinforcement Learning System for Language Model Training","created":"2026-04-29","cited_by_count":14,"area":null},{"id":"2602.08711","title":"TimeChat-Captioner: Scripting Multi-Scene Videos with Time-Aware and Structural Audio-Visual Captions","created":"2026-02-09","cited_by_count":11,"area":null},{"id":"2604.06802","title":"Riemann-Bench: A Benchmark for Moonshot Mathematics","created":"2026-04-08","cited_by_count":8,"area":null},{"id":"2607.11172","title":"STAMP: Provenance-Guided Credit Assignment for Deep Search Agents","created":"2026-07-13","cited_by_count":5,"area":null},{"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":"2606.08625","title":"From Holistic Evaluation to Structured Criteria: Rubrics Across the Evolving LLM Landscape","created":"2026-06-07","cited_by_count":4,"area":null},{"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":"2606.12360","title":"Anatomy of Post-Training: Using Interpretability to Characterize Data and Shape the Learning Signal","created":"2026-06-10","cited_by_count":2,"area":null},{"id":"2606.24892","title":"ReviewGuard: Aligning LLM-Assisted Peer Review with Long-Term Scientific Impact","created":"2026-05-29","cited_by_count":2,"area":null},{"id":"2608.12004","title":"RealisticTritonBench: A Benchmark for Triton-Kernel Generation in Real-World AI Frameworks","created":"2026-08-12","cited_by_count":2,"area":null},{"id":"2608.16977","title":"The Problem Is the Problem: Towards Scalable Mathematical Discovery","created":"2026-08-17","cited_by_count":2,"area":null},{"id":"2602.10609","title":"Online Causal Kalman Filtering for Stable and Effective Policy Optimization","created":"2026-02-11","cited_by_count":1,"area":null},{"id":"2512.13764","title":"Mathematics and Coding are Universal AI Benchmarks","created":"2025-12-15","cited_by_count":0,"area":null},{"id":"2512.14761","title":"CAPE: Capability Achievement via Policy Execution","created":"2025-12-15","cited_by_count":0,"area":null},{"id":"2602.08708","title":"Intermediate Results on the Complexity of STRIPS$_{1}^{1}$","created":"2026-02-09","cited_by_count":0,"area":null},{"id":"2605.05711","title":"Closing the Loop: Unified 3D Scene Generation and Immersive Interaction via LLM-RL Coupling","created":"2026-05-07","cited_by_count":0,"area":null},{"id":"2605.28109","title":"Long Live The Balance: Information Bottleneck Driven Tree-based Policy Optimization","created":"2026-05-27","cited_by_count":0,"area":null},{"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.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":"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.11018","title":"Defining AI Agents: A Compendium of Criteria, Metrics, and Benchmarks","created":"2026-09-10","cited_by_count":0,"area":null},{"id":"2609.35701","title":"MeqMuon: Matrix-Equilibrating Muon for LLM Pretraining","created":"2026-09-28","cited_by_count":0,"area":null},{"id":"2610.17697","title":"LeanPRM: Lean-Grounded Process Supervision for Natural Language Proof Verification","created":"2026-10-13","cited_by_count":0,"area":null}],"next_cursor":null}