{"list":"other","total":56,"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":"2010.11929","title":"An Image is Worth 16x16 Words: Transformers for Image Recognition at Scale","created":"2020-10-22","cited_by_count":30186},{"id":"1502.03167","title":"Batch Normalization: Accelerating Deep Network Training by Reducing Internal Covariate Shift","created":"2015-02-11","cited_by_count":7005},{"id":"2202.05262","title":"Locating and Editing Factual Associations in GPT","created":"2022-02-10","cited_by_count":2691},{"id":"2303.18223","title":"A Survey of Large Language Models","created":"2023-03-31","cited_by_count":2576},{"id":"2103.03230","title":"Barlow Twins: Self-Supervised Learning via Redundancy Reduction","created":"2021-03-04","cited_by_count":1838},{"id":"2309.16588","title":"Vision Transformers Need Registers","created":"2023-09-28","cited_by_count":871},{"id":"1612.08083","title":"Language Modeling with Gated Convolutional Networks","created":"2016-12-23","cited_by_count":702},{"id":"1905.03222","title":"Conformalized Quantile Regression","created":"2019-05-08","cited_by_count":629},{"id":"2012.09838","title":"Transformer Interpretability Beyond Attention Visualization","created":"2020-12-17","cited_by_count":627},{"id":"2004.05718","title":"Principal Neighbourhood Aggregation for Graph Nets","created":"2020-04-12","cited_by_count":478},{"id":"1805.01070","title":"What you can cram into a single vector: Probing sentence embeddings for linguistic properties","created":"2018-05-03","cited_by_count":457},{"id":"2210.13382","title":"Emergent World Representations: Exploring a Sequence Model Trained on a Synthetic Task","created":"2022-10-24","cited_by_count":431},{"id":"2309.16042","title":"Towards Best Practices of Activation Patching in Language Models: Metrics and Methods","created":"2023-09-27","cited_by_count":359},{"id":"1904.01557","title":"Analysing Mathematical Reasoning Abilities of Neural Models","created":"2019-04-02","cited_by_count":335},{"id":"2209.00588","title":"Transformers are Sample-Efficient World Models","created":"2022-09-01","cited_by_count":328},{"id":"1908.08351","title":"Compositionality decomposed: how do neural networks generalise?","created":"2019-08-22","cited_by_count":265},{"id":"2205.12615","title":"Autoformalization with Large Language Models","created":"2022-05-25","cited_by_count":263},{"id":"2304.12210","title":"A Cookbook of Self-Supervised Learning","created":"2023-04-24","cited_by_count":250},{"id":"2301.05712","title":"A Survey on Self-supervised Learning: Algorithms, Applications, and Future Trends","created":"2023-01-13","cited_by_count":207},{"id":"2004.12265","title":"Causal Mediation Analysis for Interpreting Neural NLP: The Case of Gender Bias","created":"2020-04-26","cited_by_count":191},{"id":"2109.08668","title":"Primer: Searching for Efficient Transformers for Language Modeling","created":"2021-09-17","cited_by_count":164},{"id":"2108.00154","title":"CrossFormer: A Versatile Vision Transformer Hinging on Cross-scale Attention","created":"2021-07-31","cited_by_count":139},{"id":"2406.03847","title":"Lean Workbook: A large-scale Lean problem set formalized from natural language math problems","created":"2024-06-06","cited_by_count":122},{"id":"2310.17191","title":"How do Language Models Bind Entities in Context?","created":"2023-10-26","cited_by_count":108},{"id":"2006.08195","title":"Neural Networks Fail to Learn Periodic Functions and How to Fix It","created":"2020-06-15","cited_by_count":100},{"id":"2405.15071","title":"Grokked Transformers are Implicit Reasoners: A Mechanistic Journey to the Edge of Generalization","created":"2024-05-23","cited_by_count":79},{"id":"1905.10006","title":"Graph Representations for Higher-Order Logic and Theorem Proving","created":"2019-05-24","cited_by_count":55},{"id":"2201.04600","title":"Deep Symbolic Regression for Recurrent Sequences","created":"2022-01-12","cited_by_count":54},{"id":"2010.09107","title":"Conformal prediction for time series","created":"2020-10-18","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":"2104.14516","title":"Constructions in combinatorics via neural networks","created":"2021-04-29","cited_by_count":48},{"id":"1701.06972","title":"Deep Network Guided Proof Search","created":"2017-01-24","cited_by_count":47},{"id":"2310.02227","title":"SNIP: Bridging Mathematical Symbolic and Numeric Realms with Unified Pre-training","created":"2023-10-03","cited_by_count":47},{"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":"2010.16263","title":"Learning to Unknot","created":"2020-10-28","cited_by_count":40},{"id":"2311.03755","title":"Multilingual Mathematical Autoformalization","created":"2023-11-07","cited_by_count":39},{"id":"2404.01322","title":"A Review of Multi-Modal Large Language and Vision Models","created":"2024-03-28","cited_by_count":30},{"id":"2006.10783","title":"Quiver Mutations, Seiberg Duality and Machine Learning","created":"2020-06-18","cited_by_count":19},{"id":"2405.06107","title":"Transforming the Bootstrap: Using Transformers to Compute Scattering Amplitudes in Planar N = 4 Super Yang-Mills Theory","created":"2024-05-09","cited_by_count":18},{"id":"2112.06350","title":"Machine Learning Calabi-Yau Hypersurfaces","created":"2021-12-12","cited_by_count":15},{"id":"2206.04115","title":"Simplifying Polylogarithms with Machine Learning","created":"2022-06-08","cited_by_count":15},{"id":"2401.12947","title":"Transformer-Based Models Are Not Yet Perfect At Learning to Emulate Structural Recursion","created":"2024-01-23","cited_by_count":14},{"id":"2206.08901","title":"SYMBA: Symbolic Computation of Squared Amplitudes in High Energy Physics with Machine Learning","created":"2022-06-17","cited_by_count":13},{"id":"2112.00016","title":"Learning knot invariants across dimensions","created":"2021-11-30","cited_by_count":12},{"id":"2304.09304","title":"Searching for ribbons with machine learning","created":"2023-04-18","cited_by_count":12},{"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},{"id":"2310.20458","title":"Machine learning detects terminal singularities","created":"2023-10-31","cited_by_count":9},{"id":"2110.07240","title":"Causal Transformers Perform Below Chance on Recursive Nested Constructions, Unlike Humans","created":"2021-10-14","cited_by_count":8},{"id":"2309.05473","title":"Machine learning the dimension of a Fano variety","created":"2023-09-11","cited_by_count":7},{"id":"2209.09543","title":"FACT: Learning Governing Abstractions Behind Integer Sequences","created":"2022-09-20","cited_by_count":6},{"id":"2405.06677","title":"ATG: Benchmarking Automated Theorem Generation for Generative Language Models","created":"2024-05-05","cited_by_count":6},{"id":"2405.17209","title":"How Do Transformers \"Do\" Physics? Investigating the Simple Harmonic Oscillator","created":"2024-05-23","cited_by_count":4},{"id":"2308.11355","title":"Machine learning assisted exploration for affine Deligne-Lusztig varieties","created":"2023-08-22","cited_by_count":3}],"next_cursor":null}