{"total":25,"rows":[{"id":"2404.09939","title":"A Survey on Deep Learning for Theorem Proving","created":"2024-04-15","cited_by_count":57,"area":null},{"id":"2401.02949","title":"Graph2Tac: Online Representation Learning of Formal Math Concepts","created":"2024-01-05","cited_by_count":15,"area":null},{"id":"2112.10664","title":"Proving Theorems using Incremental Learning and Hindsight Experience Replay","created":"2021-12-20","cited_by_count":13,"area":null},{"id":"2102.03529","title":"Vampire With a Brain Is a Good ITP Hammer","created":"2021-02-06","cited_by_count":10,"area":null},{"id":"2105.14706","title":"The Role of Entropy in Guiding a Connection Prover","created":"2021-05-31","cited_by_count":8,"area":null},{"id":"2107.06750","title":"Fast and Slow Enigmas and Parental Guidance","created":"2021-07-14","cited_by_count":8,"area":null},{"id":"2205.01981","title":"The Isabelle ENIGMA","created":"2022-05-04","cited_by_count":8,"area":null},{"id":"2107.10034","title":"Learning Theorem Proving Components","created":"2021-07-21","cited_by_count":7,"area":null},{"id":"2303.06686","title":"MizAR 60 for Mizar 50","created":"2023-03-12","cited_by_count":6,"area":null},{"id":"2104.13645","title":"Learning from {\\L}ukasiewicz and Meredith: Investigations into Proof Structures (Extended Version)","created":"2021-04-28","cited_by_count":5,"area":null},{"id":"2305.08676","title":"An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations","created":"2023-05-15","cited_by_count":4,"area":null},{"id":"2203.04699","title":"Gym-saturation: an OpenAI Gym environment for saturation provers","created":"2022-03-09","cited_by_count":3,"area":null},{"id":"2210.03590","title":"Machine Learning Meets The Herbrand Universe","created":"2022-10-07","cited_by_count":3,"area":null},{"id":"2106.14195","title":"Learning to solve geometric construction problems from images","created":"2021-06-27","cited_by_count":2,"area":null},{"id":"2304.12827","title":"Investigations into Proof Structures","created":"2023-02-14","cited_by_count":2,"area":null},{"id":"2411.14870","title":"Application of AI to formal methods - an analysis of current trends","created":"2024-11-22","cited_by_count":2,"area":null},{"id":"2102.13564","title":"Improving ENIGMA-Style Clause Selection While Learning From History","created":"2021-02-26","cited_by_count":1,"area":null},{"id":"2204.02737","title":"Adversarial Learning to Reason in an Arbitrary Logic","created":"2022-04-06","cited_by_count":1,"area":null},{"id":"2411.15194","title":"Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)","created":"2024-11-19","cited_by_count":1,"area":null},{"id":"2209.00083","title":"Feynman on Artificial Intelligence and Machine Learning, with Updates","created":"2022-08-31","cited_by_count":0,"area":null},{"id":"2305.07903","title":"Translating SUMO-K to Higher-Order Set Theory","created":"2023-05-13","cited_by_count":0,"area":null},{"id":"2408.14338","title":"Machine Learning for Quantifier Selection in cvc5","created":"2024-08-26","cited_by_count":0,"area":null},{"id":"2411.01188","title":"Learning Rules Explaining Interactive Theorem Proving Tactic Prediction","created":"2024-11-02","cited_by_count":0,"area":null},{"id":"2503.07792","title":"Efficient Neural Clause-Selection Reinforcement","created":"2025-03-10","cited_by_count":0,"area":null},{"id":"2506.23784","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","created":"2025-06-30","cited_by_count":0,"area":null}],"next_cursor":null}