{"list":"other","total":53,"rows":[{"id":"1706.03762","title":"Attention Is All You Need","created":"2017-06-12","cited_by_count":60361},{"id":"2005.14165","title":"Language Models are Few-Shot Learners","created":"2020-05-28","cited_by_count":32419},{"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":"2201.11903","title":"Chain-of-Thought Prompting Elicits Reasoning in Large Language Models","created":"2022-01-28","cited_by_count":12459},{"id":"2110.14168","title":"Training Verifiers to Solve Math Word Problems","created":"2021-10-27","cited_by_count":10109},{"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":"2204.02311","title":"PaLM: Scaling Language Modeling with Pathways","created":"2022-04-05","cited_by_count":5326},{"id":"2104.09864","title":"RoFormer: Enhanced Transformer with Rotary Position Embedding","created":"2021-04-20","cited_by_count":4703},{"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":"1805.04833","title":"Hierarchical Neural Story Generation","created":"2018-05-13","cited_by_count":1193},{"id":"2112.00114","title":"Show Your Work: Scratchpads for Intermediate Computation with Language Models","created":"2021-11-30","cited_by_count":886},{"id":"1911.02150","title":"Fast Transformer Decoding: One Write-Head is All You Need","created":"2019-11-06","cited_by_count":717},{"id":"2204.06745","title":"GPT-NeoX-20B: An Open-Source Autoregressive Language Model","created":"2022-04-14","cited_by_count":713},{"id":"2211.05102","title":"Efficiently Scaling Transformer Inference","created":"2022-11-09","cited_by_count":539},{"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":"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":"2205.11491","title":"HyperTree Proof Search for Neural Theorem Proving","created":"2022-05-23","cited_by_count":197},{"id":"1901.01808","title":"SequenceR: Sequence-to-Sequence Learning for End-to-End Program Repair","created":"2018-12-24","cited_by_count":145},{"id":"2102.06203","title":"Proof Artifact Co-training for Theorem Proving with Language Models","created":"2021-02-11","cited_by_count":132},{"id":"1709.03221","title":"Fairness Testing: Testing Software for Discrimination","created":"2017-09-11","cited_by_count":126},{"id":"1905.09381","title":"Learning to Prove Theorems via Interacting with Proof Assistants","created":"2019-05-21","cited_by_count":109},{"id":"2205.10893","title":"Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers","created":"2022-05-22","cited_by_count":98},{"id":"2106.06600","title":"Break-It-Fix-It: Unsupervised Learning for Program Repair","created":"2021-06-11","cited_by_count":71},{"id":"2106.08253","title":"A Syntax-Guided Edit Decoder for Neural Program Repair","created":"2021-06-15","cited_by_count":57},{"id":"1905.10006","title":"Graph Representations for Higher-Order Logic and Theorem Proving","created":"2019-05-24","cited_by_count":55},{"id":"1806.00608","title":"GamePad: A Learning Environment for Theorem Proving","created":"2018-06-02","cited_by_count":48},{"id":"1804.00596","title":"TacticToe: Learning to Prove with Tactics","created":"2018-04-02","cited_by_count":44},{"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":"2206.01962","title":"Formal Specifications from Natural Language","created":"2022-06-04","cited_by_count":33},{"id":"2301.02195","title":"Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs","created":"2023-01-05","cited_by_count":27},{"id":"2008.02944","title":"Evaluating Representation Learning of Code Changes for Predicting Patch Correctness in Program Repair","created":"2020-08-07","cited_by_count":22},{"id":"1603.03165","title":"Automated Clustering and Program Repair for Introductory Programming Assignments","created":"2016-03-10","cited_by_count":21},{"id":"2204.10370","title":"Passport: Improving Automated Formal Verification Using Identifiers","created":"2022-04-21","cited_by_count":19},{"id":"2110.03501","title":"Pretrained Language Models are Symbolic Mathematics Solvers too!","created":"2021-10-07","cited_by_count":17},{"id":"2112.10915","title":"Elixir: Effective object-oriented program repair","created":"2021-12-21","cited_by_count":16},{"id":"1909.13694","title":"Automated Patch Assessment for Program Repair at Scale","created":"2019-09-30","cited_by_count":14},{"id":"2003.06458","title":"QED at Large: A Survey of Engineering of Formally Verified Software","created":"2020-03-13","cited_by_count":13},{"id":"1906.08903","title":"Harnessing Evolution for Multi-Hunk Program Repair","created":"2019-06-21","cited_by_count":12},{"id":"1907.05620","title":"iFixR: Bug Report driven Program Repair","created":"2019-07-12","cited_by_count":11},{"id":"2011.08340","title":"Better Automatic Program Repair by Using Bug Reports and Tests Together","created":"2020-11-16","cited_by_count":10},{"id":"1711.07148","title":"Data-Driven Feedback Generation for Introductory Programming Exercises","created":"2017-11-20","cited_by_count":9},{"id":"2208.11744","title":"Enforcing Delayed-Impact Fairness Guarantees","created":"2022-08-24","cited_by_count":8},{"id":"1806.07239","title":"PaMpeR: Proof Method Recommendation System for Isabelle/HOL","created":"2018-06-19","cited_by_count":7},{"id":"1810.10614","title":"Alleviating Patch Overfitting with Automatic Test Generation: A Study of Feasibility and Effectiveness for the Nopol Repair System","created":"2018-10-24","cited_by_count":7},{"id":"2004.07761","title":"Deep Generation of Coq Lemma Names Using Elaborated Terms","created":"2020-04-16","cited_by_count":6},{"id":"2006.16743","title":"Learning to Format Coq Code Using Language Models","created":"2020-06-18","cited_by_count":2},{"id":"1404.3034","title":"ACL2(ml): Machine-Learning for ACL2","created":"2014-04-11","cited_by_count":1},{"id":"2103.01346","title":"Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning","created":"2021-03-01","cited_by_count":1}],"next_cursor":null}