{"total":81,"rows":[{"id":"2303.18223","title":"A Survey of Large Language Models","created":"2023-03-31","cited_by_count":2576,"area":null},{"id":"2206.14858","title":"Solving Quantitative Reasoning Problems with Language Models","created":"2022-06-29","cited_by_count":1392,"area":"lr"},{"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,"area":"mllm"},{"id":"2307.05782","title":"Large Language Models","created":"2023-07-11","cited_by_count":780,"area":null},{"id":"2306.15626","title":"LeanDojo: Theorem Proving with Retrieval-Augmented Language Models","created":"2023-06-27","cited_by_count":427,"area":"rag"},{"id":"2109.00110","title":"MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics","created":"2021-08-31","cited_by_count":391,"area":null},{"id":"2210.01240","title":"Language Models Are Greedy Reasoners: A Systematic Formal Analysis of Chain-of-Thought","created":"2022-10-03","cited_by_count":337,"area":"lr"},{"id":"2210.12283","title":"Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs","created":"2022-10-21","cited_by_count":291,"area":null},{"id":"2301.13867","title":"Mathematical Capabilities of ChatGPT","created":"2023-01-31","cited_by_count":268,"area":null},{"id":"2307.10635","title":"SciBench: Evaluating College-Level Scientific Problem-Solving Abilities of Large Language Models","created":"2023-07-20","cited_by_count":256,"area":"lr"},{"id":"2305.10037","title":"Can Language Models Solve Graph Problems in Natural Language?","created":"2023-05-17","cited_by_count":252,"area":"lr"},{"id":"2302.12433","title":"ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics","created":"2023-02-24","cited_by_count":192,"area":null},{"id":"2310.06786","title":"OpenWebMath: An Open Dataset of High-Quality Mathematical Web Text","created":"2023-10-10","cited_by_count":155,"area":"lr"},{"id":"2212.02746","title":"UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression","created":"2022-12-06","cited_by_count":137,"area":"lr"},{"id":"2212.10535","title":"A Survey of Deep Learning for Mathematical Reasoning","created":"2022-12-20","cited_by_count":124,"area":"lr"},{"id":"2211.09066","title":"Teaching Algorithmic Reasoning via In-context Learning","created":"2022-11-15","cited_by_count":112,"area":"lr"},{"id":"2205.11502","title":"On the Paradox of Learning to Reason from Data","created":"2022-05-23","cited_by_count":93,"area":"lr"},{"id":"2406.05761","title":"The BiGGen Bench: A Principled Benchmark for Fine-grained Evaluation of Language Models with Language Models","created":"2024-06-09","cited_by_count":93,"area":null},{"id":"2304.10703","title":"ReCEval: Evaluating Reasoning Chains via Correctness and Informativeness","created":"2023-04-21","cited_by_count":77,"area":"lr"},{"id":"2205.12910","title":"NaturalProver: Grounded Mathematical Proof Generation with Language Models","created":"2022-05-25","cited_by_count":72,"area":null},{"id":"2407.10040","title":"Lean-STaR: Learning to Interleave Thinking and Proving","created":"2024-07-14","cited_by_count":68,"area":"lr"},{"id":"2312.17120","title":"MathPile: A Billion-Token-Scale Pretraining Corpus for Math","created":"2023-12-28","cited_by_count":67,"area":null},{"id":"2404.09939","title":"A Survey on Deep Learning for Theorem Proving","created":"2024-04-15","cited_by_count":57,"area":null},{"id":"2406.08467","title":"DafnyBench: A Benchmark for Formal Software Verification","created":"2024-06-12","cited_by_count":57,"area":null},{"id":"2407.12854","title":"Scaling Retrieval-Based Language Models with a Trillion-Token Datastore","created":"2024-07-09","cited_by_count":56,"area":null},{"id":"2506.08446","title":"A Survey on Large Language Models for Mathematical Reasoning","created":"2025-06-10","cited_by_count":52,"area":"lr"},{"id":"2508.15096","title":"Nemotron-CC-Math: A 133 Billion-Token-Scale High Quality Math Pretraining Dataset","created":"2025-08-20","cited_by_count":38,"area":"lr"},{"id":"2406.07815","title":"Are Large Language Models Good Statisticians?","created":"2024-06-12","cited_by_count":27,"area":null},{"id":"2309.15806","title":"Lyra: Orchestrating Dual Correction in Automated Theorem Proving","created":"2023-09-27","cited_by_count":25,"area":null},{"id":"2310.10180","title":"TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models","created":"2023-10-16","cited_by_count":24,"area":"lr"},{"id":"2312.07622","title":"Mathematical Language Models: A Survey","created":"2023-12-12","cited_by_count":24,"area":null},{"id":"2411.01829","title":"Formal Theorem Proving by Rewarding LLMs to Decompose Proofs Hierarchically","created":"2024-11-04","cited_by_count":22,"area":"lr"},{"id":"2502.12065","title":"Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions","created":"2025-02-17","cited_by_count":22,"area":null},{"id":"2510.15981","title":"ProofFlow: A Dependency Graph Approach to Faithful Proof Autoformalization","created":"2025-10-13","cited_by_count":21,"area":null},{"id":"2502.05714","title":"Proving the Coding Interview: A Benchmark for Formally Verified Code Generation","created":"2025-02-08","cited_by_count":19,"area":null},{"id":"2501.16207","title":"From Informal to Formal -- Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs","created":"2025-01-27","cited_by_count":18,"area":"lr"},{"id":"2203.12186","title":"AbductionRules: Training Transformers to Explain Unexpected Inputs","created":"2022-03-23","cited_by_count":17,"area":"lr"},{"id":"2507.06181","title":"CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization","created":"2025-07-08","cited_by_count":16,"area":"lr"},{"id":"2410.12881","title":"MIND: Math Informed syNthetic Dialogues for Pretraining LLMs","created":"2024-10-15","cited_by_count":14,"area":"lr"},{"id":"2210.17517","title":"Lila: A Unified Benchmark for Mathematical Reasoning","created":"2022-10-31","cited_by_count":13,"area":"lr"},{"id":"2503.17726","title":"A Survey on Mathematical Reasoning and Optimization with Large Language Models","created":"2025-03-22","cited_by_count":12,"area":"lr"},{"id":"2404.07382","title":"Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving","created":"2024-04-10","cited_by_count":11,"area":null},{"id":"2412.15184","title":"Data for Mathematical Copilots: Better Ways of Presenting Proofs for Machine Learning","created":"2024-12-19","cited_by_count":11,"area":null},{"id":"2302.09350","title":"BERT is not The Count: Learning to Match Mathematical Statements with Proofs","created":"2023-02-18","cited_by_count":10,"area":null},{"id":"2505.22756","title":"Decomposing Elements of Problem Solving: What \"Math\" Does RL Teach?","created":"2025-05-28","cited_by_count":10,"area":"lr"},{"id":"2605.13137","title":"LeanSearch v2: Global Premise Retrieval for Lean 4 Theorem Proving","created":"2026-05-13","cited_by_count":10,"area":null},{"id":"2205.15231","title":"A Survey in Mathematical Language Processing","created":"2022-05-30","cited_by_count":9,"area":null},{"id":"2410.11055","title":"Varying Shades of Wrong: Aligning LLMs with Wrong Answers Only","created":"2024-10-14","cited_by_count":9,"area":"alignment"},{"id":"2508.18914","title":"FormaRL: Enhancing Autoformalization with no Labeled Data","created":"2025-08-26","cited_by_count":9,"area":null},{"id":"2507.01297","title":"Frustratingly Simple Retrieval Improves Challenging, Reasoning-Intensive Benchmarks","created":"2025-07-02","cited_by_count":8,"area":"rag"},{"id":"2405.01490","title":"Controllable Text Generation in the Instruction-Tuning Era","created":"2024-05-02","cited_by_count":7,"area":null},{"id":"2311.01230","title":"Multi-Operational Mathematical Derivations in Latent Space","created":"2023-11-02","cited_by_count":6,"area":null},{"id":"2505.13406","title":"AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database","created":"2025-05-19","cited_by_count":6,"area":null},{"id":"2505.15585","title":"MIRB: Mathematical Information Retrieval Benchmark","created":"2025-05-21","cited_by_count":6,"area":null},{"id":"2508.00109","title":"FACTORY: A Challenging Human-Verified Prompt Set for Long-Form Factuality","created":"2025-07-31","cited_by_count":6,"area":null},{"id":"2510.08988","title":"MASA: LLM-Driven Multi-Agent Systems for Autoformalization","created":"2025-10-10","cited_by_count":6,"area":"agents"},{"id":"2210.02615","title":"Learning to Reason With Relational Abstractions","created":"2022-10-06","cited_by_count":5,"area":"lr"},{"id":"2606.25363","title":"TheoremGraph: Bridging Formal and Informal Mathematics","created":"2026-06-24","cited_by_count":5,"area":null},{"id":"2502.15507","title":"Steering LLMs for Formal Theorem Proving","created":"2025-02-21","cited_by_count":4,"area":null},{"id":"2312.03042","title":"Inherent limitations of LLMs regarding spatial information","created":"2023-12-05","cited_by_count":3,"area":null},{"id":"2404.18384","title":"Exploring the Limits of Fine-grained LLM-based Physics Inference via Premise Removal Interventions","created":"2024-04-29","cited_by_count":3,"area":"lr"},{"id":"2510.07000","title":"Pragyaan: Designing and Curating High-Quality Cultural Post-Training Datasets for Indian Languages","created":"2025-10-08","cited_by_count":3,"area":null},{"id":"2606.23959","title":"Does My Embedding Reflect That $A = B$? Evaluating Mathematical Equivalence in Embedding Models","created":"2026-06-22","cited_by_count":3,"area":null},{"id":"2305.08732","title":"Knowledge Rumination for Pre-trained Language Models","created":"2023-05-15","cited_by_count":2,"area":null},{"id":"2411.00863","title":"Next-Token Prediction Task Assumes Optimal Data Ordering for LLM Training in Proof Generation","created":"2024-10-30","cited_by_count":2,"area":null},{"id":"2505.00610","title":"Combining LLMs with Logic-Based Framework to Explain MCTS","created":"2025-05-01","cited_by_count":2,"area":null},{"id":"2307.09998","title":"Controlling Equational Reasoning in Large Language Models with Prompt Interventions","created":"2023-07-19","cited_by_count":1,"area":"lr"},{"id":"2501.14951","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","created":"2025-01-24","cited_by_count":1,"area":null},{"id":"2512.14252","title":"G\\\"odel's Poetry","created":"2025-12-16","cited_by_count":1,"area":null},{"id":"2311.12448","title":"Extracting Definienda in Mathematical Scholarly Articles with Transformers","created":"2023-11-21","cited_by_count":0,"area":null},{"id":"2507.08034","title":"Integrating External Tools with Large Language Models to Improve Accuracy","created":"2025-07-09","cited_by_count":0,"area":null},{"id":"2508.17153","title":"Natural Language Satisfiability: Exploring the Problem Distribution and Evaluating Transformer-based Language Models","created":"2025-08-23","cited_by_count":0,"area":"lr"},{"id":"2601.13392","title":"Beyond Memorization: Testing LLM Reasoning on Unseen Theory of Computation Tasks","created":"2026-01-19","cited_by_count":0,"area":"lr"},{"id":"2605.09012","title":"Re$^2$Math: Benchmarking Theorem Retrieval in Research-Level Mathematics","created":"2026-05-09","cited_by_count":0,"area":"lr"},{"id":"2606.06526","title":"CrowdMath: A Dataset of Crowdsourced Mathematical Research Discussions","created":"2026-06-02","cited_by_count":0,"area":"lr"},{"id":"2607.11849","title":"AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification","created":"2026-07-13","cited_by_count":0,"area":null},{"id":"2607.12480","title":"TRACE: An Operational Reasoning Schema for Auditable Agentic Commitments","created":"2026-07-14","cited_by_count":0,"area":"lr"},{"id":"2608.26950","title":"From Atomic to Agentic: Towards Interpretable Evaluation of LLMs' Agentic Mathematical Capabilities","created":"2026-08-27","cited_by_count":0,"area":"lr"},{"id":"2609.15194","title":"Semiotic Relations and Proof Methods: A Cross-Genre Study of Argument Structure with Large Language Models","created":"2026-09-14","cited_by_count":0,"area":null},{"id":"2609.34460","title":"When Does Structured Knowledge Help Neural Theorem Proving?","created":"2026-09-28","cited_by_count":0,"area":null},{"id":"2610.03551","title":"Objects Without Morphisms: What LLMs for Mathematics Do Not Represent","created":"2026-10-02","cited_by_count":0,"area":null}],"next_cursor":null}