{"list":"other","total":56,"rows":[{"id":"1603.02754","title":"XGBoost: A Scalable Tree Boosting System","created":"2016-03-09","cited_by_count":5166},{"id":"1301.3781","title":"Efficient Estimation of Word Representations in Vector Space","created":"2013-01-16","cited_by_count":4375},{"id":"2304.15004","title":"Are Emergent Abilities of Large Language Models a Mirage?","created":"2023-04-28","cited_by_count":523},{"id":"2306.15626","title":"LeanDojo: Theorem Proving with Retrieval-Augmented Language Models","created":"2023-06-27","cited_by_count":427},{"id":"1907.08194","title":"Neural Probabilistic Logic Programming in DeepProbLog","created":"2019-07-18","cited_by_count":394},{"id":"2210.12283","title":"Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs","created":"2022-10-21","cited_by_count":291},{"id":"1711.04574","title":"Learning Explanatory Rules from Noisy Data","created":"2017-11-13","cited_by_count":211},{"id":"1802.03685","title":"Learning a SAT Solver from Single-Bit Supervision","created":"2018-02-11","cited_by_count":200},{"id":"2205.11491","title":"HyperTree Proof Search for Neural Theorem Proving","created":"2022-05-23","cited_by_count":197},{"id":"1905.09381","title":"Learning to Prove Theorems via Interacting with Proof Assistants","created":"2019-05-21","cited_by_count":109},{"id":"2008.07912","title":"Inductive logic programming at 30: a new introduction","created":"2020-08-18","cited_by_count":85},{"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":"1805.06502","title":"First Experiments with Neural Translation of Informal to Formal Mathematics","created":"2018-05-10","cited_by_count":53},{"id":"1806.00608","title":"GamePad: A Learning Environment for Theorem Proving","created":"2018-06-02","cited_by_count":48},{"id":"1701.06972","title":"Deep Network Guided Proof Search","created":"2017-01-24","cited_by_count":47},{"id":"1709.09994","title":"Premise Selection for Theorem Proving by Deep Graph Embedding","created":"2017-09-28","cited_by_count":44},{"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":"1701.06532","title":"ENIGMA: Efficient Learning-based Inference Guiding Machine","created":"2017-01-23","cited_by_count":26},{"id":"2002.05406","title":"ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (system description)","created":"2020-02-13","cited_by_count":26},{"id":"2005.14664","title":"First Neural Conjecturing Datasets and Experiments","created":"2020-05-29","cited_by_count":26},{"id":"1611.01423","title":"Learning Continuous Semantic Representations of Symbolic Expressions","created":"2016-11-04","cited_by_count":25},{"id":"1802.08535","title":"Can Neural Networks Understand Logical Entailment?","created":"2018-02-23","cited_by_count":24},{"id":"1903.03182","title":"ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E","created":"2019-03-07","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":"2106.11072","title":"Techniques for Symbol Grounding with SATNet","created":"2021-06-16","cited_by_count":24},{"id":"1310.2805","title":"MizAR 40 for Mizar 40","created":"2013-10-10","cited_by_count":23},{"id":"2112.13418","title":"Neuro-Symbolic Hierarchical Rule Induction","created":"2021-12-26","cited_by_count":23},{"id":"1911.12073","title":"Property Invariant Embedding for Automated Reasoning","created":"2019-11-27","cited_by_count":22},{"id":"1904.01677","title":"Hammering Mizar by Learning Clause Guidance","created":"2019-04-02","cited_by_count":20},{"id":"1804.00595","title":"Learning to Reason with HOL4 tactics","created":"2018-04-02","cited_by_count":14},{"id":"2112.10664","title":"Proving Theorems using Incremental Learning and Hindsight Experience Replay","created":"2021-12-20","cited_by_count":13},{"id":"1802.03375","title":"ATPboost: Learning Premise Selection in Binary Setting with ATP Feedback","created":"2018-02-09","cited_by_count":12},{"id":"2004.08212","title":"Stateful Premise Selection by Recurrent Neural Networks","created":"2020-03-11","cited_by_count":11},{"id":"2102.03529","title":"Vampire With a Brain Is a Good ITP Hammer","created":"2021-02-06","cited_by_count":10},{"id":"2304.00994","title":"Machine-Learned Premise Selection for Lean","created":"2023-03-17","cited_by_count":10},{"id":"2312.11522","title":"Assessing SATNet's Ability to Solve the Symbol Grounding Problem","created":"2023-12-13","cited_by_count":10},{"id":"2301.11479","title":"Alien Coding","created":"2023-01-27","cited_by_count":9},{"id":"2105.14706","title":"The Role of Entropy in Guiding a Connection Prover","created":"2021-05-31","cited_by_count":8},{"id":"2107.06750","title":"Fast and Slow Enigmas and Parental Guidance","created":"2021-07-14","cited_by_count":8},{"id":"1405.3451","title":"Developing Corpus-based Translation Methods between Informal and Formal Mathematics: Project Description","created":"2014-05-14","cited_by_count":7},{"id":"1806.07239","title":"PaMpeR: Proof Method Recommendation System for Isabelle/HOL","created":"2018-06-19","cited_by_count":7},{"id":"2107.10034","title":"Learning Theorem Proving Components","created":"2021-07-21","cited_by_count":7},{"id":"1905.07961","title":"Guiding Inferences in Connection Tableau by Recurrent Neural Networks","created":"2019-05-20","cited_by_count":6},{"id":"2303.06686","title":"MizAR 60 for Mizar 50","created":"2023-03-12","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":"1905.09565","title":"ENIGMAWatch: ProofWatch Meets ENIGMA","created":"2019-05-23","cited_by_count":5},{"id":"2303.15642","title":"Graph Sequence Learning for Premise Selection","created":"2023-03-27","cited_by_count":5},{"id":"1505.07987","title":"SEPIA: Search for Proofs Using Inferred Automata","created":"2015-05-29","cited_by_count":4},{"id":"2101.09142","title":"A Study of Continuous Vector Representationsfor Theorem Proving","created":"2021-01-22","cited_by_count":4},{"id":"1308.2116","title":"MaLeS: A Framework for Automatic Tuning of Automated Theorem Provers","created":"2013-08-09","cited_by_count":3},{"id":"2210.03590","title":"Machine Learning Meets The Herbrand Universe","created":"2022-10-07","cited_by_count":3},{"id":"1604.08055","title":"Selecting the Selection","created":"2016-04-27","cited_by_count":2},{"id":"1402.2359","title":"Machine Learner for Automated Reasoning 0.4 and 0.5","created":"2014-02-11","cited_by_count":1},{"id":"2204.02737","title":"Adversarial Learning to Reason in an Arbitrary Logic","created":"2022-04-06","cited_by_count":1}],"next_cursor":null}