{"list":"other","total":194,"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":"2307.09288","title":"Llama 2: Open Foundation and Fine-Tuned Chat Models","created":"2023-07-18","cited_by_count":13028},{"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":"2505.09388","title":"Qwen3 Technical Report","created":"2025-05-14","cited_by_count":8820},{"id":"2210.03629","title":"ReAct: Synergizing Reasoning and Acting in Language Models","created":"2022-10-06","cited_by_count":8695},{"id":"2107.03374","title":"Evaluating Large Language Models Trained on Code","created":"2021-07-07","cited_by_count":8320},{"id":"2009.03300","title":"Measuring Massive Multitask Language Understanding","created":"2020-09-07","cited_by_count":7963},{"id":"2203.11171","title":"Self-Consistency Improves Chain of Thought Reasoning in Language Models","created":"2022-03-21","cited_by_count":5708},{"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":"1803.05457","title":"Think you have Solved Question Answering? Try ARC, the AI2 Reasoning Challenge","created":"2018-03-14","cited_by_count":4886},{"id":"2205.11916","title":"Large Language Models are Zero-Shot Reasoners","created":"2022-05-24","cited_by_count":4374},{"id":"2303.11366","title":"Reflexion: Language Agents with Verbal Reinforcement Learning","created":"2023-03-20","cited_by_count":4276},{"id":"2302.04761","title":"Toolformer: Language Models Can Teach Themselves to Use Tools","created":"2023-02-09","cited_by_count":4182},{"id":"2507.06261","title":"Gemini 2.5: Pushing the Frontier with Advanced Reasoning, Multimodality, Long Context, and Next Generation Agentic Capabilities","created":"2025-07-07","cited_by_count":3796},{"id":"2305.20050","title":"Let's Verify Step by Step","created":"2023-05-31","cited_by_count":3789},{"id":"2303.17651","title":"Self-Refine: Iterative Refinement with Self-Feedback","created":"2023-03-30","cited_by_count":3442},{"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":"2305.10601","title":"Tree of Thoughts: Deliberate Problem Solving with Large Language Models","created":"2023-05-17","cited_by_count":3211},{"id":"2503.14476","title":"DAPO: An Open-Source LLM Reinforcement Learning System at Scale","created":"2025-03-18","cited_by_count":2810},{"id":"2207.05221","title":"Language Models (Mostly) Know What They Know","created":"2022-07-11","cited_by_count":1856},{"id":"2310.02255","title":"MathVista: Evaluating Mathematical Reasoning of Foundation Models in Visual Contexts","created":"2023-10-03","cited_by_count":1614},{"id":"2311.05232","title":"A Survey on Hallucination in Large Language Models: Principles, Taxonomy, Challenges, and Open Questions","created":"2023-11-09","cited_by_count":1601},{"id":"2206.14858","title":"Solving Quantitative Reasoning Problems with Language Models","created":"2022-06-29","cited_by_count":1392},{"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":"2409.12122","title":"Qwen2.5-Math Technical Report: Toward Mathematical Expert Model via Self-Improvement","created":"2024-09-18","cited_by_count":1090},{"id":"2211.12588","title":"Program of Thoughts Prompting: Disentangling Computation from Reasoning for Numerical Reasoning Tasks","created":"2022-11-22","cited_by_count":1076},{"id":"2304.05128","title":"Teaching Large Language Models to Self-Debug","created":"2023-04-11","cited_by_count":988},{"id":"2203.14465","title":"STaR: Bootstrapping Reasoning With Reasoning","created":"2022-03-28","cited_by_count":940},{"id":"2312.08935","title":"Math-Shepherd: Verify and Reinforce LLMs Step-by-step without Human Annotations","created":"2023-12-14","cited_by_count":928},{"id":"2211.14275","title":"Solving math word problems with process- and outcome-based feedback","created":"2022-11-25","cited_by_count":901},{"id":"2308.09687","title":"Graph of Thoughts: Solving Elaborate Problems with Large Language Models","created":"2023-08-18","cited_by_count":886},{"id":"2506.13131","title":"AlphaEvolve: A coding agent for scientific and algorithmic discovery","created":"2025-06-16","cited_by_count":867},{"id":"2305.14992","title":"Reasoning with Language Model is Planning with World Model","created":"2023-05-24","cited_by_count":861},{"id":"2302.09664","title":"Semantic Uncertainty: Linguistic Invariances for Uncertainty Estimation in Natural Language Generation","created":"2023-02-19","cited_by_count":819},{"id":"2309.12284","title":"MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Models","created":"2023-09-21","cited_by_count":735},{"id":"2210.03493","title":"Automatic Chain of Thought Prompting in Large Language Models","created":"2022-10-07","cited_by_count":688},{"id":"2211.10435","title":"PAL: Program-aided Language Models","created":"2022-11-18","cited_by_count":652},{"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":"2403.14624","title":"MathVerse: Does Your Multi-modal LLM Truly See the Diagrams in Visual Math Problems?","created":"2024-03-21","cited_by_count":586},{"id":"2310.04406","title":"Language Agent Tree Search Unifies Reasoning Acting and Planning in Language Models","created":"2023-10-06","cited_by_count":574},{"id":"2305.04091","title":"Plan-and-Solve Prompting: Improving Zero-Shot Chain-of-Thought Reasoning by Large Language Models","created":"2023-05-06","cited_by_count":560},{"id":"2308.08998","title":"Reinforced Self-Training (ReST) for Language Modeling","created":"2023-08-17","cited_by_count":500},{"id":"2406.06592","title":"Improve Mathematical Reasoning in Language Models by Automated Process Supervision","created":"2024-06-05","cited_by_count":441},{"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":"2109.00110","title":"MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics","created":"2021-08-31","cited_by_count":391},{"id":"2009.03393","title":"Generative Language Modeling for Automated Theorem Proving","created":"2020-09-07","cited_by_count":388},{"id":"2210.00720","title":"Complexity-Based Prompting for Multi-Step Reasoning","created":"2022-10-03","cited_by_count":388},{"id":"2310.10631","title":"Llemma: An Open Language Model For Mathematics","created":"2023-10-16","cited_by_count":388},{"id":"2105.04165","title":"Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning","created":"2021-05-10","cited_by_count":383},{"id":"2312.06585","title":"Beyond Human Data: Scaling Self-Training for Problem-Solving with Language Models","created":"2023-12-11","cited_by_count":349},{"id":"2505.03335","title":"Absolute Zero: Reinforced Self-play Reasoning with Zero Data","created":"2025-05-06","cited_by_count":344},{"id":"2212.09561","title":"Large Language Models are Better Reasoners with Self-Verification","created":"2022-12-19","cited_by_count":307},{"id":"2210.12283","title":"Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs","created":"2022-10-21","cited_by_count":291},{"id":"2506.14245","title":"Reinforcement Learning with Verifiable Rewards Implicitly Incentivizes Correct Reasoning in Base LLMs","created":"2025-06-17","cited_by_count":289},{"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":"2504.05118","title":"VAPO: Efficient and Reliable Reinforcement Learning for Advanced Reasoning Tasks","created":"2025-04-07","cited_by_count":285},{"id":"2309.17452","title":"ToRA: A Tool-Integrated Reasoning Agent for Mathematical Problem Solving","created":"2023-09-29","cited_by_count":282},{"id":"2110.01691","title":"AI Chains: Transparent and Controllable Human-AI Interaction by Chaining Large Language Model Prompts","created":"2021-10-04","cited_by_count":268},{"id":"2301.13867","title":"Mathematical Capabilities of ChatGPT","created":"2023-01-31","cited_by_count":268},{"id":"2205.12615","title":"Autoformalization with Large Language Models","created":"2022-05-25","cited_by_count":263},{"id":"2411.04872","title":"FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI","created":"2024-11-07","cited_by_count":243},{"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":"2105.14517","title":"GeoQA: A Geometric Question Answering Benchmark Towards Multimodal Numerical Reasoning","created":"2021-05-30","cited_by_count":228},{"id":"2508.05004","title":"R-Zero: Self-Evolving Reasoning LLM from Zero Data","created":"2025-08-07","cited_by_count":228},{"id":"2309.15325","title":"Neural Operators for Accelerating Scientific Simulations and Design","created":"2023-09-27","cited_by_count":221},{"id":"2312.11370","title":"G-LLaVA: Solving Geometric Problem with Multi-Modal Large Language Model","created":"2023-12-18","cited_by_count":210},{"id":"2205.11491","title":"HyperTree Proof Search for Neural Theorem Proving","created":"2022-05-23","cited_by_count":197},{"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":"2504.11354","title":"Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning","created":"2025-04-15","cited_by_count":180},{"id":"2407.11214","title":"PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition","created":"2024-07-15","cited_by_count":165},{"id":"2310.03731","title":"MathCoder: Seamless Code Integration in LLMs for Enhanced Mathematical Reasoning","created":"2023-10-05","cited_by_count":156},{"id":"2508.03613","title":"Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction","created":"2025-08-05","cited_by_count":154},{"id":"2407.00215","title":"LLM Critics Help Catch LLM Bugs","created":"2024-06-28","cited_by_count":147},{"id":"2402.10176","title":"OpenMathInstruct-1: A 1.8 Million Math Instruction Tuning Dataset","created":"2024-02-15","cited_by_count":143},{"id":"2202.01344","title":"Formal Mathematics Statement Curriculum Learning","created":"2022-02-03","cited_by_count":142},{"id":"2406.17294","title":"Math-LLaVA: Bootstrapping Mathematical Reasoning for Multimodal Large Language Models","created":"2024-06-25","cited_by_count":133},{"id":"2502.07640","title":"Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving","created":"2025-02-11","cited_by_count":133},{"id":"2102.06203","title":"Proof Artifact Co-training for Theorem Proving with Language Models","created":"2021-02-11","cited_by_count":132},{"id":"2306.03872","title":"Deductive Verification of Chain-of-Thought Reasoning","created":"2023-06-06","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":"2303.04910","title":"Baldur: Whole-Proof Generation and Repair with Large Language Models","created":"2023-03-08","cited_by_count":119},{"id":"2402.06332","title":"InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning","created":"2024-02-09","cited_by_count":119},{"id":"1905.09381","title":"Learning to Prove Theorems via Interacting with Proof Assistants","created":"2019-05-21","cited_by_count":109},{"id":"2310.00656","title":"LEGO-Prover: Neural Theorem Proving with Growing Libraries","created":"2023-10-01","cited_by_count":109},{"id":"2507.23726","title":"Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving","created":"2025-07-31","cited_by_count":101},{"id":"2205.10893","title":"Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers","created":"2022-05-22","cited_by_count":98},{"id":"2502.03544","title":"Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2","created":"2025-02-05","cited_by_count":97},{"id":"2405.12205","title":"Metacognitive Capabilities of LLMs: An Exploration in Mathematical Problem Solving","created":"2024-05-20","cited_by_count":84},{"id":"2502.03438","title":"BFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem Proving","created":"2025-02-05","cited_by_count":84},{"id":"2310.04353","title":"An In-Context Learning Agent for Formal Theorem-Proving","created":"2023-10-06","cited_by_count":82},{"id":"2502.00212","title":"STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving","created":"2025-01-31","cited_by_count":79},{"id":"2511.02864","title":"Mathematical exploration and discovery at scale","created":"2025-11-03","cited_by_count":77},{"id":"2311.04254","title":"Everything of Thoughts: Defying the Law of Penrose Triangle for Thought Generation","created":"2023-11-07","cited_by_count":74}],"next_cursor":"100"}