{"list":"other","total":58,"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":"2010.11929","title":"An Image is Worth 16x16 Words: Transformers for Image Recognition at Scale","created":"2020-10-22","cited_by_count":30186},{"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":"1807.03748","title":"Representation Learning with Contrastive Predictive Coding","created":"2018-07-10","cited_by_count":7777},{"id":"2001.08361","title":"Scaling Laws for Neural Language Models","created":"2020-01-23","cited_by_count":6586},{"id":"1803.07728","title":"Unsupervised Representation Learning by Predicting Image Rotations","created":"2018-03-21","cited_by_count":1591},{"id":"1904.01038","title":"fairseq: A Fast, Extensible Toolkit for Sequence Modeling","created":"2019-04-01","cited_by_count":1488},{"id":"1604.07379","title":"Context Encoders: Feature Learning by Inpainting","created":"2016-04-25","cited_by_count":1428},{"id":"1603.09246","title":"Unsupervised Learning of Visual Representations by Solving Jigsaw Puzzles","created":"2016-03-30","cited_by_count":1382},{"id":"1901.07291","title":"Cross-lingual Language Model Pretraining","created":"2019-01-22","cited_by_count":1090},{"id":"1505.05192","title":"Unsupervised Visual Representation Learning by Context Prediction","created":"2015-05-19","cited_by_count":1066},{"id":"2004.04136","title":"CURL: Contrastive Unsupervised Representations for Reinforcement Learning","created":"2020-04-08","cited_by_count":760},{"id":"1905.03197","title":"Unified Language Model Pre-training for Natural Language Understanding and Generation","created":"2019-05-08","cited_by_count":670},{"id":"2010.14701","title":"Scaling Laws for Autoregressive Generative Modeling","created":"2020-10-28","cited_by_count":522},{"id":"1906.12340","title":"Using Self-Supervised Learning Can Improve Model Robustness and Uncertainty","created":"2019-06-28","cited_by_count":514},{"id":"1905.13736","title":"Unlabeled Data Improves Adversarial Robustness","created":"2019-05-31","cited_by_count":416},{"id":"1611.05397","title":"Reinforcement Learning with Unsupervised Auxiliary Tasks","created":"2016-11-16","cited_by_count":404},{"id":"2009.03393","title":"Generative Language Modeling for Automated Theorem Proving","created":"2020-09-07","cited_by_count":388},{"id":"1905.02450","title":"MASS: Masked Sequence to Sequence Pre-training for Language Generation","created":"2019-05-07","cited_by_count":347},{"id":"1912.01412","title":"Deep Learning for Symbolic Mathematics","created":"2019-12-02","cited_by_count":270},{"id":"1802.03685","title":"Learning a SAT Solver from Single-Bit Supervision","created":"2018-02-11","cited_by_count":200},{"id":"1803.02893","title":"An efficient framework for learning sentence representations","created":"2018-03-07","cited_by_count":198},{"id":"1705.11040","title":"End-to-End Differentiable Proving","created":"2017-05-31","cited_by_count":161},{"id":"2003.12862","title":"Adversarial Robustness: From Self-Supervised Pre-Training to Fine-Tuning","created":"2020-03-28","cited_by_count":153},{"id":"1910.09336","title":"The Lean mathematical library","created":"2019-10-21","cited_by_count":134},{"id":"1905.09381","title":"Learning to Prove Theorems via Interacting with Proof Assistants","created":"2019-05-21","cited_by_count":109},{"id":"1606.04442","title":"DeepMath - Deep Sequence Models for Premise Selection","created":"2016-06-14","cited_by_count":81},{"id":"1805.07563","title":"Reinforcement Learning of Theorem Proving","created":"2018-05-19","cited_by_count":69},{"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":"2003.04218","title":"Teaching Temporal Logics to Neural Networks","created":"2020-03-06","cited_by_count":51},{"id":"1806.00608","title":"GamePad: A Learning Environment for Theorem Proving","created":"2018-06-02","cited_by_count":48},{"id":"2101.06223","title":"LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning","created":"2021-01-15","cited_by_count":46},{"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":"1912.02636","title":"Exploration of Neural Machine Translation in Autoformalization of Mathematics in Mizar","created":"2019-12-05","cited_by_count":40},{"id":"1907.07794","title":"Generating Correctness Proofs with Neural Networks","created":"2019-07-17","cited_by_count":37},{"id":"1608.02644","title":"Holophrasm: a neural Automated Theorem Prover for higher-order logic","created":"2016-08-08","cited_by_count":29},{"id":"1811.06964","title":"Grasp2Vec: Learning Object Representations from Self-Supervised Grasping","created":"2018-11-16","cited_by_count":27},{"id":"1905.10501","title":"Learning to Reason in Large Theories without Imitation","created":"2019-05-25","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":"2005.14664","title":"First Neural Conjecturing Datasets and Experiments","created":"2020-05-29","cited_by_count":26},{"id":"1802.08535","title":"Can Neural Networks Understand Logical Entailment?","created":"2018-02-23","cited_by_count":24},{"id":"2008.00120","title":"The Tactician (extended version): A Seamless, Interactive Tactic Learner and Prover for Coq","created":"2020-07-31","cited_by_count":24},{"id":"1310.2805","title":"MizAR 40 for Mizar 40","created":"2013-10-10","cited_by_count":23},{"id":"2003.10536","title":"ProGraML: Graph-based Deep Learning for Program Optimization and Analysis","created":"2020-03-23","cited_by_count":23},{"id":"1904.01677","title":"Hammering Mizar by Learning Clause Guidance","created":"2019-04-02","cited_by_count":20},{"id":"1904.03241","title":"HOList: An Environment for Machine Learning of Higher-Order Theorem Proving","created":"2019-04-05","cited_by_count":19},{"id":"1807.08058","title":"Learning Heuristics for Quantified Boolean Formulas through Deep Reinforcement Learning","created":"2018-07-20","cited_by_count":15},{"id":"1910.12320","title":"Formalising perfectoid spaces","created":"2019-10-27","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":"1402.3578","title":"Learning-assisted Theorem Proving with Millions of Lemmas","created":"2014-02-11","cited_by_count":5},{"id":"1509.03527","title":"Sharing HOL4 and HOL Light proof knowledge","created":"2015-09-11","cited_by_count":4},{"id":"2012.11401","title":"Universal Policies for Software-Defined MDPs","created":"2020-12-21","cited_by_count":2},{"id":"2006.06462","title":"Learning advanced mathematical computations from examples","created":"2020-06-11","cited_by_count":1}],"next_cursor":null}