{"list":"other","total":149,"rows":[{"id":"1706.03762","title":"Attention Is All You Need","created":"2017-06-12","cited_by_count":60361},{"id":"1810.04805","title":"BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding","created":"2018-10-11","cited_by_count":40399},{"id":"2005.14165","title":"Language Models are Few-Shot Learners","created":"2020-05-28","cited_by_count":32419},{"id":"2303.08774","title":"GPT-4 Technical Report","created":"2023-03-15","cited_by_count":18396},{"id":"1907.11692","title":"RoBERTa: A Robustly Optimized BERT Pretraining Approach","created":"2019-07-26","cited_by_count":13372},{"id":"2002.05709","title":"A Simple Framework for Contrastive Learning of Visual Representations","created":"2020-02-13","cited_by_count":12049},{"id":"2402.03300","title":"DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models","created":"2024-02-05","cited_by_count":9379},{"id":"1710.10903","title":"Graph Attention Networks","created":"2017-10-30","cited_by_count":8923},{"id":"2107.03374","title":"Evaluating Large Language Models Trained on Code","created":"2021-07-07","cited_by_count":8320},{"id":"1807.03748","title":"Representation Learning with Contrastive Predictive Coding","created":"2018-07-10","cited_by_count":7777},{"id":"2204.02311","title":"PaLM: Scaling Language Modeling with Pathways","created":"2022-04-05","cited_by_count":5326},{"id":"1810.00826","title":"How Powerful are Graph Neural Networks?","created":"2018-10-01","cited_by_count":4393},{"id":"1406.1078","title":"Learning Phrase Representations using RNN Encoder-Decoder for Statistical Machine Translation","created":"2014-06-03","cited_by_count":4057},{"id":"2004.04906","title":"Dense Passage Retrieval for Open-Domain Question Answering","created":"2020-04-10","cited_by_count":3824},{"id":"1312.5602","title":"Playing Atari with Deep Reinforcement Learning","created":"2013-12-19","cited_by_count":3274},{"id":"1409.3215","title":"Sequence to Sequence Learning with Neural Networks","created":"2014-09-10","cited_by_count":2986},{"id":"1609.03499","title":"WaveNet: A Generative Model for Raw Audio","created":"2016-09-12","cited_by_count":1722},{"id":"2206.14858","title":"Solving Quantitative Reasoning Problems with Language Models","created":"2022-06-29","cited_by_count":1392},{"id":"1707.01495","title":"Hindsight Experience Replay","created":"2017-07-05","cited_by_count":1136},{"id":"1901.07291","title":"Cross-lingual Language Model Pretraining","created":"2019-01-22","cited_by_count":1090},{"id":"2004.09297","title":"MPNet: Masked and Permuted Pre-training for Language Understanding","created":"2020-04-20","cited_by_count":981},{"id":"1509.09292","title":"Convolutional Networks on Graphs for Learning Molecular Fingerprints","created":"2015-09-30","cited_by_count":754},{"id":"2105.13626","title":"ByT5: Towards a token-free future with pre-trained byte-to-byte models","created":"2021-05-28","cited_by_count":509},{"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":"2305.12295","title":"Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning","created":"2023-05-20","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.01240","title":"Language Models Are Greedy Reasoners: A Systematic Formal Analysis of Chain-of-Thought","created":"2022-10-03","cited_by_count":337},{"id":"2012.13048","title":"ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language","created":"2020-12-24","cited_by_count":324},{"id":"1503.00075","title":"Improved Semantic Representations From Tree-Structured Long Short-Term Memory Networks","created":"2015-02-28","cited_by_count":306},{"id":"2210.12283","title":"Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs","created":"2022-10-21","cited_by_count":291},{"id":"2002.05867","title":"Transformers as Soft Reasoners over Language","created":"2020-02-14","cited_by_count":270},{"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":"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":"2310.15164","title":"LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers","created":"2023-10-23","cited_by_count":168},{"id":"2310.06786","title":"OpenWebMath: An Open Dataset of High-Quality Mathematical Web Text","created":"2023-10-10","cited_by_count":155},{"id":"2104.08661","title":"Explaining Answers with Entailment Trees","created":"2021-04-17","cited_by_count":152},{"id":"2202.01344","title":"Formal Mathematics Statement Curriculum Learning","created":"2022-02-03","cited_by_count":142},{"id":"1804.07755","title":"Phrase-Based & Neural Unsupervised Machine Translation","created":"2018-04-20","cited_by_count":138},{"id":"2212.02746","title":"UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression","created":"2022-12-06","cited_by_count":137},{"id":"2102.06203","title":"Proof Artifact Co-training for Theorem Proving with Language Models","created":"2021-02-11","cited_by_count":132},{"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":"2312.12241","title":"GeomVerse: A Systematic Evaluation of Large Models for Geometric Reasoning","created":"2023-12-19","cited_by_count":108},{"id":"2305.09656","title":"SatLM: Satisfiability-Aided Language Models Using Declarative Prompting","created":"2023-05-16","cited_by_count":102},{"id":"2205.10893","title":"Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers","created":"2022-05-22","cited_by_count":98},{"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":"2205.12910","title":"NaturalProver: Grounded Mathematical Proof Generation with Language Models","created":"2022-05-25","cited_by_count":72},{"id":"2306.01694","title":"Evaluating Language Models for Mathematics through Interactions","created":"2023-06-02","cited_by_count":70},{"id":"1805.07563","title":"Reinforcement Learning of Theorem Proving","created":"2018-05-19","cited_by_count":69},{"id":"2310.17807","title":"Clover: Closed-Loop Verifiable Code Generation","created":"2023-10-26","cited_by_count":67},{"id":"2312.17120","title":"MathPile: A Billion-Token-Scale Pretraining Corpus for Math","created":"2023-12-28","cited_by_count":67},{"id":"1905.10006","title":"Graph Representations for Higher-Order Logic and Theorem Proving","created":"2019-05-24","cited_by_count":55},{"id":"2309.04295","title":"FIMO: A Challenge Formal Dataset for Automated Theorem Proving","created":"2023-09-08","cited_by_count":55},{"id":"1805.06502","title":"First Experiments with Neural Translation of Informal to Formal Mathematics","created":"2018-05-10","cited_by_count":53},{"id":"2010.02830","title":"PRover: Proof Generation for Interpretable Reasoning over Rules","created":"2020-10-06","cited_by_count":53},{"id":"2205.12443","title":"Generating Natural Language Proofs with Verifier-Guided Search","created":"2022-05-25","cited_by_count":52},{"id":"2303.04488","title":"Magnushammer: A Transformer-Based Approach to Premise Selection","created":"2023-03-08","cited_by_count":50},{"id":"1806.00608","title":"GamePad: A Learning Environment for Theorem Proving","created":"2018-06-02","cited_by_count":48},{"id":"1701.06972","title":"Deep Network Guided Proof Search","created":"2017-01-24","cited_by_count":47},{"id":"2101.06223","title":"LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning","created":"2021-01-15","cited_by_count":46},{"id":"1709.09994","title":"Premise Selection for Theorem Proving by Deep Graph Embedding","created":"2017-09-28","cited_by_count":44},{"id":"1804.00596","title":"TacticToe: Learning to Prove with Tactics","created":"2018-04-02","cited_by_count":44},{"id":"2007.02924","title":"INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving","created":"2020-07-06","cited_by_count":44},{"id":"2002.07019","title":"Learning to Prove Theorems by Learning to Generate Theorems","created":"2020-02-17","cited_by_count":43},{"id":"2402.08957","title":"MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data","created":"2024-02-14","cited_by_count":43},{"id":"1501.02155","title":"A formal proof of the Kepler conjecture","created":"2015-01-09","cited_by_count":42},{"id":"1912.02636","title":"Exploration of Neural Machine Translation in Autoformalization of Mathematics in Mizar","created":"2019-12-05","cited_by_count":40},{"id":"2311.03755","title":"Multilingual Mathematical Autoformalization","created":"2023-11-07","cited_by_count":39},{"id":"2210.12217","title":"Entailer: Answering Questions with Faithful and Truthful Chains of Reasoning","created":"2022-10-21","cited_by_count":38},{"id":"1907.07794","title":"Generating Correctness Proofs with Neural Networks","created":"2019-07-17","cited_by_count":37},{"id":"2102.09756","title":"TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning","created":"2021-02-19","cited_by_count":37},{"id":"2204.13074","title":"Towards Teachable Reasoning Systems: Using a Dynamic Memory of User Feedback for Continual System Improvement","created":"2022-04-27","cited_by_count":37},{"id":"2305.16366","title":"Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving","created":"2023-05-25","cited_by_count":37},{"id":"2311.07948","title":"Finding Inductive Loop Invariants using Large Language Models","created":"2023-11-14","cited_by_count":36},{"id":"2201.06028","title":"Natural Language Deduction through Search over Statement Compositions","created":"2022-01-16","cited_by_count":35},{"id":"2310.18457","title":"LLMSTEP: LLM proofstep suggestions in Lean","created":"2023-10-27","cited_by_count":32},{"id":"1608.02644","title":"Holophrasm: a neural Automated Theorem Prover for higher-order logic","created":"2016-08-08","cited_by_count":29},{"id":"2203.10261","title":"FaiRR: Faithful and Robust Deductive Reasoning over Natural Language","created":"2022-03-19","cited_by_count":29},{"id":"2305.14386","title":"Let GPT be a Math Tutor: Teaching Math Word Problem Solvers with Customized Exercise Generation","created":"2023-05-22","cited_by_count":29},{"id":"2403.13312","title":"LeanReasoner: Boosting Complex Logical Reasoning with Lean","created":"2024-03-20","cited_by_count":28},{"id":"2301.02195","title":"Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs","created":"2023-01-05","cited_by_count":27},{"id":"1701.06532","title":"ENIGMA: Efficient Learning-based Inference Guiding Machine","created":"2017-01-23","cited_by_count":26},{"id":"1703.00426","title":"HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving","created":"2017-03-01","cited_by_count":26},{"id":"2002.05406","title":"ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (system description)","created":"2020-02-13","cited_by_count":26},{"id":"2005.14664","title":"First Neural Conjecturing Datasets and Experiments","created":"2020-05-29","cited_by_count":26},{"id":"2309.15806","title":"Lyra: Orchestrating Dual Correction in Automated Theorem Proving","created":"2023-09-27","cited_by_count":25},{"id":"1903.03182","title":"ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E","created":"2019-03-07","cited_by_count":24},{"id":"2310.10180","title":"TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models","created":"2023-10-16","cited_by_count":24},{"id":"1310.2805","title":"MizAR 40 for Mizar 40","created":"2013-10-10","cited_by_count":23},{"id":"1911.12073","title":"Property Invariant Embedding for Automated Reasoning","created":"2019-11-27","cited_by_count":22},{"id":"2211.07524","title":"Towards a Mathematics Formalisation Assistant using Large Language Models","created":"2022-11-14","cited_by_count":22},{"id":"1904.01677","title":"Hammering Mizar by Learning Clause Guidance","created":"2019-04-02","cited_by_count":20}],"next_cursor":"100"}