{"list":"other","total":52,"rows":[{"id":"2505.09388","title":"Qwen3 Technical Report","created":"2025-05-14","cited_by_count":8820},{"id":"2308.08155","title":"AutoGen: Enabling Next-Gen LLM Applications via Multi-Agent Conversation","created":"2023-08-16","cited_by_count":1988},{"id":"2308.00352","title":"MetaGPT: Meta Programming for A Multi-Agent Collaborative Framework","created":"2023-08-01","cited_by_count":1808},{"id":"2206.14858","title":"Solving Quantitative Reasoning Problems with Language Models","created":"2022-06-29","cited_by_count":1392},{"id":"2212.10511","title":"When Not to Trust Language Models: Investigating Effectiveness of Parametric and Non-Parametric Memories","created":"2022-12-20","cited_by_count":1128},{"id":"2506.13131","title":"AlphaEvolve: A coding agent for scientific and algorithmic discovery","created":"2025-06-16","cited_by_count":867},{"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":"2306.15626","title":"LeanDojo: Theorem Proving with Retrieval-Augmented Language Models","created":"2023-06-27","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":"2310.10631","title":"Llemma: An Open Language Model For Mathematics","created":"2023-10-16","cited_by_count":388},{"id":"2210.12283","title":"Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs","created":"2022-10-21","cited_by_count":291},{"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":"2205.11491","title":"HyperTree Proof Search for Neural Theorem Proving","created":"2022-05-23","cited_by_count":197},{"id":"2302.12433","title":"ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics","created":"2023-02-24","cited_by_count":192},{"id":"2312.17617","title":"Large Language Models for Generative Information Extraction: A Survey","created":"2023-12-29","cited_by_count":185},{"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":"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":"2305.05003","title":"Revisiting Relation Extraction in the era of Large Language Models","created":"2023-05-08","cited_by_count":102},{"id":"2507.23726","title":"Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving","created":"2025-07-31","cited_by_count":101},{"id":"2310.04353","title":"An In-Context Learning Agent for Formal Theorem-Proving","created":"2023-10-06","cited_by_count":82},{"id":"1606.04442","title":"DeepMath - Deep Sequence Models for Premise Selection","created":"2016-06-14","cited_by_count":81},{"id":"2104.01112","title":"NaturalProofs: Mathematical Theorem Proving in Natural Language","created":"2021-03-24","cited_by_count":81},{"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":"2509.22819","title":"Hilbert: Recursively Building Formal Proofs with Informal Reasoning","created":"2025-09-26","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":"2303.04488","title":"Magnushammer: A Transformer-Based Approach to Premise Selection","created":"2023-03-08","cited_by_count":50},{"id":"2210.12714","title":"Generative Knowledge Graph Construction: A Review","created":"2022-10-23","cited_by_count":49},{"id":"2310.04870","title":"Lemur: Integrating Large Language Models in Automated Program Verification","created":"2023-10-07","cited_by_count":49},{"id":"1709.09994","title":"Premise Selection for Theorem Proving by Deep Graph Embedding","created":"2017-09-28","cited_by_count":44},{"id":"2512.17260","title":"Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience","created":"2025-12-19","cited_by_count":44},{"id":"2509.06493","title":"Scaling up Multi-Turn Off-Policy RL and Multi-Agent Tree Search for LLM Step-Provers","created":"2025-09-08","cited_by_count":28},{"id":"2605.22763","title":"Advancing Mathematics Research with AI-Driven Formal Proof Search","created":"2026-05-21","cited_by_count":23},{"id":"2505.20613","title":"REAL-Prover: Retrieval Augmented Lean Prover for Mathematical Reasoning","created":"2025-05-27","cited_by_count":18},{"id":"2606.03303","title":"LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks","created":"2026-06-02","cited_by_count":12},{"id":"2511.18760","title":"HERMES: Towards Efficient and Verifiable Mathematical Reasoning in LLMs","created":"2025-11-24","cited_by_count":11},{"id":"2604.20209","title":"Scaling Self-Play with Self-Guidance","created":"2026-04-22","cited_by_count":10},{"id":"2605.13137","title":"LeanSearch v2: Global Premise Retrieval for Lean 4 Theorem Proving","created":"2026-05-13","cited_by_count":10},{"id":"2605.29955","title":"Formalizing Mathematics at Scale","created":"2026-05-28","cited_by_count":10},{"id":"2510.10815","title":"DRIFT: Decompose, Retrieve, Illustrate, then Formalize Theorems","created":"2025-10-12","cited_by_count":8},{"id":"2505.13406","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","created":"2025-05-19","cited_by_count":6},{"id":"2606.25363","title":"TheoremGraph: Bridging Formal and Informal Mathematics","created":"2026-06-24","cited_by_count":5},{"id":"2604.24797","title":"The Network Structure of Mathlib","created":"2026-04-26","cited_by_count":4},{"id":"2605.20531","title":"Pseudo-Formalization for Automatic Proof Verification","created":"2026-05-19","cited_by_count":4},{"id":"2606.12594","title":"Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation","created":"2026-06-10","cited_by_count":4},{"id":"2503.11657","title":"Scaling Natural-Language Graph-Based Test Time Compute for Automated Theorem Proving","created":"2025-02-04","cited_by_count":2},{"id":"2606.09450","title":"TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics","created":"2026-06-08","cited_by_count":1}],"next_cursor":null}