{"list":"other","total":66,"rows":[{"id":"1706.03762","title":"Attention Is All You Need","created":"2017-06-12","cited_by_count":60361},{"id":"1606.01540","title":"OpenAI Gym","created":"2016-06-05","cited_by_count":1736},{"id":"1812.08434","title":"Graph Neural Networks: A Review of Methods and Applications","created":"2018-12-20","cited_by_count":1576},{"id":"2307.03109","title":"A Survey on Evaluation of Large Language Models","created":"2023-07-06","cited_by_count":1242},{"id":"1802.03685","title":"Learning a SAT Solver from Single-Bit Supervision","created":"2018-02-11","cited_by_count":200},{"id":"1708.05148","title":"Natural Language Processing: State of The Art, Current Trends and Challenges","created":"2017-08-17","cited_by_count":114},{"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":"1903.04671","title":"Guiding High-Performance SAT Solvers with Unsat-Core Predictions","created":"2019-03-12","cited_by_count":62},{"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":"2002.07019","title":"Learning to Prove Theorems by Learning to Generate Theorems","created":"2020-02-17","cited_by_count":43},{"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":"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":"2001.09398","title":"NLocalSAT: Boosting Local Search with Solution Prediction","created":"2020-01-26","cited_by_count":25},{"id":"1903.03182","title":"ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E","created":"2019-03-07","cited_by_count":24},{"id":"1911.12073","title":"Property Invariant Embedding for Automated Reasoning","created":"2019-11-27","cited_by_count":22},{"id":"2109.10294","title":"DeepSTL -- From English Requirements to Signal Temporal Logic","created":"2021-09-21","cited_by_count":22},{"id":"2203.04755","title":"Machine Learning Methods in Solving the Boolean Satisfiability Problem","created":"2022-03-02","cited_by_count":22},{"id":"1904.01677","title":"Hammering Mizar by Learning Clause Guidance","created":"2019-04-02","cited_by_count":20},{"id":"1910.13445","title":"G2SAT: Learning to Generate SAT Formulas","created":"2019-10-29","cited_by_count":20},{"id":"2204.10370","title":"Passport: Improving Automated Formal Verification Using Identifiers","created":"2022-04-21","cited_by_count":19},{"id":"2209.07133","title":"COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking","created":"2022-09-15","cited_by_count":19},{"id":"2211.03880","title":"NSNet: A General Neural Probabilistic Framework for Satisfiability Problems","created":"2022-11-07","cited_by_count":18},{"id":"2003.07959","title":"Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks (Extended Version)","created":"2020-03-17","cited_by_count":17},{"id":"2106.09146","title":"Contrastive Reinforcement Learning of Symbolic Reasoning Domains","created":"2021-06-16","cited_by_count":17},{"id":"2102.03824","title":"Neural Termination Analysis","created":"2021-02-07","cited_by_count":16},{"id":"2106.03906","title":"Learning to Guide a Saturation-Based Theorem Prover","created":"2021-06-07","cited_by_count":15},{"id":"2211.15864","title":"Peano: Learning Formal Mathematical Reasoning","created":"2022-11-29","cited_by_count":15},{"id":"2112.10664","title":"Proving Theorems using Incremental Learning and Hindsight Experience Replay","created":"2021-12-20","cited_by_count":13},{"id":"2004.00273","title":"Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning","created":"2020-04-01","cited_by_count":12},{"id":"2004.08212","title":"Stateful Premise Selection by Recurrent Neural Networks","created":"2020-03-11","cited_by_count":11},{"id":"2012.06344","title":"Learning from Survey Propagation: a Neural Network for MAX-E-$3$-SAT","created":"2020-12-10","cited_by_count":11},{"id":"2301.11683","title":"Neural Abstractions","created":"2023-01-27","cited_by_count":11},{"id":"1905.13100","title":"Towards Finding Longer Proofs","created":"2019-05-30","cited_by_count":10},{"id":"2102.03529","title":"Vampire With a Brain Is a Good ITP Hammer","created":"2021-02-06","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":"1910.11797","title":"Deep Reinforcement Learning for Synthesizing Functions in Higher-Order Logic","created":"2019-10-25","cited_by_count":8},{"id":"2003.09140","title":"Tactic Learning and Proving for the Coq Proof Assistant","created":"2020-03-20","cited_by_count":8},{"id":"2103.03798","title":"Training a First-Order Theorem Prover from Synthetic Data","created":"2021-03-05","cited_by_count":8},{"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":"2202.03888","title":"Learning MAX-SAT from Contextual Examples for Combinatorial Optimisation","created":"2022-02-08","cited_by_count":8},{"id":"2205.01981","title":"The Isabelle ENIGMA","created":"2022-05-04","cited_by_count":8},{"id":"2004.06997","title":"Prolog Technology Reinforcement Learning Prover","created":"2020-04-15","cited_by_count":7},{"id":"2104.05207","title":"Online Machine Learning Techniques for Coq: A Comparison","created":"2021-04-12","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":"2004.07761","title":"Deep Generation of Coq Lemma Names Using Elaborated Terms","created":"2020-04-16","cited_by_count":6},{"id":"2201.05544","title":"BandMaxSAT: A Local Search MaxSAT Solver with Multi-armed Bandit","created":"2022-01-14","cited_by_count":6},{"id":"1905.09565","title":"ENIGMAWatch: ProofWatch Meets ENIGMA","created":"2019-05-23","cited_by_count":5},{"id":"2102.05547","title":"Learning Equational Theorem Proving","created":"2021-02-10","cited_by_count":5},{"id":"2205.14229","title":"Learning to Find Proofs and Theorems by Learning to Refine Search Strategies: The Case of Loop Invariant Synthesis","created":"2022-05-27","cited_by_count":5},{"id":"1904.08468","title":"Towards Evolutionary Theorem Proving for Isabelle/HOL","created":"2019-04-17","cited_by_count":4},{"id":"2004.08858","title":"Make E Smart Again","created":"2020-04-19","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":"2004.10667","title":"Simple Dataset for Proof Method Recommendation in Isabelle/HOL (Dataset Description)","created":"2020-04-21","cited_by_count":3},{"id":"2109.10476","title":"Self-Supervised Learning to Prove Equivalence Between Straight-Line Programs via Rewrite Rules","created":"2021-09-22","cited_by_count":3},{"id":"2203.04699","title":"Gym-saturation: an OpenAI Gym environment for saturation provers","created":"2022-03-09","cited_by_count":3},{"id":"1912.01525","title":"Self-Learned Formula Synthesis in Set Theory","created":"2019-12-03","cited_by_count":2},{"id":"2103.09414","title":"Toward Neural-Network-Guided Program Synthesis and Verification","created":"2021-03-17","cited_by_count":2},{"id":"1904.11757","title":"The Potential of Restarts for ProbSAT","created":"2019-04-26","cited_by_count":1},{"id":"2112.09438","title":"ML Supported Predictions for SAT Solvers Performance","created":"2021-12-17","cited_by_count":1}],"next_cursor":null}