{"list":"other","total":78,"rows":[{"id":"1910.10683","title":"Exploring the Limits of Transfer Learning with a Unified Text-to-Text Transformer","created":"2019-10-23","cited_by_count":14599},{"id":"1609.07843","title":"Pointer Sentinel Mixture Models","created":"2016-09-26","cited_by_count":3096},{"id":"1506.02626","title":"Learning both Weights and Connections for Efficient Neural Networks","created":"2015-06-08","cited_by_count":2031},{"id":"2210.17323","title":"GPTQ: Accurate Post-Training Quantization for Generative Pre-trained Transformers","created":"2022-10-31","cited_by_count":1919},{"id":"2301.00774","title":"SparseGPT: Massive Language Models Can Be Accurately Pruned in One-Shot","created":"2023-01-02","cited_by_count":1121},{"id":"2408.06292","title":"The AI Scientist: Towards Fully Automated Open-Ended Scientific Discovery","created":"2024-08-12","cited_by_count":1071},{"id":"2506.13131","title":"AlphaEvolve: A coding agent for scientific and algorithmic discovery","created":"2025-06-16","cited_by_count":867},{"id":"2306.11695","title":"A Simple and Effective Pruning Approach for Large Language Models","created":"2023-06-20","cited_by_count":800},{"id":"1905.11481","title":"AI Feynman: a Physics-Inspired Method for Symbolic Regression","created":"2019-05-27","cited_by_count":548},{"id":"2306.15626","title":"LeanDojo: Theorem Proving with Retrieval-Augmented Language Models","created":"2023-06-27","cited_by_count":427},{"id":"2501.04227","title":"Agent Laboratory: Using LLM Agents as Research Assistants","created":"2025-01-08","cited_by_count":425},{"id":"2504.08066","title":"The AI Scientist-v2: Workshop-Level Automated Scientific Discovery via Agentic Tree Search","created":"2025-04-10","cited_by_count":422},{"id":"2109.00110","title":"MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics","created":"2021-08-31","cited_by_count":391},{"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":"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":"2410.05080","title":"ScienceAgentBench: Toward Rigorous Assessment of Language Agents for Data-Driven Scientific Discovery","created":"2024-10-07","cited_by_count":235},{"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":"2104.08378","title":"Accelerating Sparse Deep Neural Networks","created":"2021-04-16","cited_by_count":223},{"id":"2509.19349","title":"ShinkaEvolve: Towards Open-Ended And Sample-Efficient Program Evolution","created":"2025-09-17","cited_by_count":174},{"id":"2407.11214","title":"PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition","created":"2024-07-15","cited_by_count":165},{"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":"2504.19678","title":"From LLM Reasoning to Autonomous AI Agents: A Comprehensive Review","created":"2025-04-28","cited_by_count":149},{"id":"2310.00656","title":"LEGO-Prover: Neural Theorem Proving with Growing Libraries","created":"2023-10-01","cited_by_count":109},{"id":"2502.03544","title":"Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2","created":"2025-02-05","cited_by_count":97},{"id":"2505.13259","title":"From Automation to Autonomy: A Survey on Large Language Models in Scientific Discovery","created":"2025-05-19","cited_by_count":93},{"id":"2510.05491","title":"NorMuon: Making Muon more efficient and scalable","created":"2025-10-07","cited_by_count":84},{"id":"2507.15855","title":"Winning Gold at IMO 2025 with a Model-Agnostic Verification-and-Refinement Pipeline","created":"2025-07-21","cited_by_count":82},{"id":"2503.18102","title":"AgentRxiv: Towards Collaborative Autonomous Research","created":"2025-03-23","cited_by_count":72},{"id":"2509.01440","title":"Benchmarking Optimizers for Large Language Model Pretraining","created":"2025-09-01","cited_by_count":68},{"id":"2507.11005","title":"AdaMuon: Adaptive Muon Optimizer","created":"2025-07-15","cited_by_count":67},{"id":"2511.23473","title":"ThetaEvolve: Test-time Learning on Open Problems","created":"2025-11-28","cited_by_count":64},{"id":"2602.20133","title":"AdaEvolve: Adaptive LLM Driven Zeroth-Order Optimization","created":"2026-02-23","cited_by_count":60},{"id":"2407.03203","title":"TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts","created":"2024-07-03","cited_by_count":59},{"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":"2503.22708","title":"CodeScientist: End-to-End Semi-Automated Scientific Discovery with Code-based Experimentation","created":"2025-03-20","cited_by_count":57},{"id":"2510.21652","title":"AstaBench: Rigorous Benchmarking of AI Agents with a Scientific Research Suite","created":"2025-10-24","cited_by_count":53},{"id":"2402.08957","title":"MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data","created":"2024-02-14","cited_by_count":43},{"id":"2511.16072","title":"Early science acceleration experiments with GPT-5","created":"2025-11-20","cited_by_count":41},{"id":"2410.06209","title":"LeanAgent: Lifelong Learning for Formal Theorem Proving","created":"2024-10-08","cited_by_count":35},{"id":"2505.05758","title":"APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning","created":"2025-05-09","cited_by_count":35},{"id":"2602.05192","title":"First Proof","created":"2026-02-05","cited_by_count":32},{"id":"2505.12575","title":"RealMath: A Continuous Benchmark for Evaluating Language Models on Research-Level Mathematics","created":"2025-05-18","cited_by_count":31},{"id":"2506.21621","title":"The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs","created":"2025-06-23","cited_by_count":30},{"id":"2410.08304","title":"Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers","created":"2024-10-10","cited_by_count":29},{"id":"2602.02919","title":"DeltaEvolve: Accelerating Scientific Discovery through Momentum-Driven Evolution","created":"2026-02-02","cited_by_count":26},{"id":"2502.12065","title":"Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions","created":"2025-02-17","cited_by_count":22},{"id":"2306.16788","title":"Sparse Model Soups: A Recipe for Improved Pruning via Model Averaging","created":"2023-06-29","cited_by_count":20},{"id":"2110.14802","title":"You Are the Best Reviewer of Your Own Papers: An Owner-Assisted Scoring Mechanism","created":"2021-10-27","cited_by_count":19},{"id":"2506.07047","title":"Mathesis: Towards Formal Theorem Proving from Natural Languages","created":"2025-06-08","cited_by_count":18},{"id":"2205.11921","title":"Compression-aware Training of Neural Networks using Frank-Wolfe","created":"2022-05-24","cited_by_count":16},{"id":"2312.15230","title":"PERP: Rethinking the Prune-Retrain Paradigm in the Era of LLMs","created":"2023-12-23","cited_by_count":14},{"id":"2111.00843","title":"How I Learned to Stop Worrying and Love Retraining","created":"2021-11-01","cited_by_count":12},{"id":"2602.16554","title":"MerLean: An Agentic Framework for Autoformalization in Quantum Computation","created":"2026-02-18","cited_by_count":10},{"id":"2407.04405","title":"Discovering physical laws with parallel symbolic enumeration","created":"2024-07-05","cited_by_count":9},{"id":"2411.12527","title":"Human-AI Co-Creativity: Exploring Synergies Across Levels of Creative Collaboration","created":"2024-11-19","cited_by_count":9},{"id":"2306.07277","title":"Mathematical conjecture generation using machine intelligence","created":"2023-06-12","cited_by_count":8},{"id":"2505.23696","title":"Computational Algebra with Attention: Transformer Oracles for Border Basis Algorithms","created":"2025-05-29","cited_by_count":7},{"id":"2510.23476","title":"Human-AI Collaborative Uncertainty Quantification","created":"2025-10-27","cited_by_count":7},{"id":"2511.18828","title":"Solving a Research Problem in Mathematical Statistics with AI Assistance","created":"2025-11-24","cited_by_count":6},{"id":"2602.21545","title":"MUON+: Towards More Effective Muon via One Additional Normalization Step for LLM Pre-training","created":"2026-02-25","cited_by_count":6},{"id":"2510.06261","title":"AlphaApollo: A System for Deep Agentic Reasoning","created":"2025-10-05","cited_by_count":5},{"id":"2510.26647","title":"Accelerating mathematical research with language models: A case study of an interaction with GPT-5-Pro on a convex analysis problem","created":"2025-10-30","cited_by_count":5},{"id":"2412.16177","title":"Mining Math Conjectures from LLMs: A Pruning Approach","created":"2024-12-09","cited_by_count":4},{"id":"2501.18527","title":"Neural Discovery in Mathematics: Do Machines Dream of Colored Planes?","created":"2025-01-30","cited_by_count":4},{"id":"2512.10922","title":"SparseSwaps: Tractable LLM Pruning Mask Refinement at Scale","created":"2025-12-11","cited_by_count":4},{"id":"2602.04378","title":"Lower Bounds for Frank-Wolfe on Strongly Convex Sets","created":"2026-02-04","cited_by_count":4},{"id":"2602.22608","title":"Lower Bounds for Linear Minimization Oracle Methods Optimizing over Strongly Convex Sets","created":"2026-02-26","cited_by_count":4},{"id":"2208.11010","title":"Convex mixed-integer optimization with Frank-Wolfe methods","created":"2022-08-23","cited_by_count":3},{"id":"2512.10317","title":"Translating Informal Proofs into Formal Proofs Using a Chain of States","created":"2025-12-11","cited_by_count":3},{"id":"2010.03069","title":"The Distribution of the Number of Real Solutions to the Power Flow Equations","created":"2020-10-06","cited_by_count":2},{"id":"2508.20236","title":"The Mathematician's Assistant: Integrating AI into Research Practice","created":"2025-08-27","cited_by_count":2},{"id":"2510.13444","title":"Neural Sum-of-Squares: Certifying the Nonnegativity of Polynomials with Transformers","created":"2025-10-15","cited_by_count":2},{"id":"2510.13713","title":"Don't Be Greedy, Just Relax! Pruning LLMs via Frank-Wolfe","created":"2025-10-15","cited_by_count":2},{"id":"2510.26380","title":"AI Mathematician as a Partner in Advancing Mathematical Discovery -- A Case Study in Homogenization Theory","created":"2025-10-30","cited_by_count":2},{"id":"2502.02014","title":"Analytical Lyapunov Function Discovery: An RL-based Generative Approach","created":"2025-02-04","cited_by_count":1},{"id":"2511.07420","title":"Advancing mathematics research with generative AI","created":"2025-09-29","cited_by_count":1}],"next_cursor":null}