{"total":20,"rows":[{"id":"2404.09939","title":"A Survey on Deep Learning for Theorem Proving","created":"2024-04-15","cited_by_count":57,"area":null},{"id":"2102.03824","title":"Neural Termination Analysis","created":"2021-02-07","cited_by_count":16,"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":"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":"2101.09142","title":"A Study of Continuous Vector Representationsfor Theorem Proving","created":"2021-01-22","cited_by_count":4,"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":"2210.03590","title":"Machine Learning Meets The Herbrand Universe","created":"2022-10-07","cited_by_count":3,"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":"2206.06986","title":"Exploring Representation of Horn Clauses using GNNs (Extended Technical Report)","created":"2022-06-14","cited_by_count":1,"area":null},{"id":"2309.09022","title":"gym-saturation: Gymnasium environments for saturation provers (System description)","created":"2023-09-16","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":"2601.23169","title":"Names Don't Matter: Symbol-Invariant Transformer for Open-Vocabulary Learning","created":"2026-01-30","cited_by_count":1,"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}],"next_cursor":null}