{"list":"other","total":58,"rows":[{"id":"2303.08774","title":"GPT-4 Technical Report","created":"2023-03-15","cited_by_count":18396},{"id":"2203.02155","title":"Training language models to follow instructions with human feedback","created":"2022-03-04","cited_by_count":15971},{"id":"1707.06347","title":"Proximal Policy Optimization Algorithms","created":"2017-07-20","cited_by_count":15215},{"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":"2110.14168","title":"Training Verifiers to Solve Math Word Problems","created":"2021-10-27","cited_by_count":10109},{"id":"2402.03300","title":"DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models","created":"2024-02-05","cited_by_count":9379},{"id":"2306.05685","title":"Judging LLM-as-a-Judge with MT-Bench and Chatbot Arena","created":"2023-06-09","cited_by_count":8626},{"id":"2107.03374","title":"Evaluating Large Language Models Trained on Code","created":"2021-07-07","cited_by_count":8320},{"id":"2305.18290","title":"Direct Preference Optimization: Your Language Model is Secretly a Reward Model","created":"2023-05-29","cited_by_count":8065},{"id":"2103.03874","title":"Measuring Mathematical Problem Solving With the MATH Dataset","created":"2021-03-05","cited_by_count":5371},{"id":"2412.15115","title":"Qwen2.5 Technical Report","created":"2024-12-19","cited_by_count":4942},{"id":"2303.11366","title":"Reflexion: Language Agents with Verbal Reinforcement Learning","created":"2023-03-20","cited_by_count":4276},{"id":"2305.20050","title":"Let's Verify Step by Step","created":"2023-05-31","cited_by_count":3789},{"id":"2403.05530","title":"Gemini 1.5: Unlocking multimodal understanding across millions of tokens of context","created":"2024-03-08","cited_by_count":3224},{"id":"2212.08073","title":"Constitutional AI: Harmlessness from AI Feedback","created":"2022-12-15","cited_by_count":3050},{"id":"1904.09751","title":"The Curious Case of Neural Text Degeneration","created":"2019-04-22","cited_by_count":2916},{"id":"2503.14476","title":"DAPO: An Open-Source LLM Reinforcement Learning System at Scale","created":"2025-03-18","cited_by_count":2810},{"id":"2212.10560","title":"Self-Instruct: Aligning Language Models with Self-Generated Instructions","created":"2022-12-20","cited_by_count":2724},{"id":"2409.19256","title":"HybridFlow: A Flexible and Efficient RLHF Framework","created":"2024-09-28","cited_by_count":2057},{"id":"1606.06565","title":"Concrete Problems in AI Safety","created":"2016-06-21","cited_by_count":1642},{"id":"2501.12599","title":"Kimi k1.5: Scaling Reinforcement Learning with LLMs","created":"2025-01-22","cited_by_count":1210},{"id":"2411.15124","title":"Tulu 3: Pushing Frontiers in Open Language Model Post-Training","created":"2024-11-22","cited_by_count":1053},{"id":"2203.14465","title":"STaR: Bootstrapping Reasoning With Reasoning","created":"2022-03-28","cited_by_count":940},{"id":"2211.14275","title":"Solving math word problems with process- and outcome-based feedback","created":"2022-11-25","cited_by_count":901},{"id":"2306.08568","title":"WizardCoder: Empowering Code Large Language Models with Evol-Instruct","created":"2023-06-14","cited_by_count":733},{"id":"2412.08905","title":"Phi-4 Technical Report","created":"2024-12-12","cited_by_count":711},{"id":"2308.09583","title":"WizardMath: Empowering Mathematical Reasoning for Large Language Models via Reinforced Evol-Instruct","created":"2023-08-18","cited_by_count":625},{"id":"2502.03387","title":"LIMO: Less is More for Reasoning","created":"2025-02-05","cited_by_count":498},{"id":"2306.15626","title":"LeanDojo: Theorem Proving with Retrieval-Augmented Language Models","created":"2023-06-27","cited_by_count":427},{"id":"2308.01825","title":"Scaling Relationship on Learning Mathematical Reasoning with Large Language Models","created":"2023-08-03","cited_by_count":427},{"id":"2406.20094","title":"Scaling Synthetic Data Creation with 1,000,000,000 Personas","created":"2024-06-28","cited_by_count":417},{"id":"2504.11536","title":"ReTool: Reinforcement Learning for Strategic Tool Use in LLMs","created":"2025-04-15","cited_by_count":392},{"id":"2009.03393","title":"Generative Language Modeling for Automated Theorem Proving","created":"2020-09-07","cited_by_count":388},{"id":"2501.04519","title":"rStar-Math: Small LLMs Can Master Math Reasoning with Self-Evolved Deep Thinking","created":"2025-01-08","cited_by_count":313},{"id":"2504.21801","title":"DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition","created":"2025-04-30","cited_by_count":287},{"id":"2309.17452","title":"ToRA: A Tool-Integrated Reasoning Agent for Mathematical Problem Solving","created":"2023-09-29","cited_by_count":282},{"id":"2402.01306","title":"KTO: Model Alignment as Prospect Theoretic Optimization","created":"2024-02-02","cited_by_count":264},{"id":"1704.03003","title":"Automated Curriculum Learning for Neural Networks","created":"2017-04-10","cited_by_count":257},{"id":"2408.08152","title":"DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search","created":"2024-08-15","cited_by_count":197},{"id":"2303.08233","title":"NL4Opt Competition: Formulating Optimization Problems Based on Their Natural Language Descriptions","created":"2023-03-14","cited_by_count":135},{"id":"2405.17743","title":"ORLM: A Customizable Framework in Training Large Models for Automated Optimization Modeling","created":"2024-05-28","cited_by_count":124},{"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":"2501.01257","title":"CodeElo: Benchmarking Competition-level Code Generation of LLMs with Human-comparable Elo Ratings","created":"2025-01-02","cited_by_count":115},{"id":"2402.10172","title":"OptiMUS: Scalable Optimization Modeling with (MI)LP Solvers and Large Language Models","created":"2024-02-15","cited_by_count":109},{"id":"2410.13213","title":"LLMOPT: Learning to Define and Solve General Optimization Problems from Scratch","created":"2024-10-17","cited_by_count":102},{"id":"2502.03544","title":"Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2","created":"2025-02-05","cited_by_count":97},{"id":"2504.07128","title":"DeepSeek-R1 Thoughtology: Let's think about LLM Reasoning","created":"2025-04-02","cited_by_count":92},{"id":"2401.08190","title":"MARIO: MAth Reasoning with code Interpreter Output -- A Reproducible Pipeline","created":"2024-01-16","cited_by_count":81},{"id":"2407.09887","title":"OptiBench Meets ReSocratic: Measure and Improve LLMs for Optimization Modeling","created":"2024-07-13","cited_by_count":68},{"id":"2209.15565","title":"Augmenting Operations Research with Auto-Formulation of Optimization Models from Problem Descriptions","created":"2022-09-30","cited_by_count":54},{"id":"2502.11102","title":"OptMATH: A Scalable Bidirectional Data Synthesis Framework for Optimization Modeling","created":"2025-02-16","cited_by_count":49},{"id":"2411.01679","title":"Autoformulation of Mathematical Optimization Models Using LLMs","created":"2024-11-03","cited_by_count":48},{"id":"2503.04625","title":"START: Self-taught Reasoner with Tools","created":"2025-03-06","cited_by_count":47},{"id":"2407.21009","title":"AI-Assisted Generation of Difficult Math Questions","created":"2024-07-30","cited_by_count":37},{"id":"2308.01589","title":"Holy Grail 2.0: From Natural Language to Constraint Models","created":"2023-08-03","cited_by_count":26},{"id":"2407.04078","title":"DotaMath: Decomposition of Thought with Code Assistance and Self-correction for Mathematical Reasoning","created":"2024-07-04","cited_by_count":19},{"id":"2208.14314","title":"Cardinal Optimizer (COPT) User Guide","created":"2022-08-30","cited_by_count":16}],"next_cursor":null}