{"list":"other","total":41,"rows":[{"id":"2407.21783","title":"The Llama 3 Herd of Models","created":"2024-07-31","cited_by_count":14715},{"id":"2201.11903","title":"Chain-of-Thought Prompting Elicits Reasoning in Large Language Models","created":"2022-01-28","cited_by_count":12459},{"id":"2306.05685","title":"Judging LLM-as-a-Judge with MT-Bench and Chatbot Arena","created":"2023-06-09","cited_by_count":8626},{"id":"2309.06180","title":"Efficient Memory Management for Large Language Model Serving with PagedAttention","created":"2023-09-12","cited_by_count":5944},{"id":"2309.16609","title":"Qwen Technical Report","created":"2023-09-28","cited_by_count":3344},{"id":"2503.14476","title":"DAPO: An Open-Source LLM Reinforcement Learning System at Scale","created":"2025-03-18","cited_by_count":2810},{"id":"2409.19256","title":"HybridFlow: A Flexible and Efficient RLHF Framework","created":"2024-09-28","cited_by_count":2057},{"id":"2403.13372","title":"LlamaFactory: Unified Efficient Fine-Tuning of 100+ Language Models","created":"2024-03-20","cited_by_count":1464},{"id":"2501.19393","title":"s1: Simple test-time scaling","created":"2025-01-31","cited_by_count":1341},{"id":"2409.12186","title":"Qwen2.5-Coder Technical Report","created":"2024-09-18","cited_by_count":1203},{"id":"2402.14008","title":"OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scientific Problems","created":"2024-02-21","cited_by_count":1136},{"id":"2305.11206","title":"LIMA: Less Is More for Alignment","created":"2023-05-18","cited_by_count":1100},{"id":"2504.13837","title":"Does Reinforcement Learning Really Incentivize Reasoning Capacity in LLMs Beyond the Base Model?","created":"2025-04-18","cited_by_count":982},{"id":"2109.00110","title":"MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics","created":"2021-08-31","cited_by_count":391},{"id":"2505.07062","title":"Seed1.5-VL Technical Report","created":"2025-05-11","cited_by_count":373},{"id":"2504.20571","title":"Reinforcement Learning for Reasoning in Large Language Models with One Training Example","created":"2025-04-29","cited_by_count":295},{"id":"2504.05118","title":"VAPO: Efficient and Reliable Reinforcement Learning for Advanced Reasoning Tasks","created":"2025-04-07","cited_by_count":285},{"id":"2504.11456","title":"DeepMath-103K: A Large-Scale, Challenging, Decontaminated, and Verifiable Mathematical Dataset for Advancing Reasoning","created":"2025-04-15","cited_by_count":280},{"id":"2205.12615","title":"Autoformalization with Large Language Models","created":"2022-05-25","cited_by_count":263},{"id":"2405.14333","title":"DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data","created":"2024-05-23","cited_by_count":234},{"id":"2505.24864","title":"ProRL: Prolonged Reinforcement Learning Expands Reasoning Boundaries in Large Language Models","created":"2025-05-30","cited_by_count":194},{"id":"2302.12433","title":"ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics","created":"2023-02-24","cited_by_count":192},{"id":"2410.02712","title":"LLaVA-Critic: Learning to Evaluate Multimodal Models","created":"2024-10-03","cited_by_count":134},{"id":"2502.07640","title":"Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving","created":"2025-02-11","cited_by_count":133},{"id":"2406.03847","title":"Lean Workbook: A large-scale Lean problem set formalized from natural language math problems","created":"2024-06-06","cited_by_count":122},{"id":"2503.17407","title":"A Comprehensive Survey on Long Context Language Modeling","created":"2025-03-20","cited_by_count":117},{"id":"2506.06122","title":"Reinforcement Learning Optimization for Large-Scale Learning: An Efficient and User-Friendly Scaling Library","created":"2025-06-06","cited_by_count":101},{"id":"2402.14809","title":"CriticBench: Benchmarking LLMs for Critique-Correct Reasoning","created":"2024-02-22","cited_by_count":88},{"id":"2104.01112","title":"NaturalProofs: Mathematical Theorem Proving in Natural Language","created":"2021-03-24","cited_by_count":81},{"id":"2205.12910","title":"NaturalProver: Grounded Mathematical Proof Generation with Language Models","created":"2022-05-25","cited_by_count":72},{"id":"2305.18438","title":"Reinforcement Learning with Human Feedback: Learning Dynamic Choices via Pessimism","created":"2023-05-29","cited_by_count":69},{"id":"2405.19327","title":"MAP-Neo: Highly Capable and Transparent Bilingual Large Language Model Series","created":"2024-05-29","cited_by_count":67},{"id":"2309.04295","title":"FIMO: A Challenge Formal Dataset for Automated Theorem Proving","created":"2023-09-08","cited_by_count":55},{"id":"2502.19361","title":"Can Large Language Models Detect Errors in Long Chain-of-Thought Reasoning?","created":"2025-02-26","cited_by_count":44},{"id":"2410.09988","title":"HARDMath: A Benchmark Dataset for Challenging Problems in Applied Mathematics","created":"2024-10-13","cited_by_count":32},{"id":"2407.16154","title":"DDK: Distilling Domain Knowledge for Efficient Large Language Models","created":"2024-07-23","cited_by_count":26},{"id":"2412.03205","title":"U-MATH: A University-Level Benchmark for Evaluating Mathematical Skills in LLMs","created":"2024-12-04","cited_by_count":24},{"id":"2410.21157","title":"M2rc-Eval: Massively Multilingual Repository-level Code Completion Evaluation","created":"2024-10-28","cited_by_count":21},{"id":"2505.14268","title":"Think-J: Learning to Think for Generative LLM-as-a-Judge","created":"2025-05-20","cited_by_count":21},{"id":"2502.16614","title":"CodeCriticBench: A Holistic Code Critique Benchmark for Large Language Models","created":"2025-02-23","cited_by_count":14},{"id":"2502.04728","title":"Generating Symbolic World Models via Test-time Scaling of Large Language Models","created":"2025-02-07","cited_by_count":12}],"next_cursor":null}