{"list":"other","total":76,"rows":[{"id":"1706.03762","title":"Attention Is All You Need","created":"2017-06-12","cited_by_count":60361},{"id":"2303.08774","title":"GPT-4 Technical Report","created":"2023-03-15","cited_by_count":18396},{"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":"2302.13971","title":"LLaMA: Open and Efficient Foundation Language Models","created":"2023-02-27","cited_by_count":14132},{"id":"2005.11401","title":"Retrieval-Augmented Generation for Knowledge-Intensive NLP Tasks","created":"2020-05-22","cited_by_count":9297},{"id":"2107.03374","title":"Evaluating Large Language Models Trained on Code","created":"2021-07-07","cited_by_count":8320},{"id":"2103.03874","title":"Measuring Mathematical Problem Solving With the MATH Dataset","created":"2021-03-05","cited_by_count":5371},{"id":"2302.04761","title":"Toolformer: Language Models Can Teach Themselves to Use Tools","created":"2023-02-09","cited_by_count":4182},{"id":"2004.04906","title":"Dense Passage Retrieval for Open-Domain Question Answering","created":"2020-04-10","cited_by_count":3824},{"id":"2305.10601","title":"Tree of Thoughts: Deliberate Problem Solving with Large Language Models","created":"2023-05-17","cited_by_count":3211},{"id":"2002.08909","title":"REALM: Retrieval-Augmented Language Model Pre-Training","created":"2020-02-10","cited_by_count":2141},{"id":"2202.03629","title":"Survey of Hallucination in Natural Language Generation","created":"2022-02-08","cited_by_count":2075},{"id":"2206.14858","title":"Solving Quantitative Reasoning Problems with Language Models","created":"2022-06-29","cited_by_count":1392},{"id":"1803.09010","title":"Datasheets for Datasets","created":"2018-03-23","cited_by_count":1386},{"id":"2112.04426","title":"Improving language models by retrieving from trillions of tokens","created":"2021-12-08","cited_by_count":1293},{"id":"2007.01282","title":"Leveraging Passage Retrieval with Generative Models for Open Domain Question Answering","created":"2020-07-02","cited_by_count":1210},{"id":"2208.03299","title":"Atlas: Few-shot Learning with Retrieval Augmented Language Models","created":"2022-08-05","cited_by_count":952},{"id":"2203.13474","title":"CodeGen: An Open Large Language Model for Code with Multi-Turn Program Synthesis","created":"2022-03-25","cited_by_count":885},{"id":"1911.00172","title":"Generalization through Memorization: Nearest Neighbor Language Models","created":"2019-11-01","cited_by_count":800},{"id":"2305.06161","title":"StarCoder: may the source be with you!","created":"2023-05-09","cited_by_count":799},{"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":"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":"2303.12570","title":"RepoCoder: Repository-Level Code Completion Through Iterative Retrieval and Generation","created":"2023-03-22","cited_by_count":367},{"id":"2303.17568","title":"CodeGeeX: A Pre-Trained Model for Code Generation with Multilingual Benchmarking on HumanEval-X","created":"2023-03-30","cited_by_count":300},{"id":"2210.12283","title":"Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs","created":"2022-10-21","cited_by_count":291},{"id":"2205.12615","title":"Autoformalization with Large Language Models","created":"2022-05-25","cited_by_count":263},{"id":"2202.06991","title":"Transformer Memory as a Differentiable Search Index","created":"2022-02-14","cited_by_count":247},{"id":"2203.08913","title":"Memorizing Transformers","created":"2022-03-16","cited_by_count":226},{"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":"2305.07185","title":"MEGABYTE: Predicting Million-byte Sequences with Multiscale Transformers","created":"2023-05-12","cited_by_count":170},{"id":"2104.08051","title":"Optimizing Dense Retrieval Model Training with Hard Negatives","created":"2021-04-16","cited_by_count":155},{"id":"2207.05987","title":"DocPrompting: Generating Code by Retrieving the Docs","created":"2022-07-13","cited_by_count":153},{"id":"2108.11601","title":"Retrieval Augmented Code Generation and Summarization","created":"2021-08-26","cited_by_count":149},{"id":"2202.01344","title":"Formal Mathematics Statement Curriculum Learning","created":"2022-02-03","cited_by_count":142},{"id":"1910.09336","title":"The Lean mathematical library","created":"2019-10-21","cited_by_count":134},{"id":"2102.06203","title":"Proof Artifact Co-training for Theorem Proving with Language Models","created":"2021-02-11","cited_by_count":132},{"id":"2212.10535","title":"A Survey of Deep Learning for Mathematical Reasoning","created":"2022-12-20","cited_by_count":124},{"id":"2203.07722","title":"ReACC: A Retrieval-Augmented Code Completion Framework","created":"2022-03-15","cited_by_count":119},{"id":"2303.04910","title":"Baldur: Whole-Proof Generation and Repair with Large Language Models","created":"2023-03-08","cited_by_count":119},{"id":"2204.10628","title":"Autoregressive Search Engines: Generating Substrings as Document Identifiers","created":"2022-04-22","cited_by_count":113},{"id":"2205.12674","title":"Training Language Models with Memory Augmentation","created":"2022-05-25","cited_by_count":113},{"id":"1905.09381","title":"Learning to Prove Theorems via Interacting with Proof Assistants","created":"2019-05-21","cited_by_count":109},{"id":"2206.12839","title":"Repository-Level Prompt Generation for Large Language Models of Code","created":"2022-06-26","cited_by_count":106},{"id":"2205.10893","title":"Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers","created":"2022-05-22","cited_by_count":98},{"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":"2212.10007","title":"CoCoMIC: Code Completion By Jointly Modeling In-file and Cross-file Context","created":"2022-12-20","cited_by_count":65},{"id":"2303.04864","title":"nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models","created":"2023-03-08","cited_by_count":60},{"id":"2305.07766","title":"NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models","created":"2023-05-12","cited_by_count":59},{"id":"1905.10006","title":"Graph Representations for Higher-Order Logic and Theorem Proving","created":"2019-05-24","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":"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":"2305.11841","title":"How Does Generative Retrieval Scale to Millions of Passages?","created":"2023-05-19","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":"2212.02027","title":"Retrieval as Attention: End-to-end Learning of Retrieval and Reading within a Single Transformer","created":"2022-12-05","cited_by_count":45},{"id":"1804.00596","title":"TacticToe: Learning to Prove with Tactics","created":"2018-04-02","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":"1808.10025","title":"Retrieval-Based Neural Code Generation","created":"2018-08-29","cited_by_count":41},{"id":"2303.08006","title":"Data-Efficient Learning of Natural Language to Linear Temporal Logic Translators for Robot Task Specification","created":"2023-03-09","cited_by_count":38},{"id":"2102.09756","title":"TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning","created":"2021-02-19","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":"2206.01962","title":"Formal Specifications from Natural Language","created":"2022-06-04","cited_by_count":33},{"id":"1905.10501","title":"Learning to Reason in Large Theories without Imitation","created":"2019-05-25","cited_by_count":27},{"id":"2301.02195","title":"Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs","created":"2023-01-05","cited_by_count":27},{"id":"1703.00426","title":"HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving","created":"2017-03-01","cited_by_count":26},{"id":"2210.05758","title":"Decoupled Context Processing for Context Augmented Language Modeling","created":"2022-10-11","cited_by_count":24},{"id":"2003.06458","title":"QED at Large: A Survey of Engineering of Formally Verified Software","created":"2020-03-13","cited_by_count":13},{"id":"2304.00994","title":"Machine-Learned Premise Selection for Lean","created":"2023-03-17","cited_by_count":10},{"id":"2205.15231","title":"A Survey in Mathematical Language Processing","created":"2022-05-30","cited_by_count":9},{"id":"2304.10486","title":"CoProver: A Recommender System for Proof Construction","created":"2023-03-01","cited_by_count":5},{"id":"1505.04324","title":"Elaboration in Dependent Type Theory","created":"2015-05-16","cited_by_count":2}],"next_cursor":null}