{"list":"other","total":72,"rows":[{"id":"2303.08774","title":"GPT-4 Technical Report","created":"2023-03-15","cited_by_count":18396},{"id":"1707.06347","title":"Proximal Policy Optimization Algorithms","created":"2017-07-20","cited_by_count":15215},{"id":"1503.02531","title":"Distilling the Knowledge in a Neural Network","created":"2015-03-09","cited_by_count":10324},{"id":"2110.14168","title":"Training Verifiers to Solve Math Word Problems","created":"2021-10-27","cited_by_count":10109},{"id":"2501.12948","title":"DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning","created":"2025-01-22","cited_by_count":6330},{"id":"1910.13461","title":"BART: Denoising Sequence-to-Sequence Pre-training for Natural Language Generation, Translation, and Comprehension","created":"2019-10-29","cited_by_count":5893},{"id":"2502.13923","title":"Qwen2.5-VL Technical Report","created":"2025-02-19","cited_by_count":5587},{"id":"2409.12191","title":"Qwen2-VL: Enhancing Vision-Language Model's Perception of the World at Any Resolution","created":"2024-09-18","cited_by_count":4234},{"id":"2311.12022","title":"GPQA: A Graduate-Level Google-Proof Q&A Benchmark","created":"2023-11-20","cited_by_count":2879},{"id":"1909.11942","title":"ALBERT: A Lite BERT for Self-supervised Learning of Language Representations","created":"2019-09-26","cited_by_count":2790},{"id":"1412.3555","title":"Empirical Evaluation of Gated Recurrent Neural Networks on Sequence Modeling","created":"2014-12-11","cited_by_count":2367},{"id":"2408.03314","title":"Scaling LLM Test-Time Compute Optimally can be More Effective than Scaling Model Parameters","created":"2024-08-06","cited_by_count":1986},{"id":"2305.14325","title":"Improving Factuality and Reasoning in Language Models through Multiagent Debate","created":"2023-05-23","cited_by_count":1784},{"id":"1609.08144","title":"Google's Neural Machine Translation System: Bridging the Gap between Human and Machine Translation","created":"2016-09-26","cited_by_count":1475},{"id":"2501.19393","title":"s1: Simple test-time scaling","created":"2025-01-31","cited_by_count":1341},{"id":"2501.12599","title":"Kimi k1.5: Scaling Reinforcement Learning with LLMs","created":"2025-01-22","cited_by_count":1210},{"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":"2407.21787","title":"Large Language Monkeys: Scaling Inference Compute with Repeated Sampling","created":"2024-07-31","cited_by_count":991},{"id":"2211.14275","title":"Solving math word problems with process- and outcome-based feedback","created":"2022-11-25","cited_by_count":901},{"id":"2103.07191","title":"Are NLP Models really able to Solve Simple Math Word Problems?","created":"2021-03-12","cited_by_count":878},{"id":"2506.13131","title":"AlphaEvolve: A coding agent for scientific and algorithmic discovery","created":"2025-06-16","cited_by_count":867},{"id":"2402.01680","title":"Large Language Model based Multi-Agents: A Survey of Progress and Challenges","created":"2024-01-21","cited_by_count":769},{"id":"2304.06364","title":"AGIEval: A Human-Centric Benchmark for Evaluating Foundation Models","created":"2023-04-13","cited_by_count":716},{"id":"1905.13319","title":"MathQA: Towards Interpretable Math Word Problem Solving with Operation-Based Formalisms","created":"2019-05-30","cited_by_count":662},{"id":"1705.04146","title":"Program Induction by Rationale Generation : Learning to Solve and Explain Algebraic Word Problems","created":"2017-05-11","cited_by_count":650},{"id":"2406.06592","title":"Improve Mathematical Reasoning in Language Models by Automated Process Supervision","created":"2024-06-05","cited_by_count":441},{"id":"2406.04692","title":"Mixture-of-Agents Enhances Large Language Model Capabilities","created":"2024-06-07","cited_by_count":438},{"id":"2409.12917","title":"Training Language Models to Self-Correct via Reinforcement Learning","created":"2024-09-19","cited_by_count":426},{"id":"2109.00110","title":"MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics","created":"2021-08-31","cited_by_count":391},{"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":"1608.01413","title":"Solving General Arithmetic Word Problems","created":"2016-08-04","cited_by_count":360},{"id":"2503.07365","title":"MM-Eureka: Exploring the Frontiers of Multimodal Reasoning with Rule-based Reinforcement Learning","created":"2025-03-10","cited_by_count":303},{"id":"2403.09629","title":"Quiet-STaR: Language Models Can Teach Themselves to Think Before Speaking","created":"2024-03-14","cited_by_count":301},{"id":"2501.03262","title":"REINFORCE++: Stabilizing Critic-Free Policy Optimization with Global Advantage Normalization","created":"2025-01-04","cited_by_count":241},{"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":"2312.11370","title":"G-LLaVA: Solving Geometric Problem with Multi-Modal Large Language Model","created":"2023-12-18","cited_by_count":210},{"id":"2302.12433","title":"ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics","created":"2023-02-24","cited_by_count":192},{"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":"2502.07640","title":"Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving","created":"2025-02-11","cited_by_count":133},{"id":"2407.08739","title":"MAVIS: Mathematical Visual Instruction Tuning with an Automatic Data Engine","created":"2024-07-11","cited_by_count":113},{"id":"2306.16636","title":"CMATH: Can Your Language Model Pass Chinese Elementary School Math Test?","created":"2023-06-29","cited_by_count":90},{"id":"2109.03034","title":"Generate & Rank: A Multi-task Framework for Math Word Problems","created":"2021-09-07","cited_by_count":82},{"id":"2502.14739","title":"SuperGPQA: Scaling LLM Evaluation across 285 Graduate Disciplines","created":"2025-02-20","cited_by_count":79},{"id":"2511.02864","title":"Mathematical exploration and discovery at scale","created":"2025-11-03","cited_by_count":77},{"id":"2009.11506","title":"Ape210K: A Large-Scale and Template-Rich Dataset of Math Word Problems","created":"2020-09-24","cited_by_count":60},{"id":"2404.12534","title":"Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean","created":"2024-04-18","cited_by_count":58},{"id":"2510.01346","title":"Aristotle: IMO-level Automated Theorem Proving","created":"2025-10-01","cited_by_count":58},{"id":"1811.05632","title":"Translating a Math Word Problem to an Expression Tree","created":"2018-11-14","cited_by_count":57},{"id":"1811.00720","title":"Semantically-Aligned Equation Generation for Solving and Reasoning Math Word Problems","created":"2018-11-02","cited_by_count":49},{"id":"2506.05331","title":"MINT-CoT: Enabling Interleaved Visual Tokens in Mathematical Chain-of-Thought Reasoning","created":"2025-06-05","cited_by_count":49},{"id":"2502.19411","title":"Code to Think, Think to Code: A Survey on Code-Enhanced Reasoning and Reasoning-Driven Code Intelligence in LLMs","created":"2025-02-26","cited_by_count":47},{"id":"2602.10177","title":"Towards Autonomous Mathematics Research","created":"2026-02-10","cited_by_count":40},{"id":"2107.01431","title":"Neural-Symbolic Solver for Math Word Problems with Auxiliary Tasks","created":"2021-07-03","cited_by_count":38},{"id":"2107.13435","title":"MWP-BERT: Numeracy-Augmented Pre-training for Math Word Problem Solving","created":"2021-07-28","cited_by_count":32},{"id":"2406.07222","title":"Reliable Evaluation and Benchmarks for Statement Autoformalization","created":"2024-06-11","cited_by_count":32},{"id":"2004.13781","title":"Graph-to-Tree Neural Networks for Learning Structured Input-Output Translation with Applications to Semantic Parsing and Math Word Problem","created":"2020-04-07","cited_by_count":31},{"id":"2605.06651","title":"AI co-mathematician: Accelerating mathematicians with agentic AI","created":"2026-05-07","cited_by_count":17},{"id":"2010.01556","title":"Reverse Operation based Data Augmentation for Solving Math Word Problems","created":"2020-10-04","cited_by_count":15},{"id":"2505.23381","title":"AutoGPS: Automated Geometry Problem Solving via Multimodal Formalization and Deductive Reasoning","created":"2025-05-29","cited_by_count":14},{"id":"1910.06571","title":"Text2Math: End-to-end Parsing Text into Math Expressions","created":"2019-10-15","cited_by_count":13},{"id":"2109.13112","title":"Recall and Learn: A Memory-augmented Solver for Math Word Problems","created":"2021-09-27","cited_by_count":13},{"id":"2404.06405","title":"Wu's Method can Boost Symbolic AI to Rival Silver Medalists and AlphaGeometry to Outperform Gold Medalists at IMO Geometry","created":"2024-04-09","cited_by_count":11},{"id":"1609.08824","title":"Equation Parsing: Mapping Sentences to Grounded Equations","created":"2016-09-28","cited_by_count":9},{"id":"2205.15683","title":"Why are NLP Models Fumbling at Elementary Math? A Survey of Deep Learning based Word Problem Solvers","created":"2022-05-31","cited_by_count":9},{"id":"1908.10924","title":"Solving Math Word Problems with Double-Decoder Transformer","created":"2019-08-28","cited_by_count":7},{"id":"2411.19039","title":"Mars-PO: Multi-Agent Reasoning System Preference Optimization","created":"2024-11-28","cited_by_count":3},{"id":"2501.02599","title":"Empowering Bengali Education with AI: Solving Bengali Math Word Problems through Transformer Models","created":"2025-01-05","cited_by_count":3},{"id":"2601.09667","title":"Collaborative Multi-Agent Test-Time Reinforcement Learning for Reasoning","created":"2026-01-14","cited_by_count":3},{"id":"2601.16218","title":"M3Kang: Evaluating Multilingual Multimodal Mathematical Reasoning in Vision-Language Models","created":"2026-01-03","cited_by_count":2},{"id":"2201.05704","title":"Erd\\H{o}s' minimum overlap problem","created":"2022-01-14","cited_by_count":1},{"id":"2604.00890","title":"Beyond Symbolic Solving: Multi Chain-of-Thought Voting for Geometric Reasoning in Large Language Models","created":"2026-04-01","cited_by_count":1}],"next_cursor":null}