{"total":23,"rows":[{"id":"2404.09939","title":"A Survey on Deep Learning for Theorem Proving","created":"2024-04-15","cited_by_count":57,"area":null},{"id":"2106.03906","title":"Learning to Guide a Saturation-Based Theorem Prover","created":"2021-06-07","cited_by_count":15,"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":"2304.00994","title":"Machine-Learned Premise Selection for Lean","created":"2023-03-17","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":"2304.10486","title":"CoProver: A Recommender System for Proof Construction","created":"2023-03-01","cited_by_count":5,"area":null},{"id":"2303.05854","title":"Lemmas: Generation, Selection, Application","created":"2023-03-10","cited_by_count":3,"area":null},{"id":"2307.09564","title":"Reinforcement Learning and Data-Generation for Syntax-Guided Synthesis","created":"2023-07-13","cited_by_count":3,"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":"2209.02562","title":"Project proposal: A modular reinforcement learning based automated theorem prover","created":"2022-09-06","cited_by_count":1,"area":null},{"id":"2406.17762","title":"Solving Hard Mizar Problems with Instantiation and Strategy Invention","created":"2024-06-25","cited_by_count":1,"area":null},{"id":"2303.00752","title":"Safety without alignment","created":"2023-02-27","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":"2503.07792","title":"Efficient Neural Clause-Selection Reinforcement","created":"2025-03-10","cited_by_count":0,"area":null},{"id":"2507.03314","title":"Partial Label Learning for Automated Theorem Proving","created":"2025-07-04","cited_by_count":0,"area":null},{"id":"2603.06849","title":"Twitch: Learning Abstractions for Equational Theorem Proving","created":"2026-03-06","cited_by_count":0,"area":null},{"id":"2605.20467","title":"High Quality Embeddings for Horn Logic Reasoning","created":"2026-05-19","cited_by_count":0,"area":null}],"next_cursor":null}