{"list":"other","total":53,"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":"1907.11692","title":"RoBERTa: A Robustly Optimized BERT Pretraining Approach","created":"2019-07-26","cited_by_count":13372},{"id":"2110.14168","title":"Training Verifiers to Solve Math Word Problems","created":"2021-10-27","cited_by_count":10109},{"id":"1908.10084","title":"Sentence-BERT: Sentence Embeddings using Siamese BERT-Networks","created":"2019-08-27","cited_by_count":9170},{"id":"2107.03374","title":"Evaluating Large Language Models Trained on Code","created":"2021-07-07","cited_by_count":8320},{"id":"2009.03300","title":"Measuring Massive Multitask Language Understanding","created":"2020-09-07","cited_by_count":7963},{"id":"1910.13461","title":"BART: Denoising Sequence-to-Sequence Pre-training for Natural Language Generation, Translation, and Comprehension","created":"2019-10-29","cited_by_count":5893},{"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":"1301.3781","title":"Efficient Estimation of Word Representations in Vector Space","created":"2013-01-16","cited_by_count":4375},{"id":"2004.04906","title":"Dense Passage Retrieval for Open-Domain Question Answering","created":"2020-04-10","cited_by_count":3824},{"id":"1909.11942","title":"ALBERT: A Lite BERT for Self-supervised Learning of Language Representations","created":"2019-09-26","cited_by_count":2790},{"id":"1607.04606","title":"Enriching Word Vectors with Subword Information","created":"2016-07-15","cited_by_count":1583},{"id":"1903.10676","title":"SciBERT: A Pretrained Language Model for Scientific Text","created":"2019-03-26","cited_by_count":1414},{"id":"2007.01282","title":"Leveraging Passage Retrieval with Generative Models for Open Domain Question Answering","created":"2020-07-02","cited_by_count":1210},{"id":"2004.12832","title":"ColBERT: Efficient and Effective Passage Search via Contextualized Late Interaction over BERT","created":"2020-04-27","cited_by_count":1178},{"id":"1901.07291","title":"Cross-lingual Language Model Pretraining","created":"2019-01-22","cited_by_count":1090},{"id":"1802.09691","title":"Link Prediction Based on Graph Neural Networks","created":"2018-02-27","cited_by_count":832},{"id":"1905.13319","title":"MathQA: Towards Interpretable Math Word Problem Solving with Operation-Based Formalisms","created":"2019-05-30","cited_by_count":662},{"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":"1608.01413","title":"Solving General Arithmetic Word Problems","created":"2016-08-04","cited_by_count":360},{"id":"2002.05867","title":"Transformers as Soft Reasoners over Language","created":"2020-02-14","cited_by_count":270},{"id":"2205.12615","title":"Autoformalization with Large Language Models","created":"2022-05-25","cited_by_count":263},{"id":"1910.11476","title":"A Unified MRC Framework for Named Entity Recognition","created":"2019-10-25","cited_by_count":199},{"id":"1804.07755","title":"Phrase-Based & Neural Unsupervised Machine Translation","created":"2018-04-20","cited_by_count":138},{"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":"2105.00377","title":"MathBERT: A Pre-Trained Model for Mathematical Formula Understanding","created":"2021-05-02","cited_by_count":58},{"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":"2203.10316","title":"Learning to Reason Deductively: Math Word Problem Solving as Complex Relation Extraction","created":"2022-03-19","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":"2107.01431","title":"Neural-Symbolic Solver for Math Word Problems with Auxiliary Tasks","created":"2021-07-03","cited_by_count":38},{"id":"2010.06823","title":"Semantically-Aligned Universal Tree-Structured Solver for Math Word Problems","created":"2020-10-14","cited_by_count":35},{"id":"1808.07290","title":"The Gap of Semantic Parsing: A Survey on Automatic Math Word Problem Solvers","created":"2018-08-22","cited_by_count":31},{"id":"2004.13781","title":"Graph-to-Tree Neural Networks for Learning Structured Input-Output Translation with Applications to Semantic Parsing and Math Word Problem","created":"2020-04-07","cited_by_count":31},{"id":"1501.04346","title":"Mathematical Language Processing: Automatic Grading and Feedback for Open Response Mathematical Questions","created":"2015-01-18","cited_by_count":19},{"id":"1904.03241","title":"HOList: An Environment for Machine Learning of Higher-Order Theorem Proving","created":"2019-04-05","cited_by_count":19},{"id":"2004.14959","title":"Natural Language Premise Selection: Finding Supporting Statements for Mathematical Text","created":"2020-04-30","cited_by_count":13},{"id":"1912.00839","title":"Automatic Generation of Headlines for Online Math Questions","created":"2019-11-27","cited_by_count":10},{"id":"2203.11163","title":"Evaluating Token-Level and Passage-Level Dense Retrieval Models for Math Information Retrieval","created":"2022-03-21","cited_by_count":9},{"id":"1407.0167","title":"Mathematical Language Processing Project","created":"2014-07-01","cited_by_count":6},{"id":"2202.09695","title":"SemEval 2022 Task 12: Symlink- Linking Mathematical Symbols to their Descriptions","created":"2022-02-19","cited_by_count":6},{"id":"2203.05325","title":"AIFB-WebScience at SemEval-2022 Task 12: Relation Extraction First -- Using Relation Extraction to Identify Entities","created":"2022-03-10","cited_by_count":5},{"id":"1505.06646","title":"A Survey on Retrieval of Mathematical Knowledge","created":"2015-05-25","cited_by_count":4},{"id":"2103.13496","title":"Similarity-Based Equational Inference in Physics","created":"2021-03-24","cited_by_count":4},{"id":"1507.06235","title":"The Tangent Search Engine: Improved Similarity Metrics and Scalability for Math Formula Search","created":"2015-07-22","cited_by_count":3},{"id":"2201.04275","title":"PhysNLU: A Language Resource for Evaluating Natural Language Understanding and Explanation Coherence in Physics","created":"2022-01-12","cited_by_count":3},{"id":"2102.02110","title":"Learning to Match Mathematical Statements with Proofs","created":"2021-02-03","cited_by_count":2}],"next_cursor":null}