{"total":27,"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":"2603.28052","title":"Meta-Harness: End-to-End Optimization of Model Harnesses","created":"2026-03-30","cited_by_count":309,"area":null},{"id":"2603.20633","title":"Seed1.8 Model Card: Towards Generalized Real-World Agency","created":"2026-03-21","cited_by_count":50,"area":null},{"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.18547","title":"FUSE: Ensembling Verifiers with Zero Labeled Data","created":"2026-04-20","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":"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":"2601.01739","title":"K-EXAONE Technical Report","created":"2026-01-05","cited_by_count":2,"area":null},{"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.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":"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":"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.06933","title":"Ask-E: An Environment for Calibrated Question Generation","created":"2026-08-07","cited_by_count":0,"area":null},{"id":"2608.26334","title":"ProofEvolve: Neuro-Symbolic Evolution for Formal Automated Theorem Proving","created":"2026-08-26","cited_by_count":0,"area":null},{"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.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":"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.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}